X-Git-Url: http://git.nguyen.vg/gitweb/?a=blobdiff_plain;f=Makefile;h=88620eb1aba9ad153f90627d879869dc2b8e5f25;hb=d046f2b9d8e39b30350399eafe122c30ff61c8c1;hp=2dc0dfa9f6bdd1370cac9d2be520275b24c5e4ee;hpb=92fa1dfd894ed2903541d665bd40919ae154f285;p=SXSI%2Fxpathcomp.git

diff --git a/Makefile b/Makefile
index 2dc0dfa..88620eb 100644
--- a/Makefile
+++ b/Makefile
@@ -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)
 
@@ -108,9 +108,9 @@ 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 -package "$(OCAMLPACKAGES)"  $(SYNTAX) -c $<
 
 .mli.cmi:
 	@echo [OCAMLOPT] $@