Merged from branch stable-succint-refactor

[SXSI/xpathcomp.git] / Makefile

diff --git a/Makefile b/Makefile
index ffc996c..43e5142 100644 (file)
--- 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