2009-03-09 00:40:12 +00:00
|
|
|
#
|
|
|
|
# default base directory for YAP installation
|
|
|
|
#
|
|
|
|
ROOTDIR = @prefix@
|
|
|
|
#
|
|
|
|
# where the binary should be
|
|
|
|
#
|
|
|
|
BINDIR = $(ROOTDIR)/bin
|
|
|
|
#
|
|
|
|
# where YAP should look for binary libraries
|
|
|
|
#
|
2010-06-01 00:40:58 +01:00
|
|
|
LIBDIR=@libdir@
|
|
|
|
YAPLIBDIR=@libdir@/Yap
|
2009-03-09 00:40:12 +00:00
|
|
|
#
|
|
|
|
# where YAP should look for architecture-independent Prolog libraries
|
|
|
|
#
|
|
|
|
SHAREDIR=$(ROOTDIR)/share
|
2012-07-07 00:56:05 +01:00
|
|
|
DOCSDIR=$(SHAREDIR)/doc/Yap/packages/problog
|
|
|
|
EXDOCSDIR=$(SHAREDIR)/doc/Yap/packages/examples/problog
|
2009-03-09 00:40:12 +00:00
|
|
|
#
|
|
|
|
#
|
|
|
|
# You shouldn't need to change what follows.
|
|
|
|
#
|
|
|
|
INSTALL=@INSTALL@
|
|
|
|
INSTALL_DATA=@INSTALL_DATA@
|
|
|
|
INSTALL_PROGRAM=@INSTALL_PROGRAM@
|
|
|
|
srcdir=@srcdir@
|
|
|
|
YAP_EXTRAS=@YAP_EXTRAS@
|
2010-08-31 21:53:43 +01:00
|
|
|
PDFLATEX=pdflatex
|
|
|
|
BIBTEX=bibtex
|
2009-03-09 00:40:12 +00:00
|
|
|
|
|
|
|
PROGRAMS= \
|
|
|
|
$(srcdir)/problog.yap \
|
2012-04-27 15:26:44 +01:00
|
|
|
$(srcdir)/problog_lbdd.yap \
|
2011-06-26 23:13:43 +01:00
|
|
|
$(srcdir)/problog_lfi.yap \
|
2010-08-26 13:41:18 +01:00
|
|
|
$(srcdir)/dtproblog.yap \
|
2011-09-05 02:07:15 +01:00
|
|
|
$(srcdir)/aproblog.yap \
|
2012-04-27 15:26:44 +01:00
|
|
|
$(srcdir)/problog_learning.yap\
|
|
|
|
$(srcdir)/problog_learning_lbdd.yap
|
2009-03-09 00:40:12 +00:00
|
|
|
|
|
|
|
PROBLOG_PROGRAMS= \
|
2010-08-26 13:41:18 +01:00
|
|
|
$(srcdir)/problog/extlists.yap \
|
2009-03-09 00:40:12 +00:00
|
|
|
$(srcdir)/problog/flags.yap \
|
2010-08-26 13:41:18 +01:00
|
|
|
$(srcdir)/problog/gflags.yap \
|
2012-01-11 14:44:59 +00:00
|
|
|
$(srcdir)/problog/grounder.yap \
|
2010-08-26 13:41:18 +01:00
|
|
|
$(srcdir)/problog/hash_table.yap \
|
|
|
|
$(srcdir)/problog/intervals.yap \
|
|
|
|
$(srcdir)/problog/logger.yap \
|
|
|
|
$(srcdir)/problog/mc_DNF_sampling.yap \
|
|
|
|
$(srcdir)/problog/os.yap \
|
2009-03-09 00:40:12 +00:00
|
|
|
$(srcdir)/problog/print.yap \
|
2010-08-26 13:41:18 +01:00
|
|
|
$(srcdir)/problog/sampling.yap \
|
|
|
|
$(srcdir)/problog/tabling.yap \
|
|
|
|
$(srcdir)/problog/timer.yap \
|
2010-12-02 13:55:15 +00:00
|
|
|
$(srcdir)/problog/ptree.yap \
|
2010-08-26 13:41:18 +01:00
|
|
|
$(srcdir)/problog/variable_elimination.yap \
|
2010-09-24 15:26:54 +01:00
|
|
|
$(srcdir)/problog/print_learning.yap \
|
|
|
|
$(srcdir)/problog/utils_learning.yap \
|
2010-10-05 17:27:09 +01:00
|
|
|
$(srcdir)/problog/version_control.yap \
|
2010-11-03 18:24:37 +00:00
|
|
|
$(srcdir)/problog/nestedtries.yap \
|
2010-11-03 18:30:43 +00:00
|
|
|
$(srcdir)/problog/utils.yap \
|
2012-04-27 15:32:57 +01:00
|
|
|
$(srcdir)/problog/utils_lbdd.yap \
|
2010-12-02 13:48:28 +00:00
|
|
|
$(srcdir)/problog/ad_converter.yap \
|
2011-06-26 23:13:43 +01:00
|
|
|
$(srcdir)/problog/termhandling.yap \
|
|
|
|
$(srcdir)/problog/completion.yap \
|
|
|
|
$(srcdir)/problog/discrete.yap \
|
2011-09-05 02:07:15 +01:00
|
|
|
$(srcdir)/problog/bdd.yap \
|
2010-08-26 13:41:18 +01:00
|
|
|
$(srcdir)/problog/variables.yap
|
2009-03-09 00:40:12 +00:00
|
|
|
|
2010-08-26 13:41:18 +01:00
|
|
|
PROBLOG_EXAMPLES = \
|
2011-06-26 23:13:43 +01:00
|
|
|
$(srcdir)/problog_examples/alarm.pl \
|
2010-08-26 13:41:18 +01:00
|
|
|
$(srcdir)/problog_examples/graph.pl \
|
2010-09-01 16:40:53 +01:00
|
|
|
$(srcdir)/problog_examples/graph_tabled.pl \
|
2010-08-26 13:41:18 +01:00
|
|
|
$(srcdir)/problog_examples/learn_graph.pl \
|
|
|
|
$(srcdir)/problog_examples/office.pl \
|
|
|
|
$(srcdir)/problog_examples/viralmarketing.pl \
|
2011-09-05 02:07:15 +01:00
|
|
|
$(srcdir)/problog_examples/aProbLog_examples.pl \
|
2010-08-26 13:41:18 +01:00
|
|
|
$(srcdir)/problog_examples/viralmarketing_tabled.pl
|
2009-03-09 00:40:12 +00:00
|
|
|
|
2010-08-31 21:53:43 +01:00
|
|
|
MANUAL_NAME = problog
|
|
|
|
MANUAL = $(srcdir)/$(MANUAL_NAME)
|
2010-08-31 12:30:40 +01:00
|
|
|
|
2010-08-26 13:41:18 +01:00
|
|
|
install: $(PROGRAMS) $(PROBLOG_PROGRAMS) $(PROBLOG_EXAMPLES)
|
2009-03-09 00:40:12 +00:00
|
|
|
mkdir -p $(DESTDIR)$(SHAREDIR)/Yap
|
|
|
|
mkdir -p $(DESTDIR)$(SHAREDIR)/Yap/problog
|
2012-07-07 00:56:05 +01:00
|
|
|
mkdir -p $(DESTDIR)$(DOCSDIR)
|
|
|
|
mkdir -p $(DESTDIR)$(EXDOCSDIR)
|
2010-08-26 13:41:18 +01:00
|
|
|
for p in $(PROGRAMS); do $(INSTALL_DATA) $$p $(DESTDIR)$(SHAREDIR)/Yap; done
|
2009-03-09 00:40:12 +00:00
|
|
|
for p in $(PROBLOG_PROGRAMS); do $(INSTALL_DATA) $$p $(DESTDIR)$(SHAREDIR)/Yap/problog; done
|
2012-07-07 00:56:05 +01:00
|
|
|
$(INSTALL_DATA) $(srcdir)/LICENSE $(DESTDIR)$(DOCSDIR)
|
|
|
|
for p in $(PROBLOG_EXAMPLES); do $(INSTALL_DATA) $$p $(DESTDIR)$(EXDOCSDIR); done
|
2010-08-31 12:30:40 +01:00
|
|
|
|
|
|
|
pdf: $(MANUAL)
|
2010-08-31 21:53:43 +01:00
|
|
|
$(PDFLATEX) $(MANUAL)
|
|
|
|
#$(BIBTEX) $(MANUAL_NAME)
|
|
|
|
$(PDFLATEX) $(MANUAL)
|
|
|
|
|
|
|
|
install_docs: pdf
|
|
|
|
$(INSTALL_DATA) problog.pdf $(DESTDIR)$(DOCSDIR)
|