simplify dune setup

This commit is contained in:
Simon Cruanes 2021-11-19 09:52:18 -05:00
parent 7244b2eb5e
commit b077feaafb
No known key found for this signature in database
GPG key ID: EBFFF6F283F3A2B4
2 changed files with 7 additions and 10 deletions

View file

@ -5,9 +5,7 @@
(libraries iter bigarray unix)
(modules IterBigarray IterBigarrayShims_)
(wrapped false)
(optional)
(flags :standard -warn-error -a+8 -safe-string)
(ocamlopt_flags :standard (:include ../flambda.flags)))
(optional))
(executable
(name mkshims)

View file

@ -1,8 +1,3 @@
(rule
(targets flambda.flags)
(deps mkflags.ml)
(mode fallback)
(action (run ocaml ./mkflags.ml)))
(executable
(name mkshims)
@ -19,7 +14,11 @@
(public_name iter)
(wrapped false)
(modules Iter IterLabels Iter_shims_)
(flags :standard -warn-error -a+8 -safe-string -nolabels)
(ocamlopt_flags :standard (:include flambda.flags))
(flags :standard -nolabels)
(libraries bytes result))
(env
(_
(flags :standard -warn-error -a+8 -safe-string -strict-sequence)
(ocamlopt_flags :standard -O3 -unbox-closures -unbox-closures-factor 20)))