X-Git-Url: http://git.nguyen.vg/gitweb/?a=blobdiff_plain;f=Makefile;fp=Makefile;h=afa1e3bcb1a00ae102d84fbdef754239b5295548;hb=451e60ad59e35344dff62da5ca27fcd5eec1bff9;hp=7b89c53d7e2b36558085aff971bfd8e711444034;hpb=b82be3bb29963ce00218ccc59e1622e284145351;p=SXSI%2Fxpathcomp.git

diff --git a/Makefile b/Makefile
index 7b89c53..afa1e3b 100644
--- a/Makefile
+++ b/Makefile
@@ -53,9 +53,9 @@ endif
 
 ifeq ($(PROFILE), true)
 PROFILE_FLAGS = -p 
-SYNT_PROF = $(SYNT_DEBUG) -ppopt -DPROFILE
+SYNT_PROF = -ppopt -DPROFILE
 endif
-
+SYNT_FLAGS = $(SYNT_DEBUG) $(SYNT_PROF)
 OPT_FLAGS = $(DEBUG_FLAGS) $(PROFILE_FLAGS) -nodynlink
 
 OCAMLOPT = ocamlopt -cc "$(CXX)" $(OPT_FLAGS) -ccopt -O3 -ccopt -std=c++0x -noassert -inline $(INLINE)
@@ -67,7 +67,7 @@ OCAMLDEP = ocamldep
 #Ugly but seems difficult with a makefile
 
 LINK=$(OCAMLOPT) -linkpkg `ocamlc -version | grep -q "3.11.0" && echo dynlink.cmxa` camlp4lib.cmxa
-SYNTAX= -syntax camlp4o $(PPINCLUDES) -ppopt pa_macro.cmo $(SYNT_PROF) 
+SYNTAX= -syntax camlp4o $(PPINCLUDES) -ppopt pa_macro.cmo $(SYNT_FLAGS)