X-Git-Url: http://git.nguyen.vg/gitweb/?a=blobdiff_plain;f=Makefile;fp=Makefile;h=7354e47c6836900e51ab7d6f4bcb733e51cb1764;hb=b06ea50e0c7c7187dfc99549f669e1921f26282e;hp=5cb08a91c39f644b56bea866f855b96175d45bc4;hpb=631e209aca6d467a9ce69b94cfece069214f476b;p=SXSI%2Fxpathcomp.git diff --git a/Makefile b/Makefile index 5cb08a9..7354e47 100644 --- a/Makefile +++ b/Makefile @@ -1,4 +1,4 @@ -INLINE=1000 +INLINE=100 DEBUG=false PROFILE=false VERBOSE=false @@ -74,7 +74,7 @@ OCAMLMKLIB = ocamlmklib OCAMLDEP = ocamldep #Ugly but seems difficult with a makefile -LINK=$(OCAMLOPT) -linkpkg `ocamlc -version | grep -q "3.11.[01]" && echo dynlink.cmxa` camlp4lib.cmxa +LINK=$(OCAMLOPT) -linkpkg `ocamlc -version | grep -q "3.1[12].[012]" && echo dynlink.cmxa` camlp4lib.cmxa SYNTAX= -syntax camlp4o $(PPINCLUDES) -ppopt pa_macro.cmo $(SYNT_FLAGS)