X-Git-Url: http://git.nguyen.vg/gitweb/?a=blobdiff_plain;f=Makefile;h=ab38c4b340721b792d4de23bfa0410db2827b09f;hb=4a66518948bf6356b5cb72ba30b4d48a8c9e833a;hp=41ac25940192911ef9de66c4889fcf76013367f6;hpb=0b725bb9913ff83cf73c5489f3b8582b881e6681;p=SXSI%2Fxpathcomp.git

diff --git a/Makefile b/Makefile
index 41ac259..ab38c4b 100644
--- a/Makefile
+++ b/Makefile
@@ -43,7 +43,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 1000
+OCAMLOPT = ocamlopt -S -cc "$(CXX)" -ccopt -O3 -ccopt -std=c++0x -noassert -inline 1000
 endif
 ifeq ($(PROFILE), true)
 SYNT_PROF = $(SYNT_DEBUG) -ppopt -DPROFILE
@@ -74,6 +74,7 @@ main: libcamlshredder.a  $(MLOBJS)
 .cpp.o:
 	@echo [CPP] $@
 	$(HIDE) $(CXX) $(CXXINCLUDES) -c $(CXXFLAGS)  $<
+
 .ml.cmx:
 	@echo [OCAMLOPT] $@
 	$(HIDE) $(OCAMLFIND) $(OCAMLOPT) -package "$(OCAMLPACKAGES)"  $(SYNTAX) -c $<