################################################################ # SWI-Prolog CLPQR package # Author: Jan Wielemaker. jan@swi.psy.uva.nl # Copyright: LGPL (see COPYING or www.gnu.org ################################################################ .SUFFIXES: .tex .dvi .doc .pl SHELL=@SHELL@ PLBASE=@PLBASE@ PLARCH=@PLARCH@ PL=@PL@ srcdir=@srcdir@ TXTEXT=@TXTEXT@ ifeq (@PROLOG_SYSTEM@,yap) prefix = @prefix@ ROOTDIR = $(prefix) EROOTDIR = @exec_prefix@ BINDIR = $(EROOTDIR)/bin LIBDIR=$(EROOTDIR)/lib YAPLIBDIR=$(EROOTDIR)/lib/Yap SHAREDIR=$(ROOTDIR)/share/Yap CLPDIR=$(SHAREDIR) EXDIR=$(CLPQRDIR)/clpqr/examples else XPCEBASE=$(PLBASE)/xpce PKGDOCDIR=$(PLBASE)/doc/packages PCEHOME=../../xpce LIBDIR=$(PLBASE)/library CLPDIR=$(LIBDIR)/clp EXDIR=$(PKGDOCDIR)/examples/clpqr endif #YAP/SWI CLPRDIR=$(CLPDIR)/clpr CLPQDIR=$(CLPDIR)/clpq CLPQRDIR=$(CLPDIR)/clpqr INSTALL=@INSTALL@ INSTALL_PROGRAM=@INSTALL_PROGRAM@ INSTALL_DATA=@INSTALL_DATA@ LN_INSTALL_DATA=$(shell echo `pwd`/../ln-install) LN_INSTALL_PROGRAM=$(shell echo `pwd`/../ln-install) CLPRPRIV= bb_r.pl bv_r.pl \ fourmotz_r.pl ineq_r.pl \ itf_r.pl nf_r.pl \ store_r.pl CLPQPRIV= bb_q.pl bv_q.pl \ fourmotz_q.pl ineq_q.pl \ itf_q.pl nf_q.pl \ store_q.pl CLPQRPRIV= class.pl dump.pl \ geler.pl itf.pl \ ordering.pl \ project.pl redund.pl \ highlight.pl LIBPL= $(srcdir)/clpr.pl $(srcdir)/clpq.pl EXAMPLES= all:: @echo "Nothing to be done for this package" install: $(LIBPL) mkdir -p $(DESTDIR)$(CLPDIR) mkdir -p $(DESTDIR)$(CLPRDIR) mkdir -p $(DESTDIR)$(CLPQDIR) mkdir -p $(DESTDIR)$(CLPQRDIR) $(INSTALL_DATA) $(LIBPL) $(DESTDIR)$(CLPDIR) (cd $(srcdir)/clpr && $(INSTALL_DATA) $(CLPRPRIV) $(DESTDIR)$(CLPRDIR)) (cd $(srcdir)/clpq && $(INSTALL_DATA) $(CLPQPRIV) $(DESTDIR)$(CLPQDIR)) (cd $(srcdir)/clpqr && $(INSTALL_DATA) $(CLPQRPRIV) $(DESTDIR)$(CLPQRDIR)) $(INSTALL_DATA) $(srcdir)/README $(DESTDIR)$(CLPQRDIR)/README$(TXTEXT) ln-install:: @$(MAKE) INSTALL_DATA=$(LN_INSTALL_DATA) INSTALL_PROGRAM=$(LN_INSTALL_PROGRAM) install rpm-install: install pdf-install: install-examples html-install: install-examples install-examples:: # mkdir -p $(DESTDIR)$(EXDIR) # (cd Examples && $(INSTALL_DATA) $(EXAMPLES) $(DESTDIR)$(EXDIR)) uninstall: (cd $(CLPDIR) && rm -f $(LIBPL)) rm -rf $(CLPRDIR) rm -rf $(CLPQDIR) rm -rf $(CLPQRDIR) check:: # $(PL) -q -f clpr_test.pl -g test -t halt doc: html pdf html:: pdf:: ################################################################ # Clean ################################################################ clean: rm -f *~ *% config.log distclean: clean rm -f config.h config.cache config.status Makefile rm -rf autom4te.cache