X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Fcic_disambiguation%2FMakefile;fp=helm%2Focaml%2Fcic_disambiguation%2FMakefile;h=aa87de4ff2662cc3f34d10680d7e11422dd8cbc9;hb=3aa4007aeb10078c7e170d8fdc681912835d2ddb;hp=de0cf3ba22f7656a60d608e8f75bc8de5e365c70;hpb=191de48155d6941a1a3f315dece2bfbd0fb0f0a1;p=helm.git

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 $@ $<