1################################################################ 2# SWI-Prolog CLPQR package 3# Author: Jan Wielemaker. jan@swi.psy.uva.nl 4# Copyright: LGPL (see COPYING or www.gnu.org 5################################################################ 6 7.SUFFIXES: .tex .dvi .doc .pl 8 9SHELL=@SHELL@ 10PLBASE=@PLBASE@ 11PLARCH=@PLARCH@ 12srcdir=@srcdir@ 13DESTDIR= 14 15ifeq (@PROLOG_SYSTEM@,yap) 16PL=@INSTALL_ENV@ $(DESTDIR)$(BINDIR)/yap $(DESTDIR)$(YAPLIBDIR)/startup.yss 17prefix = @prefix@ 18exec_prefix = @exec_prefix@ 19ROOTDIR = $(prefix) 20EROOTDIR = @exec_prefix@ 21BINDIR = $(EROOTDIR)/bin 22LIBDIR=$(EROOTDIR)/lib 23YAPLIBDIR=$(EROOTDIR)/lib/Yap 24SHAREDIR=$(ROOTDIR)/share/Yap 25CLPDIR=$(SHAREDIR) 26else 27PL=@PL@ 28XPCEBASE=$(PLBASE)/xpce 29PKGDOC=$(PLBASE)/doc/packages 30PCEHOME=../../xpce 31LIBDIR=$(PLBASE)/library 32CLPDIR=$(LIBDIR)/clp 33EXDIR=$(PKGDOC)/examples/clpqr 34endif #YAP/SWI 35 36CLPRDIR=$(CLPDIR)/clpr 37CLPQDIR=$(CLPDIR)/clpq 38CLPQRDIR=$(CLPDIR)/clpqr 39 40INSTALL=@INSTALL@ 41INSTALL_PROGRAM=@INSTALL_PROGRAM@ 42INSTALL_DATA=@INSTALL_DATA@ 43LN_INSTALL_DATA=$(shell echo `pwd`/../ln-install) 44LN_INSTALL_PROGRAM=$(shell echo `pwd`/../ln-install) 45 46CLPRPRIV= bb_r.pl bv_r.pl \ 47 fourmotz_r.pl ineq_r.pl \ 48 itf_r.pl nf_r.pl \ 49 store_r.pl 50CLPQPRIV= bb_q.pl bv_q.pl \ 51 fourmotz_q.pl ineq_q.pl \ 52 itf_q.pl nf_q.pl \ 53 store_q.pl 54CLPQRPRIV= class.pl dump.pl \ 55 geler.pl itf.pl \ 56 ordering.pl \ 57 project.pl redund.pl 58LIBPL= $(srcdir)/clpr.pl $(srcdir)/clpq.pl 59EXAMPLES= 60 61all:: 62 @echo "Nothing to be done for this package" 63 64install: $(LIBPL) 65 mkdir -p $(DESTDIR)$(CLPDIR) 66 mkdir -p $(DESTDIR)$(CLPRDIR) 67 mkdir -p $(DESTDIR)$(CLPQDIR) 68 mkdir -p $(DESTDIR)$(CLPQRDIR) 69 $(INSTALL_DATA) $(LIBPL) $(DESTDIR)$(CLPDIR) 70 for f in $(CLPRPRIV); do $(INSTALL_DATA) $(srcdir)/clpr/$$f $(DESTDIR)$(CLPRDIR); done 71 for f in $(CLPQPRIV); do $(INSTALL_DATA) $(srcdir)/clpq/$$f $(DESTDIR)$(CLPQDIR); done 72 for f in $(CLPQRPRIV); do $(INSTALL_DATA) $(srcdir)/clpqr/$$f $(DESTDIR)$(CLPQRDIR); done 73 $(INSTALL_DATA) $(srcdir)/README $(DESTDIR)$(CLPQRDIR) 74 75ln-install:: 76 @$(MAKE) INSTALL_DATA=$(LN_INSTALL_DATA) INSTALL_PROGRAM=$(LN_INSTALL_PROGRAM) install 77 78rpm-install: install 79 80pdf-install: install-examples 81 82html-install: install-examples 83 84install-examples:: 85# mkdir -p $(DESTDIR)$(EXDIR) 86# (cd Examples && $(INSTALL_DATA) $(EXAMPLES) $(DESTDIR)$(EXDIR)) 87 88uninstall: 89 (cd $(CLPDIR) && rm -f $(LIBPL)) 90 rm -rf $(CLPRDIR) 91 rm -rf $(CLPQDIR) 92 rm -rf $(CLPQRDIR) 93 94check:: 95# $(PL) -q -f $(srcdir)/clpr_test.pl -g test,halt -t 'halt(1)' 96 97 98doc: html pdf 99html:: 100pdf:: 101 102################################################################ 103# Clean 104################################################################ 105 106clean: 107 rm -f *~ *% config.log 108 109distclean: clean 110 rm -f config.h config.cache config.status Makefile 111 rm -rf autom4te.cache 112 113