./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 =