mirror of
https://github.com/comby-tools/comby.git
synced 2024-09-11 13:25:36 +03:00
7 lines
212 B
Plaintext
7 lines
212 B
Plaintext
(env
|
|
(dev
|
|
(flags (:standard -w A-3-4-32-34-37-39-40-41-42-44-45-48-49-50-57-60-66-67-70)))
|
|
(release
|
|
(flags (:standard -w A-3-4-32-34-37-39-40-41-42-44-45-48-49-50-57-60-66-67-70))
|
|
(ocamlopt_flags (-O3))))
|