X-Git-Url: http://git.nguyen.vg/gitweb/?a=blobdiff_plain;f=Makefile;h=b4461a096b6fc19bc50111b03e9b360ee4f7dce7;hb=b8aa8e7f1036cf00d0fadc75ccbe0264bae6c1b2;hp=bcd3f92cd5ff9115e47fcdf078aa6d2895fe7115;hpb=4dfc5a603e5f56d62b2d2db6abf01161815ed48a;p=SXSI%2Fxpathcomp.git diff --git a/Makefile b/Makefile index bcd3f92..b4461a0 100644 --- a/Makefile +++ b/Makefile @@ -3,8 +3,8 @@ DEBUG=false PROFILE=true VERBOSE=false -BASESRC=custom.ml ptset.ml finiteCofinite.ml tag.ml tagSet.ml options.ml tree.ml ata.ml -BASEMLI=sigs.mli ptset.mli finiteCofinite.mli tag.mli tagSet.mli options.mli tree.mli ata.mli +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 MLSRCS = memory.ml $(BASESRC) ulexer.ml xPath.ml main.ml MLISRCS = memory.mli $(BASEMLI) ulexer.mli xPath.mli BASEOBJS= $(BASESRC:.ml=.cmx) @@ -48,7 +48,7 @@ OCAMLOPT = ocamlopt -g -cc "$(CXX)" SYNT_DEBUG = -ppopt -DDEBUG else CXX = g++ -OCAMLOPT = ocamlopt -cc "$(CXX)" -ccopt -O3 -ccopt -std=c++0x -noassert -inline $(INLINE) +OCAMLOPT = ocamlopt -cc "$(CXX)" -ccopt -O3 -ccopt -std=c++0x -noassert -inline $(INLINE) endif ifeq ($(PROFILE), true) SYNT_PROF = $(SYNT_DEBUG) -ppopt -DPROFILE @@ -110,7 +110,7 @@ clean: $(HIDE) rm -rf .libs -timeXMLTree: $(CXXOBJECTS) XMLTree/XMLTree.a timeXMLTree.cpp testXMLTree.cpp +timeXMLTree: $(CXXOBJECTS) XMLTree/XMLTree.a timeXMLTree.cpp myTimeXMLTree.cpp mkdir -p .libs/ cd .libs/ && ar x ../XMLTree/XMLTree.a $(CXX) -o timeXMLTree $(CXXFLAGS) $(CXXINCLUDES) XMLDocShredder.o \ @@ -119,9 +119,9 @@ timeXMLTree: $(CXXOBJECTS) XMLTree/XMLTree.a timeXMLTree.cpp testXMLTree.cpp $(CXX) -o myTimeXMLTree $(CXXFLAGS) $(CXXINCLUDES) XMLDocShredder.o \ SXSIStorageInterface.o StorageInterface.o ./.libs/*.o \ $(LIBS) myTimeXMLTree.cpp - $(CXX) -o testXMLTree $(CXXFLAGS) $(CXXINCLUDES) XMLDocShredder.o \ - SXSIStorageInterface.o StorageInterface.o ./.libs/*.o \ - $(LIBS) testXMLTree.cpp +# $(CXX) -o testXMLTree $(CXXFLAGS) $(CXXINCLUDES) XMLDocShredder.o \ +# SXSIStorageInterface.o StorageInterface.o ./.libs/*.o \ +# $(LIBS) testXMLTree.cpp rm -rf .libs SXSIStorageInterface.o: SXSIStorageInterface.h SXSIStorageInterface.cpp StorageInterface.h