[r2004-03-11 14:26:52 by jdemouth] Compilation de cDuce_all.cma.

Original author: jdemouth Date: 2004-03-11 14:26:52+00:00

[r2004-03-11 14:26:52 by jdemouth] Compilation de cDuce_all.cma.
Original author: jdemouth Date: 2004-03-11 14:26:52+00:00
fce496ad · Pietro Abate · 66796819 · fce496ad
Commit fce496ad authored Oct 05, 2007 by Pietro Abate
--- a/Makefile.distrib
+++ b/Makefile.distrib
@@ -96,7 +96,7 @@ endif
 INSTALL := $(shell which install)


-all: cduce dtd2cduce validate
+all: cduce cDuce_all.cma dtd2cduce validate

 install: all
 	mkdir -p $(PREFIX)/bin/