X-Git-Url: http://git.nguyen.vg/gitweb/?a=blobdiff_plain;f=Makefile;h=41ac25940192911ef9de66c4889fcf76013367f6;hb=83aa6cf8a120ea6681402ce42ae56631fca1ddf4;hp=63c78f5a63e2bbdc853415e01a5dd7224fdd4378;hpb=95367aa932a9e179976e59ea326542c50905f5b3;p=SXSI%2Fxpathcomp.git diff --git a/Makefile b/Makefile index 63c78f5..41ac259 100644 --- a/Makefile +++ b/Makefile @@ -2,8 +2,8 @@ DEBUG=false PROFILE=true VERBOSE=false -MLSRCS = memory.ml tag.ml tagSet.ml tree.ml automaton.ml ulexer.ml xPath.ml main.ml -MLISRCS = memory.mli automaton.mli tag.mli tagSet.mli tree.mli ulexer.mli xPath.mli +MLSRCS = memory.ml custom.ml ptset.ml finiteCofinite.ml tag.ml tagSet.ml options.ml tree.ml ata.ml ulexer.ml xPath.ml main.ml +MLISRCS = memory.mli sigs.mli ptset.mli finiteCofinite.ml options.mli tag.mli tagSet.mli tree.mli ata.mli ulexer.mli xPath.mli MLOBJS = $(MLSRCS:.ml=.cmx) MLCINT = $(MLISRCS:.mli=.cmi) @@ -30,7 +30,7 @@ CXXINCLUDES = \ -IXMLTree/libcds/includes \ -IXMLTree/TextCollection -CXXFLAGS = -O3 -Wall $(INCLUDEDIRS) -fPIC +CXXFLAGS = -O3 -Wall $(INCLUDEDIRS) -fPIC -std=c++0x ifeq ($(VERBOSE),true) HIDE= else @@ -42,10 +42,9 @@ CXX = g++ -DDEBUG OCAMLOPT = ocamlopt -g -cc "$(CXX)" SYNT_DEBUG = -ppopt -DDEBUG else -CXX = g++ -OCAMLOPT = ocamlopt -cc "$(CXX)" -noassert -inline 100 +CXX = g++ +OCAMLOPT = ocamlopt -cc "$(CXX)" -ccopt -O3 -ccopt -std=c++0x -noassert -inline 1000 endif - ifeq ($(PROFILE), true) SYNT_PROF = $(SYNT_DEBUG) -ppopt -DPROFILE endif