From b21289b6d0f8e3f6a365e7aa1833d28166f7e2a5 Mon Sep 17 00:00:00 2001 From: Claudio Sacerdoti Coen Date: Mon, 1 Dec 2008 07:40:04 +0000 Subject: [PATCH] rt.op and check.opt removed from Makefile --- helm/software/components/ng_disambiguation/Makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/helm/software/components/ng_disambiguation/Makefile b/helm/software/components/ng_disambiguation/Makefile index 91e3c09c7..a613a1c04 100644 --- a/helm/software/components/ng_disambiguation/Makefile +++ b/helm/software/components/ng_disambiguation/Makefile @@ -14,7 +14,7 @@ EXTRA_OBJECTS_TO_CLEAN = all: %: %.ml $(PACKAGE).cma $(OCAMLC) -package helm-$(PACKAGE) -linkpkg -o $@ $< -all.opt opt: rt.opt check.opt +all.opt opt: %.opt: %.ml $(PACKAGE).cmxa $(OCAMLOPT) -package helm-$(PACKAGE) -linkpkg -o $@ $< -- 2.39.2