X-Git-Url: http://git.nguyen.vg/gitweb/?a=blobdiff_plain;f=Makefile;h=5cb08a91c39f644b56bea866f855b96175d45bc4;hb=bf2b1a91300ace1e7e83bd78f868a269d86498f9;hp=b033ed1aa6bd2add6656171fed2a7465361b22d5;hpb=8e1b9299e0c8e1731db61955ef756fa92ed8c615;p=SXSI%2Fxpathcomp.git diff --git a/Makefile b/Makefile index b033ed1..5cb08a9 100644 --- a/Makefile +++ b/Makefile @@ -1,10 +1,10 @@ -INLINE=100 +INLINE=1000 DEBUG=false PROFILE=false VERBOSE=false -BASESRC=custom.ml memoizer.ml hcons.ml hlist.ml ptset.ml finiteCofinite.ml tag.ml tagSet.ml options.ml tree.ml ata.ml -BASEMLI=sigs.mli memoizer.mli hcons.mli hlist.mli ptset.mli finiteCofinite.mli tag.mli tagSet.mli options.mli tree.mli ata.mli +BASESRC=uid.ml custom.ml hcons.ml hlist.ml ptset.ml finiteCofinite.ml tag.ml tagSet.ml options.ml tree.ml ata.ml +BASEMLI=uid.mli sigs.mli hcons.mli hlist.mli ptset.mli finiteCofinite.mli tag.mli tagSet.mli options.mli tree.mli ata.mli MLSRCS = memory.ml $(BASESRC) ulexer.ml xPath.ml main.ml MLISRCS = memory.mli $(BASEMLI) ulexer.mli xPath.mli BASEOBJS= $(BASESRC:.ml=.cmx) @@ -40,8 +40,8 @@ SXSIINCLUDES = \ CXXINCLUDES= $(CAMLINCLUDES) $(LIBXMLINCLUDES) $(SXSIINCLUDES) -CXXFLAGS = -O3 -Wall $(INCLUDEDIRS) -fPIC -std=c++0x -static -CCFLAGS = -O3 -Wall -fPIC -static +CXXFLAGS = -O3 -Wall $(INCLUDEDIRS) -std=c++0x -static +CCFLAGS = -O3 -Wall -static ifeq ($(VERBOSE),true) HIDE= @@ -64,7 +64,7 @@ PROFILE_FLAGS = -p -S SYNT_PROF = -ppopt -DPROFILE endif SYNT_FLAGS = $(SYNT_DEBUG) $(SYNT_PROF) -OPT_FLAGS = $(DEBUG_FLAGS) $(PROFILE_FLAGS) -nodynlink +OPT_FLAGS = $(DEBUG_FLAGS) $(PROFILE_FLAGS) -nodynlink -fno-PIC OCAMLOPT = ocamlopt -cc "$(CXX)" $(OPT_FLAGS) -ccopt -O3 -ccopt -std=c++0x -noassert -inline $(INLINE) @@ -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) -ccopt -gp -p -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] $@