From 2ca2baa7b345693c7684994130707fb152227931 Mon Sep 17 00:00:00 2001 From: Claudio Sacerdoti Coen Date: Mon, 9 Jan 2006 17:02:59 +0000 Subject: [PATCH] paramodulation now compiles with ocaml 3.09 in opt mode (added -for-pack) --- helm/ocaml/paramodulation/Makefile | 2 ++ 1 file changed, 2 insertions(+) diff --git a/helm/ocaml/paramodulation/Makefile b/helm/ocaml/paramodulation/Makefile index 854621090..35b650ea7 100644 --- a/helm/ocaml/paramodulation/Makefile +++ b/helm/ocaml/paramodulation/Makefile @@ -14,9 +14,11 @@ include ../Makefile.common paramodulation.cmo: $(IMPLEMENTATION_FILES:%.ml=%.cmo) $(OCAMLC) -pack -o $@ $(IMPLEMENTATION_FILES:%.ml=%.cmo) +paramodulation.cmx: OCAMLOPTIONS=-package "$(REQUIRES)" -predicates "$(PREDICATES)" -thread paramodulation.cmx: $(IMPLEMENTATION_FILES:%.ml=%.cmx) $(OCAMLOPT) -pack -o $@ $(IMPLEMENTATION_FILES:%.ml=%.cmx) +OCAMLOPTIONS+=-for-pack Paramodulation $(ARCHIVE): paramodulation.cmo $(LIBRARIES) $(OCAMLC) $(OCAMLARCHIVEOPTIONS) -a -o $@ \ -- 2.39.2