projects
/
tatoo.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
Refactor pretty printing of transitions and fix some depracated function uses.
[tatoo.git]
/
configure.in
diff --git
a/configure.in
b/configure.in
index
5bcb4c0
..
297c4e5
100644
(file)
--- a/
configure.in
+++ b/
configure.in
@@
-168,7
+168,7
@@
fi
#compilation options
#debugging mode
#compilation options
#debugging mode
-OCAMLFLAGS=
$OCAMLFLAGS
+OCAMLFLAGS=
"-principal -warn-error @3 $OCAMLFLAGS"
CAMLP4FLAGS=$CAMLP4FLAGS
OCAMLCFLAGS=$OCAMLCFLAGS
OCAMLOPTFLAGS=$OCAMLOPTFLAGS
CAMLP4FLAGS=$CAMLP4FLAGS
OCAMLCFLAGS=$OCAMLCFLAGS
OCAMLOPTFLAGS=$OCAMLOPTFLAGS