X-Git-Url: http://git.nguyen.vg/gitweb/?a=blobdiff_plain;f=Makefile;h=7354e47c6836900e51ab7d6f4bcb733e51cb1764;hb=a6a05531716a001b369e018c9d2c87ce532ef163;hp=88620eb1aba9ad153f90627d879869dc2b8e5f25;hpb=d046f2b9d8e39b30350399eafe122c30ff61c8c1;p=SXSI%2Fxpathcomp.git diff --git a/Makefile b/Makefile index 88620eb..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) @@ -85,7 +85,7 @@ all: main #-ccopt -gp -p main: libcamlshredder.a $(MLOBJS) @echo [LINK] $@ - $(HIDE) $(OCAMLFIND) $(LINK) -o main -package "$(OCAMLPACKAGES)" $(SYNTAX) -cclib \ + $(HIDE) $(OCAMLFIND) $(LINK) -o main -package "$(OCAMLPACKAGES)" $(SYNTAX) -cclib \ "$(LIBS) ./libcamlshredder.a" $(MLOBJS) unit_test: libcamlshredder.a $(BASEOBJS) unit_test.cmx @@ -108,9 +108,10 @@ unit_test: libcamlshredder.a $(BASEOBJS) unit_test.cmx @echo [OCAMLOPT] $@ $(HIDE) $(OCAMLFIND) $(OCAMLOPT) -package "$(OCAMLPACKAGES)" $(SYNTAX) -c $< -ata.cmx: ata.ml - @echo [OCAMLOPTPROF] $@ - $(HIDE) $(OCAMLFIND) $(OCAMLOPT) -S -package "$(OCAMLPACKAGES)" $(SYNTAX) -c $< +# ata.cmx: ata.ml +# @echo [OCAMLOPTPROF] $@ +# $(HIDE) $(OCAMLFIND) $(OCAMLOPT) -S -ccopt -gp -p -package "$(OCAMLPACKAGES)" $(SYNTAX) -c $< + .mli.cmi: @echo [OCAMLOPT] $@