From a8b95f91af568cfe587b3f05b9c111c6ebe8b0a8 Mon Sep 17 00:00:00 2001 From: Enrico Tassi Date: Thu, 27 Nov 2008 10:34:26 +0000 Subject: [PATCH] new kernel is compiled since the META of grafite_parser depends on the META of ng_disambiguation --- helm/software/components/Makefile | 3 +++ helm/software/components/ng_disambiguation/Makefile | 2 +- 2 files changed, 4 insertions(+), 1 deletion(-) diff --git a/helm/software/components/Makefile b/helm/software/components/Makefile index 01dabc9a6..afe6c3f82 100644 --- a/helm/software/components/Makefile +++ b/helm/software/components/Makefile @@ -33,6 +33,9 @@ MODULES = \ cic_disambiguation \ lexicon \ grafite_engine \ + ng_kernel \ + ng_refiner \ + ng_disambiguation \ grafite_parser \ tptp_grafite \ $(NULL) diff --git a/helm/software/components/ng_disambiguation/Makefile b/helm/software/components/ng_disambiguation/Makefile index 3bac09451..411b10feb 100644 --- a/helm/software/components/ng_disambiguation/Makefile +++ b/helm/software/components/ng_disambiguation/Makefile @@ -12,7 +12,7 @@ EXTRA_OBJECTS_TO_CLEAN = %.cmi: OCAMLOPTIONS += -w Ae %.cmx: OCAMLOPTIONS += -w Ae -all: rt check +all: %: %.ml $(PACKAGE).cma $(OCAMLC) -package helm-$(PACKAGE) -linkpkg -o $@ $< all.opt opt: rt.opt check.opt -- 2.39.2