mirror of
https://github.com/c-cube/iter.git
synced 2025-12-06 11:15:32 -05:00
update compile flags
This commit is contained in:
parent
952c7a4529
commit
11529ea6ff
2 changed files with 3 additions and 3 deletions
2
.merlin
2
.merlin
|
|
@ -7,4 +7,4 @@ B _build/bench/
|
||||||
PKG oUnit qcheck
|
PKG oUnit qcheck
|
||||||
PKG benchmark
|
PKG benchmark
|
||||||
FLG -safe-string
|
FLG -safe-string
|
||||||
FLG -w +a -w -4 -w -44
|
FLG -w+a-4-44-48-60@8
|
||||||
|
|
|
||||||
4
_tags
4
_tags
|
|
@ -27,8 +27,8 @@
|
||||||
<bench/*.ml{,i}>: pkg_benchmark
|
<bench/*.ml{,i}>: pkg_benchmark
|
||||||
<bench/*.ml{,i}>: use_sequence
|
<bench/*.ml{,i}>: use_sequence
|
||||||
# OASIS_STOP
|
# OASIS_STOP
|
||||||
true: bin_annot
|
true: bin_annot, color(always)
|
||||||
<**/*.ml>: warn_A, warn(-4)
|
<**/*.ml>: warn(+a-4-44-48@8)
|
||||||
true: mark_tag_used
|
true: mark_tag_used
|
||||||
<**/*.cmx>: optimize(3)
|
<**/*.cmx>: optimize(3)
|
||||||
<src/sequenceLabels.cm*>: nolabels
|
<src/sequenceLabels.cm*>: nolabels
|
||||||
|
|
|
||||||
Loading…
Add table
Reference in a new issue