diff --git a/Makefile b/Makefile index 26f2d5bc..3a79d2e9 100644 --- a/Makefile +++ b/Makefile @@ -2,7 +2,8 @@ LOG=build.log COMP=ocamlbuild -log $(LOG) -use-ocamlfind -FLAGS=-cflags -color,always +FLAGS= +# -cflags -color,always DOC=msat.docdir/index.html BIN=main.native NAME=msat