INLINE=1000
DEBUG=false
-PROFILE=true
+PROFILE=false
VERBOSE=false
-BASESRC=custom.ml memoizer.ml hcons.ml ptset.ml finiteCofinite.ml tag.ml tagSet.ml options.ml tree.ml ata.ml
-BASEMLI=sigs.mli memoizer.mli hcons.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)
PPINCLUDES=$(OCAMLINCLUDES:%=-ppopt %)
-CXXSOURCES = XMLDocShredder.cpp SXSIStorageInterface.cpp StorageInterface.cpp OCamlDriver.cpp
-CXXOBJECTS = $(CXXSOURCES:.cpp=.o)
+CXXSOURCES = results.c XMLDocShredder.cpp OCamlDriver.cpp
+CXXOBJECTS1 = $(CXXSOURCES:.cpp=.o)
+CXXOBJECTS = $(CXXOBJECTS1:.c=.o)
-CXXINCLUDES = \
+CAMLINCLUDES= -I`ocamlc -where`
+LIBXMLINCLUDES= \
-I/usr/include/libxml++-2.6 \
-I/usr/include/libxml2 \
-I/usr/include/glibmm-2.4 \
-I/usr/lib/glibmm-2.4/include \
-I/usr/lib/sigc++-2.0/include \
-I/usr/lib/glib-2.0/include\
- -I`ocamlc -where`\
+
+SXSIINCLUDES = \
-IXMLTree \
-IXMLTree/libcds/includes \
-IXMLTree/TextCollection
-CXXFLAGS = -O3 -Wall $(INCLUDEDIRS) -fPIC -std=c++0x
+CXXINCLUDES= $(CAMLINCLUDES) $(LIBXMLINCLUDES) $(SXSIINCLUDES)
+
+CXXFLAGS = -O3 -Wall $(INCLUDEDIRS) -fPIC -std=c++0x -static
+CCFLAGS = -O3 -Wall -fPIC -static
+
ifeq ($(VERBOSE),true)
HIDE=
else
ifeq ($(DEBUG), true)
CXX = g++ -DDEBUG
-OCAMLOPT = ocamlopt -g -cc "$(CXX)"
+CC = gcc -DDEBUG
+DEBUG_FLAGS = -g
SYNT_DEBUG = -ppopt -DDEBUG
else
-CXX = g++
-OCAMLOPT = ocamlopt -cc "$(CXX)" -ccopt -O3 -ccopt -std=c++0x -noassert -inline $(INLINE)
+CXX = g++
+CC = gcc -DDEBUG
endif
+
ifeq ($(PROFILE), true)
-SYNT_PROF = $(SYNT_DEBUG) -ppopt -DPROFILE
+PROFILE_FLAGS = -p -S
+SYNT_PROF = -ppopt -DPROFILE
endif
+SYNT_FLAGS = $(SYNT_DEBUG) $(SYNT_PROF)
+OPT_FLAGS = $(DEBUG_FLAGS) $(PROFILE_FLAGS) -nodynlink -unsafe
+
+OCAMLOPT = ocamlopt -cc "$(CXX)" $(OPT_FLAGS) -ccopt -O3 -ccopt -std=c++0x -noassert -inline $(INLINE)
+
OCAMLFIND = ocamlfind
OCAMLMKLIB = ocamlmklib
OCAMLDEP = ocamldep
#Ugly but seems difficult with a makefile
-LINK=$(OCAMLOPT) -linkpkg `ocamlc -version | grep -q "3.11.0" && echo dynlink.cmxa` camlp4lib.cmxa
-SYNTAX= -syntax camlp4o $(PPINCLUDES) -ppopt pa_macro.cmo $(SYNT_PROF)
+LINK=$(OCAMLOPT) -linkpkg `ocamlc -version | grep -q "3.11.[01]" && echo dynlink.cmxa` camlp4lib.cmxa
+SYNTAX= -syntax camlp4o $(PPINCLUDES) -ppopt pa_macro.cmo $(SYNT_FLAGS)
.SUFFIXES: .ml .mli .cmx .cmi .cpp
.PHONY:compute_depend version
+.c.o:
+ @echo [CC] $@
+ $(HIDE) $(CC) -c $(CCFLAGS) $<
+
.cpp.o:
@echo [CPP] $@
$(HIDE) $(CXX) $(CXXINCLUDES) -c $(CXXFLAGS) $<
clean:
@echo [CLEAN]
- $(HIDE) rm -f *~ *.cm* *.[oa] *.so main
+ $(HIDE) rm -f *~ *.cm* *.[oa] *.so main *.s
$(HIDE) rm -rf .libs
# $(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
+timeSXSI: $(CXXOBJECTS) XMLTree/XMLTree.a timeSXSI.cpp
+ mkdir -p .libs/
+ cd .libs/ && ar x ../XMLTree/XMLTree.a
+ $(CXX) -o timeSXSI $(CXXFLAGS) $(SXSIINCLUDES) -I/usr/include/libxml2 -lxml2 ./.libs/*.o timeSXSI.cpp
+# $(CXX) -o testXMLTree $(CXXFLAGS) $(CXXINCLUDES) XMLDocShredder.o \
+# SXSIStorageInterface.o StorageInterface.o ./.libs/*.o \
+# $(LIBS) testXMLTree.cpp
+ rm -rf .libs
+
+XMLDocShredder.o: XMLDocShredder.h XMLDocShredder.cpp
+OCamlDriver.o: XMLDocShredder.h
+results.o: results.h
compute_depend:
@echo [DEP]