From 541865b6906664544c3ac1aca917742a808cdcd9 Mon Sep 17 00:00:00 2001 From: Claudio Sacerdoti Coen Date: Mon, 19 Jan 2004 12:02:42 +0000 Subject: [PATCH] Missing package dependency. --- helm/searchEngine/Makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/helm/searchEngine/Makefile b/helm/searchEngine/Makefile index e7b9555e4..c3617f46a 100644 --- a/helm/searchEngine/Makefile +++ b/helm/searchEngine/Makefile @@ -1,6 +1,6 @@ REQUIRES = http helm-cic_textual_parser helm-cic_proof_checking \ helm-xml gdome2-xslt helm-cic_unification helm-mathql \ - helm-mathql_interpreter helm-mathql_generator + helm-mathql_interpreter helm-mathql_generator helm-logger OCAMLOPTIONS = -package "$(REQUIRES)" -pp camlp4o -I ../gTopLevel OCAMLC = ocamlfind ocamlc $(OCAMLOPTIONS) OCAMLOPT = ocamlfind ocamlopt $(OCAMLOPTIONS) -- 2.39.2