From 77f41636ced753cd8b909a0f01908bab3925d113 Mon Sep 17 00:00:00 2001 From: Enrico Tassi Date: Thu, 12 Jan 2006 14:30:25 +0000 Subject: [PATCH] fix --- helm/ocaml/tactics/paramodulation/Makefile | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/helm/ocaml/tactics/paramodulation/Makefile b/helm/ocaml/tactics/paramodulation/Makefile index 8baf84c47..467def969 100644 --- a/helm/ocaml/tactics/paramodulation/Makefile +++ b/helm/ocaml/tactics/paramodulation/Makefile @@ -2,6 +2,8 @@ PACKAGE = dummy LOCALLINKOPTS = -package helm-cic_disambiguation,helm-content_pres,helm-grafite,helm-grafite_parser,helm-tactics +include ../../Makefile.common + all:saturate opt:saturate.opt @@ -10,8 +12,6 @@ saturate: saturate_main.ml $(LIBRARIES) saturate.opt: saturate_main.ml $(LIBRARIES) $(OCAMLOPT) $(LOCALLINKOPTS) -thread -linkpkg -o $@ $< -include ../../Makefile.common - clean: rm -f saturate saturate.opt -- 2.39.2