X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2FMakefile;h=2aef5b8fa3b4870f12195cc1cb020d7cb88ba44d;hb=a1a902e5c22ca2d322604551cffa5570e96542d0;hp=4c8e313fdda34273154d5594b76ea325feec429c;hpb=5356519d50425dfca5b42ad5faeb2181d4240c78;p=helm.git

diff --git a/matita/Makefile b/matita/Makefile
index 4c8e313fd..2aef5b8fa 100644
--- a/matita/Makefile
+++ b/matita/Makefile
@@ -73,7 +73,7 @@ MAINCML = $(MAINCMLI:%.mli=%.ml)
 PROGRAMS_BYTE = \
 	matita matitac cicbrowser matitadep matitaclean \
 	matitamake matitaprover matitawiki
-PROGRAMS = $(PROGRAMS_BYTE) matitatop
+PROGRAMS = $(PROGRAMS_BYTE) 
 PROGRAMS_OPT = $(patsubst %,%.opt,$(PROGRAMS_BYTE))
 NOINST_PROGRAMS = dump_moo gragrep
 NOINST_PROGRAMS_OPT = $(patsubst %,%.opt,$(EXTRA_PROGRAMS))
@@ -149,10 +149,6 @@ rottener.opt: rottener.ml $(CLIBX_DEPS) $(CCMXS) $(MAINCMXS)
 clean-rottened:
 	find . -type f -name "*.ma.*.rottened" -exec rm {} \;
 
-matitatop: matitatop.ml $(CLIB_DEPS) $(CCMOS)
-	$(H)echo "  OCAMLC $<"
-	$(H)$(OCAMLC) $(CPKGS) -linkpkg -o $@ toplevellib.cma $(CCMOS) $<
-
 matitaprover: matitac
 	$(H)test -f $@ || ln -s $< $@
 matitaprover.opt: matitac.opt