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