X-Git-Url: http://git.nguyen.vg/gitweb/?a=blobdiff_plain;f=Makefile;fp=Makefile;h=33274bf63f5ae185d60f560bae4f726aa3960db0;hb=a223af3254fb51c279cfbccdc18c59484fdca74e;hp=5f225f14149bda1a292b842a97c3898074bece48;hpb=1b4d4c7a0537d30e21068f06535c5d3a1af92f88;p=SXSI%2Fxpathcomp.git diff --git a/Makefile b/Makefile index 5f225f1..33274bf 100644 --- a/Makefile +++ b/Makefile @@ -1,4 +1,4 @@ -INLINE=100 +INLINE=1000 DEBUG=false PROFILE=false VERBOSE=false @@ -75,7 +75,7 @@ OCAMLDEP = ocamldep #Ugly but seems difficult with a makefile LINK=$(OCAMLOPT) -linkpkg `ocamlc -version | grep -q "3.1[12].[012]" && echo dynlink.cmxa` camlp4lib.cmxa -SYNTAX= -syntax camlp4o $(PPINCLUDES) -ppopt -printer -ppopt auto -ppopt pa_macro.cmo $(SYNT_FLAGS) +SYNTAX= -syntax camlp4o $(PPINCLUDES) -ppopt -printer -ppopt ocaml -ppopt pa_macro.cmo $(SYNT_FLAGS)