[r2005-03-09 16:40:59 by afrisch] Don't build dtd2cduce

Original author: afrisch
Date: 2005-03-09 16:44:12+00:00

INSTALL

@@ -119,7 +119,7 @@ You need a GNU Make (or equivalent). The Makefile defines the following goals:
   print a summary of what follows
 
 - make all
-  build binaries and libraries
+  build binaries and libraries (does not build dtd2cduce)
 
 - make cduce
   compiles the CDuce command line interpreter

Makefile.distrib

 include Makefile.conf
 VERSION = 0.2.3b1
 
-all: cduce dtd2cduce cdo2ml mlcduce_wrapper cduce_lib.cma
+all: cduce cdo2ml mlcduce_wrapper cduce_lib.cma
 ifeq ($(NATIVE),true)
 all: cduce_lib.cmxa
 endif
@@ -83,7 +83,7 @@ install: all install_bin install_lib install_doc
 install_bin:
 	@echo "Install binaries"
 	$(HIDE)mkdir -p $(BINDIR)
-	$(HIDE)$(INSTALL) -m755 cduce$(EXE) dtd2cduce$(EXE) \
+	$(HIDE)$(INSTALL) -m755 cduce$(EXE) \
                         cdo2ml$(EXE) \
 			mlcduce_wrapper$(EXE) \
 			cduce_mktop $(BINDIR)/
@@ -98,10 +98,10 @@ install_lib:
 
 
 uninstall:
-	rm -f $(BINDIR)/cduce$(EXE) $(BINDIR)/dtd2cduce$(EXE) \
+	rm -f $(BINDIR)/cduce$(EXE) \
 	  $(BINDIR)/cdo2ml$(EXE) \
 	  $(BINDIR)/mlcduce_wrapper$(EXE) $(BINDIR)/cduce_mktop
-	rm -f $(MANDIR)/man1/cduce.1 $(MANDIR)/man1/dtd2cduce.1 \
+	rm -f $(MANDIR)/man1/cduce.1 \
 	  $(MANDIR)/man1/cdo2ml.1
 	rm -Rf $(DOCDIR)
 	ocamlfind remove cduce
@@ -259,7 +259,7 @@ cduce_lib.$(EXTENSION_LIB): $(OBJECTS:.cmo=.$(EXTENSION))
 
 dtd2cduce: tools/dtd2cduce.ml
 	@echo "Build $@"
-	-$(HIDE)$(OCAMLFIND) $(CAML) -o $@ -ccopt -static -package "$(PXP_PACK) cgi" -linkpkg $^
+	$(HIDE)$(OCAMLFIND) $(CAML) -o $@ -ccopt -static -package "$(PXP_PACK) cgi" -linkpkg $^
 
 cduce_validate: $(VALIDATE_OBJECTS:.cmo=.$(EXTENSION)) tools/validate.$(EXTENSION)
 	@echo "Build $@"

configure.ml

@@ -242,9 +242,6 @@ let pxp,expat =
     | false,false ->
 	warning "No package for parsing XML documents.";
 	false,false
-    | false,n ->
-	warning "PXP not available: won't build dtd2cduce";
-	false,n
     | c,n -> c,n
 
 let required_packages = 

doc/Makefile

 MAN = cduce.1 dtd2cduce.1 cduce_validate.1 cdo2ml.1 cduce_mktop.1
+INSTALL_MAN = cduce.1 cdo2ml.1 cduce_mktop.1
 
 all: $(MAN)
 
@@ -9,4 +10,4 @@ all: $(MAN)
 
 install:
 	@echo "Install man pages"
-	$(HIDE)$(INSTALL) -m644 $(MAN) $(MANDIR)/man1/
+	$(HIDE)$(INSTALL) -m644 $(INSTALL_MAN) $(MANDIR)/man1/