SYNT_DEBUG = -ppopt -DDEBUG
else
CXX = g++
-OCAMLOPT = ocamlopt -cc "$(CXX)" -ccopt -O3 -ccopt -std=c++0x -noassert -inline $(INLINE)
+OCAMLOPT = ocamlopt -cc "$(CXX)" -ccopt -O3 -ccopt -std=c++0x -noassert -inline $(INLINE)
endif
ifeq ($(PROFILE), true)
SYNT_PROF = $(SYNT_DEBUG) -ppopt -DPROFILE
clean:
@echo [CLEAN]
- $(HIDE) rm -f *~ *.cm* *.[oa] *.so main
+ $(HIDE) rm -f *~ *.cm* *.[oa] *.so main timeXMLTree testXMLTree myTimeXMLTree
$(HIDE) rm -rf .libs