From: Stefano Zacchiroli <zack@upsilon.cc>
Date: Fri, 22 Oct 2004 09:52:36 +0000 (+0000)
Subject: use helm-cic_textual_parser2 findlib package when building tests
X-Git-Tag: V_0_0_10~54
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=3aa4007aeb10078c7e170d8fdc681912835d2ddb;p=helm.git

use helm-cic_textual_parser2 findlib package when building tests
---

diff --git a/helm/ocaml/cic_disambiguation/Makefile b/helm/ocaml/cic_disambiguation/Makefile
index de0cf3ba2..aa87de4ff 100644
--- a/helm/ocaml/cic_disambiguation/Makefile
+++ b/helm/ocaml/cic_disambiguation/Makefile
@@ -32,7 +32,7 @@ cicTextualParser2.cmx: cicTextualParser2.ml
 %_notation.cmx: %_notation.ml
 	$(OCAMLOPT_P4) -c $<
 
-LOCAL_LINKOPTS = -linkpkg $(PACKAGE).cma
+LOCAL_LINKOPTS = -package helm-cic_textual_parser2 -linkpkg
 test: test_lexer test_parser
 test_lexer: test_lexer.ml $(PACKAGE).cma
 	$(OCAMLC) $(LOCAL_LINKOPTS) -o $@ $<