build flags

This commit is contained in:
Simon Cruanes 2021-11-29 10:33:56 -05:00
parent bf1f9e7ce1
commit 2abccce985
No known key found for this signature in database
GPG key ID: EBFFF6F283F3A2B4

View file

@ -3,5 +3,5 @@
(_
(flags :standard -warn-error
-a+8+9 -w +a-4-32-40-41-42-44-48
-color always -safe-string -short-paths)
-color always -strict-sequence -safe-string -short-paths)
(ocamlopt_flags :standard -O3 -color always -unbox-closures -unbox-closures-factor 20)))