72 lines
1.8 KiB
Makefile
72 lines
1.8 KiB
Makefile
|
#
|
||
|
|
# default base directory for YAP installation
|
||
|
|
# (EROOT for architecture-dependent files)
|
||
|
|
#
|
||
|
|
prefix = @prefix@
|
||
|
|
ROOTDIR = $(prefix)
|
||
|
|
EROOTDIR = @exec_prefix@
|
||
|
|
|
||
|
|
SHELL=@SHELL@
|
||
|
|
PLBASE=@PLBASE@
|
||
|
|
PLARCH=@PLARCH@
|
||
|
|
PL=@PL@
|
||
|
|
XPCEBASE=$(PLBASE)/xpce
|
||
|
|
PKGDOC=$(PLBASE)/doc/packages
|
||
|
|
PCEHOME=../../xpce
|
||
|
|
LIBDIR=$(PLBASE)/library
|
||
|
|
SHAREDIR=$(ROOTDIR)/share/Yap
|
||
|
|
CLPRDIR=$(SHAREDIR)/clpr
|
||
|
|
EXDIR=$(PKGDOC)/examples/clpr
|
||
|
|
DESTDIR=
|
||
|
|
srcdir=@srcdir@
|
||
|
|
CLPRSOURCEDIR=$(srcdir)/clpr
|
||
|
|
|
||
|
|
INSTALL=@INSTALL@
|
||
|
|
INSTALL_PROGRAM=@INSTALL_PROGRAM@
|
||
|
|
INSTALL_DATA=@INSTALL_DATA@
|
||
|
|
|
||
|
|
CLPRPRIV= $(CLPRSOURCEDIR)/arith_r.pl $(CLPRSOURCEDIR)/bb.pl $(CLPRSOURCEDIR)/bv.pl $(CLPRSOURCEDIR)/class.pl $(CLPRSOURCEDIR)/dump.pl $(CLPRSOURCEDIR)/fourmotz.pl \
|
||
|
|
$(CLPRSOURCEDIR)/geler.pl $(CLPRSOURCEDIR)/ineq.pl $(CLPRSOURCEDIR)/itf3.pl $(CLPRSOURCEDIR)/nf.pl $(CLPRSOURCEDIR)/nfr.pl $(CLPRSOURCEDIR)/ordering.pl \
|
||
|
|
$(CLPRSOURCEDIR)/project.pl $(CLPRSOURCEDIR)/redund.pl $(CLPRSOURCEDIR)/store.pl $(CLPRSOURCEDIR)/ugraphs.pl
|
||
|
|
LIBPL= $(srcdir)/clpr.yap $(srcdir)/clpr.pl
|
||
|
|
EXAMPLES=
|
||
|
|
|
||
|
|
all::
|
||
|
|
@echo "Nothing to be done for this package"
|
||
|
|
|
||
|
|
install: $(LIBPL)
|
||
|
|
mkdir -p $(DESTDIR)$(CLPRDIR)
|
||
|
|
$(INSTALL_DATA) $(LIBPL) $(DESTDIR)$(SHAREDIR)
|
||
|
|
$(INSTALL_DATA) $(CLPRPRIV) $(DESTDIR)$(CLPRDIR)
|
||
|
|
$(INSTALL_DATA) $(srcdir)/README $(DESTDIR)$(CLPRDIR)
|
||
|
|
|
||
|
|
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)
|
||
|
|
|
||
|
|
check::
|
||
|
|
# $(PL) -q -f clpr_test.pl -g test,halt -t 'halt(1)'
|
||
|
|
|
||
|
|
|
||
|
|
################################################################
|
||
|
|
# Clean
|
||
|
|
################################################################
|
||
|
|
|
||
|
|
clean:
|
||
|
|
rm -f *~ *% config.log
|
||
|
|
|
||
|
|
distclean: clean
|
||
|
|
rm -f config.h config.cache config.status Makefile
|
||
|
|
rm -rf autom4te.cache
|
||
|
|
|