X-Git-Url: http://git.nguyen.vg/gitweb/?a=blobdiff_plain;f=Makefile;h=97ac568a6bce48f49ebc1115761ef583b6b8d9d0;hb=9df4d963bf2a5a405aca2831c8acd88e85bb0c7b;hp=afa1e3bcb1a00ae102d84fbdef754239b5295548;hpb=451e60ad59e35344dff62da5ca27fcd5eec1bff9;p=SXSI%2Fxpathcomp.git diff --git a/Makefile b/Makefile index afa1e3b..97ac568 100644 --- a/Makefile +++ b/Makefile @@ -1,10 +1,10 @@ -INLINE=10000 +INLINE=1000 DEBUG=false PROFILE=false VERBOSE=false -BASESRC=custom.ml memoizer.ml hcons.ml memhashtbl.ml hlist.ml ptset.ml finiteCofinite.ml tag.ml tagSet.ml options.ml tree.ml ata.ml -BASEMLI=sigs.mli memoizer.mli hcons.mli memhashtbl.ml hlist.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) @@ -17,7 +17,7 @@ OCAMLPACKAGES = str,unix,ulex,camlp4 PPINCLUDES=$(OCAMLINCLUDES:%=-ppopt %) -CXXSOURCES = XMLDocShredder.cpp SXSIStorageInterface.cpp StorageInterface.cpp OCamlDriver.cpp +CXXSOURCES = XMLDocShredder.cpp OCamlDriver.cpp CXXOBJECTS = $(CXXSOURCES:.cpp=.o) CXXINCLUDES = \ @@ -131,10 +131,8 @@ timeXMLTree: $(CXXOBJECTS) XMLTree/XMLTree.a timeXMLTree.cpp myTimeXMLTree.cpp # $(LIBS) testXMLTree.cpp rm -rf .libs -SXSIStorageInterface.o: SXSIStorageInterface.h SXSIStorageInterface.cpp StorageInterface.h -StorageInterface.o: StorageInterface.h -XMLDocShredder.o: XMLDocShredder.h XMLDocShredder.cpp SXSIStorageInterface.h StorageInterface.h -OCamlDriver.o: XMLDocShredder.h StorageInterface.h +XMLDocShredder.o: XMLDocShredder.h XMLDocShredder.cpp +OCamlDriver.o: XMLDocShredder.h compute_depend: @echo [DEP]