MAJ terminée. Nous sommes passés en version 14.6.2 . Pour consulter les "releases notes" associées c'est ici :

https://about.gitlab.com/releases/2022/01/11/security-release-gitlab-14-6-2-released/
https://about.gitlab.com/releases/2022/01/04/gitlab-14-6-1-released/

Commit 67a35e8b authored by POTTIER Francois's avatar POTTIER Francois
Browse files

Specify OCaml flags in a central place, and distinguish development versus release builds.

parent 4bfbf305
......@@ -2,19 +2,16 @@
(name Brzozowski)
(modules Brzozowski ListAux)
(libraries fix seq)
(flags "-w" "A-4-44")
)
(test
(name Main)
(modules Main)
(libraries Brzozowski)
(flags "-w" "A-4-44")
)
(test
(name TestGen)
(modules TestGen)
(libraries Brzozowski regenerate)
(flags "-w" "A-4-44")
)
(executable
(name CFG)
(libraries fix)
(flags "-w" "A")
)
(test
(name Bench)
(libraries fix)
(flags "-w" "A")
)
(test
(name Fib)
(libraries unix fix)
(flags "-w" "A")
)
(test
(name HashConsDemo)
(libraries fix)
(flags "-w" "A")
)
(test
(name Test)
(libraries fix)
(flags "-w" "A")
)
(env
(dev (flags
:standard
-g
-w @A-4-44
))
(release (flags
:standard
))
)
......@@ -2,5 +2,4 @@
(name fix)
(public_name fix)
(synopsis "An on-demand, incremental fixed point computation algorithm")
(flags "-w" "A")
)
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment