Permalink
Browse files

added Makefile.in for installation, based on standard SWI packages

added convenience predicates
  • Loading branch information...
cmungall committed Feb 11, 2009
1 parent a91758c commit 3cf0e0be020defcd0ef1fab6284d90444dc6a5a8
Showing with 3,192 additions and 0 deletions.
  1. +104 −0 Makefile.in
  2. +2,850 −0 configure
  3. +238 −0 install-sh
View
@@ -0,0 +1,104 @@
+################################################################
+# SWI-Prolog `Thea2' package
+################################################################
+
+.SUFFIXES: .tex .dvi .doc .pl
+
+SHELL=@SHELL@
+PLBASE=@PLBASE@
+PLARCH=@PLARCH@
+PL=@PL@
+XPCEBASE=$(PLBASE)/xpce
+PKGDOC=$(PLBASE)/doc/packages
+PCEHOME=../xpce
+LIBDIR=$(PLBASE)/library/thea2
+#EXDIR=$(PKGDOC)/examples/plunit
+DESTDIR=
+
+DOCTOTEX=$(PCEHOME)/bin/doc2tex
+PLTOTEX=$(PCEHOME)/bin/pl2tex
+LATEX=latex
+DOC=plunit
+TEX=$(DOC).tex
+DVI=$(DOC).dvi
+PDF=$(DOC).pdf
+HTML=$(DOC).html
+
+INSTALL=@INSTALL@
+INSTALL_PROGRAM=@INSTALL_PROGRAM@
+INSTALL_DATA=@INSTALL_DATA@
+
+LIBPL= owl2_model.pl
+LIBALL= $(LIBPL) $(SUPPORT)
+EXAMPLES= README
+
+all:
+ @echo "Nothing to do for this package"
+
+install: $(LIBPL)
+ mkdir -p $(DESTDIR)$(LIBDIR)
+ $(INSTALL_DATA) $(LIBALL) $(DESTDIR)$(LIBDIR)
+ $(PL) -f none -g make -t halt
+
+ln-install: $(LIBPL)
+ mkdir -p $(DESTDIR)$(LIBDIR)
+ for f in $(LIBALL); do \
+ rm -f $(DESTDIR)$(LIBDIR)/$$f; \
+ ln -s `pwd`/$$f $(DESTDIR)$(LIBDIR); \
+ done
+ $(PL) -f none -g make -t halt
+
+rpm-install: install
+
+pdf-install: install-examples
+ $(INSTALL_DATA) $(DOC).pdf $(DESTDIR)$(PKGDOC)
+
+html-install: install-examples
+ $(INSTALL_DATA) $(DOC).html $(DESTDIR)$(PKGDOC)
+
+install-examples::
+ mkdir -p $(DESTDIR)$(EXDIR)
+ (cd examples && $(INSTALL_DATA) $(EXAMPLES) $(DESTDIR)$(EXDIR))
+
+uninstall::
+ rm -f $(LIBDIR)/plunit.pl
+ $(PL) -f none -g make -t halt
+
+check::
+ true
+
+################################################################
+# Documentation
+################################################################
+
+doc: $(PDF) $(HTML)
+pdf: $(PDF)
+html: $(HTML)
+
+$(HTML): $(TEX)
+ latex2html $(DOC)
+ mv html/index.html $@
+ rmdir html
+
+$(PDF): $(TEX)
+ ../../man/runtex --pdf $(DOC)
+
+$(TEX): $(DOCTOTEX)
+
+.doc.tex:
+ $(DOCTOTEX) $*.doc > $*.tex
+.pl.tex:
+ $(PLTOTEX) $*.pl > $*.tex
+
+################################################################
+# Clean
+################################################################
+
+clean:
+ rm -f *~ *% config.log
+ rm -f $(TEX)
+ ../../man/runtex --clean $(DOC)
+ rm -rf html
+
+distclean: clean
+ rm -f $(TARGETS) config.cache config.status Makefile
Oops, something went wrong.

0 comments on commit 3cf0e0b

Please sign in to comment.