diff --git a/GMLMIP-0.1/config.mk b/GMLMIP-0.1/config.mk index a3daed3253cd50b3e5f69d8535932d2974f12172..9b5d1ab09da6e141d8d07225fa3ec4abf8dd22b2 100644 --- a/GMLMIP-0.1/config.mk +++ b/GMLMIP-0.1/config.mk @@ -3,5 +3,5 @@ BISON = bison LEX = flex GCC = g++ -GCCFLAGS = -g -Wall -Wno-deprecated +GCCFLAGS = -Wall -Wno-deprecated diff --git a/Makefile b/Makefile index 5ecf6c0b12b43475934fe7a65ad069a32797b907..5651da97d2975cc49f1451fcc2ae1d4845bdbe6e 100644 --- a/Makefile +++ b/Makefile @@ -48,9 +48,9 @@ CXXFLAGS += -Wall $(INCS) LDXX ?= g++ OCAMLC := ocamlc.opt -OCAMLCFLAGS := -g -I `ocamlfind query ocamlgraph` +OCAMLCFLAGS := -I `ocamlfind query ocamlgraph` OCAMLOPT := ocamlopt.opt -OCAMLOPTFLAGS := -g -cc $(LDXX) -cclib -static -unsafe -inline 100 -I `ocamlfind query ocamlgraph` +OCAMLOPTFLAGS := -cc $(LDXX) -cclib -static -unsafe -inline 100 -I `ocamlfind query ocamlgraph` # No more user input beyond this point.