1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
|
################################################################
# 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
PKGDOC=$(PLBASE)/doc/packages
PCEHOME=../../xpce
LIBDIR=$(PLBASE)/library
CLPDIR=$(LIBDIR)/clp
EXDIR=$(PKGDOC)/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
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,halt -t 'halt(1)'
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
|
