From 28e5423e7c0d4e47649ed9534fe2e091c1ff61a0 Mon Sep 17 00:00:00 2001 From: Enrico Tassi <enrico.tassi@inria.fr> Date: Tue, 9 Jun 2009 09:54:36 +0000 Subject: [PATCH] fixed building --- .../components/ng_paramodulation/.depend.opt | 12 +++++++----- helm/software/components/ng_paramodulation/Makefile | 4 ++-- 2 files changed, 9 insertions(+), 7 deletions(-) diff --git a/helm/software/components/ng_paramodulation/.depend.opt b/helm/software/components/ng_paramodulation/.depend.opt index c8985f260..7fa534412 100644 --- a/helm/software/components/ng_paramodulation/.depend.opt +++ b/helm/software/components/ng_paramodulation/.depend.opt @@ -1,10 +1,10 @@ terms.cmi: pp.cmi: terms.cmi foSubst.cmi: terms.cmi +orderings.cmi: terms.cmi foUtils.cmi: terms.cmi foUnif.cmi: terms.cmi index.cmi: terms.cmi -orderings.cmi: terms.cmi superposition.cmi: terms.cmi index.cmi nCicBlob.cmi: terms.cmi cicBlob.cmi: terms.cmi @@ -15,16 +15,18 @@ pp.cmo: terms.cmi pp.cmi pp.cmx: terms.cmx pp.cmi foSubst.cmo: terms.cmi foSubst.cmi foSubst.cmx: terms.cmx foSubst.cmi +orderings.cmo: terms.cmi orderings.cmi +orderings.cmx: terms.cmx orderings.cmi foUtils.cmo: terms.cmi orderings.cmi foSubst.cmi foUtils.cmi foUtils.cmx: terms.cmx orderings.cmx foSubst.cmx foUtils.cmi foUnif.cmo: terms.cmi foUtils.cmi foSubst.cmi foUnif.cmi foUnif.cmx: terms.cmx foUtils.cmx foSubst.cmx foUnif.cmi index.cmo: terms.cmi foUtils.cmi index.cmi index.cmx: terms.cmx foUtils.cmx index.cmi -orderings.cmo: terms.cmi orderings.cmi -orderings.cmx: terms.cmx orderings.cmi -superposition.cmo: terms.cmi index.cmi superposition.cmi -superposition.cmx: terms.cmx index.cmx superposition.cmi +superposition.cmo: terms.cmi orderings.cmi index.cmi foUtils.cmi foUnif.cmi \ + foSubst.cmi superposition.cmi +superposition.cmx: terms.cmx orderings.cmx index.cmx foUtils.cmx foUnif.cmx \ + foSubst.cmx superposition.cmi nCicBlob.cmo: terms.cmi nCicBlob.cmi nCicBlob.cmx: terms.cmx nCicBlob.cmi cicBlob.cmo: terms.cmi cicBlob.cmi diff --git a/helm/software/components/ng_paramodulation/Makefile b/helm/software/components/ng_paramodulation/Makefile index ceda25692..d6a970b20 100644 --- a/helm/software/components/ng_paramodulation/Makefile +++ b/helm/software/components/ng_paramodulation/Makefile @@ -1,8 +1,8 @@ PACKAGE = ng_paramodulation INTERFACE_FILES = \ - terms.mli pp.mli foSubst.mli foUtils.mli \ - foUnif.mli index.mli orderings.mli superposition.mli \ + terms.mli pp.mli foSubst.mli \ + orderings.mli foUtils.mli foUnif.mli index.mli superposition.mli \ nCicBlob.mli cicBlob.mli paramod.mli IMPLEMENTATION_FILES = $(INTERFACE_FILES:%.mli=%.ml) -- 2.39.5