X-Git-Url: http://git.nguyen.vg/gitweb/?a=blobdiff_plain;f=Makefile;h=43e51424893ba93f2300469b6a62a0d22156888f;hb=5b4679e20761058f1e04c123da52631c0dd265cc;hp=ffc996c0249dd15fc77912ef5337ed386d22b4bf;hpb=d64e3a3a9ef6329caafdba848ef78427fce0d689;p=SXSI%2Fxpathcomp.git

diff --git a/Makefile b/Makefile
index ffc996c..43e5142 100644
--- a/Makefile
+++ b/Makefile
@@ -42,10 +42,9 @@ CXX = g++ -DDEBUG
 OCAMLOPT = ocamlopt -g -cc "$(CXX)" 
 SYNT_DEBUG = -ppopt -DDEBUG
 else
-CXX = g++
-OCAMLOPT = ocamlopt -cc "$(CXX)" -noassert -inline 100
+CXX = g++  
+OCAMLOPT = ocamlopt -cc "$(CXX)" -ccopt -O3 -noassert -inline 100
 endif
-
 ifeq ($(PROFILE), true)
 SYNT_PROF = $(SYNT_DEBUG) -ppopt -DPROFILE
 endif