2001-06-06 20:10:51 +01:00
|
|
|
#
|
|
|
|
|
# default base directory for YAP installation
|
|
|
|
|
#
|
|
|
|
|
ROOTDIR = @prefix@
|
|
|
|
|
#
|
|
|
|
|
# where the binary should be
|
|
|
|
|
#
|
|
|
|
|
BINDIR = $(ROOTDIR)/bin
|
|
|
|
|
#
|
2001-11-26 16:05:19 +00:00
|
|
|
# where YAP should look for architecture-independent Prolog libraries
|
2001-06-06 20:10:51 +01:00
|
|
|
#
|
2001-11-26 16:05:19 +00:00
|
|
|
SHAREDIR=$(ROOTDIR)/share/Yap
|
2001-06-06 20:10:51 +01:00
|
|
|
#
|
|
|
|
|
#
|
|
|
|
|
# You shouldn't need to change what follows.
|
|
|
|
|
#
|
|
|
|
|
INSTALL=@INSTALL@
|
|
|
|
|
INSTALL_DATA=@INSTALL_DATA@
|
|
|
|
|
INSTALL_PROGRAM=@INSTALL_PROGRAM@
|
|
|
|
|
srcdir=@srcdir@
|
|
|
|
|
|
|
|
|
|
CHR_PROGRAMS= $(srcdir)/chr/chrcmp.pl \
|
|
|
|
|
$(srcdir)/chr/compenv.pl \
|
|
|
|
|
$(srcdir)/chr/concat.pl \
|
|
|
|
|
$(srcdir)/chr/getval.pl \
|
|
|
|
|
$(srcdir)/chr/matching.pl \
|
|
|
|
|
$(srcdir)/chr/operator.pl \
|
|
|
|
|
$(srcdir)/chr/ordering.pl \
|
|
|
|
|
$(srcdir)/chr/sbag.pl \
|
|
|
|
|
$(srcdir)/chr/sbag_a.pl \
|
|
|
|
|
$(srcdir)/chr/sbag_l.pl \
|
2001-09-10 17:29:01 +01:00
|
|
|
$(srcdir)/chr/trace.yap
|
2001-06-06 20:10:51 +01:00
|
|
|
|
|
|
|
|
CHR_TOP= $(srcdir)/chr.yap
|
|
|
|
|
|
|
|
|
|
CHR_LICENSE= $(srcdir)/CHR.LICENSE
|
|
|
|
|
|
|
|
|
|
CHR_EXAMPLES= $(srcdir)/chr/examples/allentable.pl \
|
|
|
|
|
$(srcdir)/chr/examples/arc.pl \
|
|
|
|
|
$(srcdir)/chr/examples/bool.pl \
|
|
|
|
|
$(srcdir)/chr/examples/cft.pl \
|
|
|
|
|
$(srcdir)/chr/examples/domain.pl \
|
|
|
|
|
$(srcdir)/chr/examples/examples-adder.bool \
|
|
|
|
|
$(srcdir)/chr/examples/examples-benchmark.math \
|
|
|
|
|
$(srcdir)/chr/examples/examples-deussen.bool \
|
|
|
|
|
$(srcdir)/chr/examples/examples-diaz.bool \
|
|
|
|
|
$(srcdir)/chr/examples/examples-fourier.math \
|
|
|
|
|
$(srcdir)/chr/examples/examples-holzbaur.math \
|
|
|
|
|
$(srcdir)/chr/examples/examples-lim1.math \
|
|
|
|
|
$(srcdir)/chr/examples/examples-lim2.math \
|
|
|
|
|
$(srcdir)/chr/examples/examples-lim3.math \
|
|
|
|
|
$(srcdir)/chr/examples/examples-puzzle.bool \
|
|
|
|
|
$(srcdir)/chr/examples/examples-queens.bool \
|
|
|
|
|
$(srcdir)/chr/examples/examples-queens.domain \
|
|
|
|
|
$(srcdir)/chr/examples/examples-stuckey.math \
|
|
|
|
|
$(srcdir)/chr/examples/examples-thom.math \
|
|
|
|
|
$(srcdir)/chr/examples/gcd.pl \
|
|
|
|
|
$(srcdir)/chr/examples/interval.pl \
|
|
|
|
|
$(srcdir)/chr/examples/kl-one.pl \
|
|
|
|
|
$(srcdir)/chr/examples/leq.pl \
|
|
|
|
|
$(srcdir)/chr/examples/list.pl \
|
|
|
|
|
$(srcdir)/chr/examples/listdom.pl \
|
|
|
|
|
$(srcdir)/chr/examples/math-elim.pl \
|
|
|
|
|
$(srcdir)/chr/examples/math-fougau.pl \
|
|
|
|
|
$(srcdir)/chr/examples/math-fourier.pl \
|
|
|
|
|
$(srcdir)/chr/examples/math-gauss.pl \
|
|
|
|
|
$(srcdir)/chr/examples/math-utilities.pl \
|
|
|
|
|
$(srcdir)/chr/examples/minmax.pl \
|
|
|
|
|
$(srcdir)/chr/examples/modelgenerator.pl \
|
|
|
|
|
$(srcdir)/chr/examples/osf.pl \
|
|
|
|
|
$(srcdir)/chr/examples/oztype.pl \
|
|
|
|
|
$(srcdir)/chr/examples/path.pl \
|
|
|
|
|
$(srcdir)/chr/examples/pathc.pl \
|
|
|
|
|
$(srcdir)/chr/examples/primes.pl \
|
|
|
|
|
$(srcdir)/chr/examples/scheduling.pl \
|
|
|
|
|
$(srcdir)/chr/examples/tarski.pl \
|
|
|
|
|
$(srcdir)/chr/examples/term.pl \
|
|
|
|
|
$(srcdir)/chr/examples/time-pc.pl \
|
|
|
|
|
$(srcdir)/chr/examples/time-point.pl \
|
|
|
|
|
$(srcdir)/chr/examples/time-rnd.pl \
|
|
|
|
|
$(srcdir)/chr/examples/time.pl \
|
|
|
|
|
$(srcdir)/chr/examples/tree.pl \
|
|
|
|
|
$(srcdir)/chr/examples/type.pl
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
install: $(CHR_TOP) $(CHR_LICENSE) $(CHR_PROGRAMS) $(CHR_EXAMPLES)
|
2001-11-26 16:05:19 +00:00
|
|
|
mkdir -p $(DESTDIR)$(SHAREDIR)/chr/examples
|
|
|
|
|
for h in $(CHR_TOP); do $(INSTALL_DATA) $$h $(DESTDIR)$(SHAREDIR); done
|
|
|
|
|
for h in $(CHR_LICENSE); do $(INSTALL_DATA) $$h $(DESTDIR)$(SHAREDIR); done
|
|
|
|
|
for h in $(CHR_PROGRAMS); do $(INSTALL_DATA) $$h $(DESTDIR)$(SHAREDIR)/chr; done
|
|
|
|
|
for h in $(CHR_EXAMPLES); do $(INSTALL_DATA) $$h $(DESTDIR)$(SHAREDIR)/chr/examples; done
|
