make directory erased, no more -bench since it is the default,

[helm.git] / matita / Makefile

diff --git a/matita/Makefile b/matita/Makefile
index 4c8e313fdda34273154d5594b76ea325feec429c..2aef5b8fa3b4870f12195cc1cb020d7cb88ba44d 100644 (file)
--- 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