added some lines to compile for debugging

[helm.git] / components / tactics / Makefile

diff --git a/components/tactics/Makefile b/components/tactics/Makefile
index 8990812993d9e897b9a88761ea8e286e69fec930..e6f63eac0a5ee0e9e28018d161f1a1b5efc84c38 100644 (file)
--- a/components/tactics/Makefile
+++ b/components/tactics/Makefile
@@ -56,3 +56,5 @@ include ../Makefile.common
 
 OCAMLOPTIONS+= -I paramodulation
 OCAMLDEPOPTIONS+= -I paramodulation
+#PREPROCOPTIONS:=
+#OCAML_PROF=p -p a