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