[r2003-12-06 00:45:33 by afrisch] Empty log message

Original author: afrisch
Date: 2003-12-06 00:45:33+00:00

Makefile.distrib

@@ -183,16 +183,10 @@ INCLUDES = $(DIRS:%=-I %)
 cduce: $(CDUCE:.cmo=.$(EXTENSION))
 	$(LINK) $(INCLUDES) -o $@ $^ $(EXTRA_LINK_OPTS)
 
-cduce.cma: $(CDUCE)
-	$(CAMLC) -a -linkpkg -o cduce.cma gramlib.cma $(OBJECTS)
-
-cduce_packed.cma: $(CDUCE)
+cduce_packed.cma: $(OBJECTS)
 	$(CAMLC) -o cduce_all.cmo -pack $(OBJECTS)
 	$(CAMLC) -a -linkpkg -o cduce_packed.cma gramlib.cma cduce_all.cmo
 	
-run_ocaml_cduce: cduce.cma
-	ocaml $(INCLUDES) cduce.cma
-
 run_ocaml_cduce_packed: cduce_packed.cma
 	ocaml cduce_packed.cma