| 95 |
all: cdml.$(EXTENSION_LIB) |
all: cdml.$(EXTENSION_LIB) |
| 96 |
endif |
endif |
| 97 |
|
|
| 98 |
install: all |
install: all install_cdml |
| 99 |
mkdir -p $(BINDIR) |
mkdir -p $(BINDIR) |
| 100 |
mkdir -p $(MANDIR)/man1 |
mkdir -p $(MANDIR)/man1 |
| 101 |
$(INSTALL) -m755 cduce$(EXE) dtd2cduce$(EXE) \ |
$(INSTALL) -m755 cduce$(EXE) dtd2cduce$(EXE) \ |
| 103 |
$(INSTALL) -m644 doc/cduce.1 $(MANDIR)/man1/ |
$(INSTALL) -m644 doc/cduce.1 $(MANDIR)/man1/ |
| 104 |
$(INSTALL) -m644 doc/dtd2cduce.1 $(MANDIR)/man1/ |
$(INSTALL) -m644 doc/dtd2cduce.1 $(MANDIR)/man1/ |
| 105 |
$(INSTALL) -m644 doc/validate.1 $(MANDIR)/man1/ |
$(INSTALL) -m644 doc/validate.1 $(MANDIR)/man1/ |
| 106 |
|
|
| 107 |
|
install_cdml: |
| 108 |
ifneq ($(ML_INTERFACE), false) |
ifneq ($(ML_INTERFACE), false) |
| 109 |
$(OCAMLFIND) install cduce META \ |
$(OCAMLFIND) install cduce META \ |
| 110 |
cdml.$(EXTENSION_LIB) cdo2cmo/cdml.cmi \ |
cdml.$(EXTENSION_LIB) cdo2cmo/cdml.cmi \ |