X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2FgTopLevel%2FMakefile.in;fp=helm%2FgTopLevel%2FMakefile.in;h=4b44c3418cb0616a3430096a30dd05222c7aa7ca;hb=52f95aaf56e9f915b2e049db92a706bdc15c8867;hp=42dd44be1f8f29971aceddcb33846da36806a712;hpb=326bf3cd583d1bc422789f5e5c18697290dd2a4c;p=helm.git

diff --git a/helm/gTopLevel/Makefile.in b/helm/gTopLevel/Makefile.in
index 42dd44be1..4b44c3418 100644
--- a/helm/gTopLevel/Makefile.in
+++ b/helm/gTopLevel/Makefile.in
@@ -134,6 +134,10 @@ librarytest: testlibrary
 	./testlibrary -vars -varsprefix cic:/Coq index.txt 2>/dev/null >LOG
 librarytest.opt: testlibrary.opt
 	./testlibrary.opt -vars -varsprefix cic:/Coq index.txt 2>/dev/null >LOG
+typecheck_uri: typecheck_uri.ml
+	$(OCAMLFIND) ocamlc -thread -package helm-cic_proof_checking -linkpkg -o $@ $<
+typecheck_uri.opt: typecheck_uri.ml
+	$(OCAMLFIND) opt -thread -package helm-cic_proof_checking -linkpkg -o $@ $<
 
 MAIN = ./gTopLevel
 ARGS =