* DESTDIR
[chr.git] / Makefile.in
blob5b07a056d8d4ed771aed5af8797e978297d6b9bf
1 ################################################################
2 # SWI-Prolog CHR package
3 # Author: Jan Wielemaker. jan@swi.psy.uva.nl
4 # Copyright: LGPL (see COPYING or www.gnu.org
5 ################################################################
7 .SUFFIXES: .tex .dvi .doc .pl
9 SHELL=@SHELL@
10 PLBASE=@PLBASE@
11 PLARCH=@PLARCH@
12 PL=@PL@
13 XPCEBASE=$(PLBASE)/xpce
14 PKGDOC=$(PLBASE)/doc/packages
15 PCEHOME=../../xpce
16 LIBDIR=$(PLBASE)/library
17 CHRDIR=$(LIBDIR)/chr
18 EXDIR=$(PKGDOC)/examples/chr
19 DESTDIR=
21 DOCTOTEX=$(PCEHOME)/bin/doc2tex
22 PLTOTEX=$(PCEHOME)/bin/pl2tex
23 LATEX=latex
24 DOC=chr
25 TEX=$(DOC).tex
26 DVI=$(DOC).dvi
27 PDF=$(DOC).pdf
28 HTML=$(DOC).html
30 INSTALL=@INSTALL@
31 INSTALL_PROGRAM=@INSTALL_PROGRAM@
32 INSTALL_DATA=@INSTALL_DATA@
34 LIBPL= chr_runtime.pl chr_op.pl chr_translate.pl chr_debug.pl \
35 chr_messages.pl hprolog.pl pairlist.pl clean_code.pl \
36 find.pl a_star.pl binomialheap.pl builtins.pl \
37 chr_hashtable_store.pl
38 CHRPL= chr_swi.pl
39 EXAMPLES= chrfreeze.chr fib.chr gcd.chr primes.chr \
40 bool.chr family.chr fibonacci.chr leq.chr listdom.chr \
41 chrdif.chr
43 all: chr_translate.pl
45 chr_translate_bootstrap1.pl: chr_translate_bootstrap1.chr
46 $(PL) -q -f chr_swi_bootstrap.pl \
47 -g "chr_compile_step1('$<','$@'),halt" \
48 -t 'halt(1)'
49 $(PL) -q -f chr_swi_bootstrap.pl \
50 -g "chr_compile_step2('$<','$@'),halt" \
51 -t 'halt(1)'
53 chr_translate.pl: chr_translate.chr chr_translate_bootstrap1.pl
54 $(PL) -q -f chr_swi_bootstrap.pl \
55 -g "chr_compile_step2('$<','$@'),halt" \
56 -t 'halt(1)'
57 $(PL) -q -f chr_swi_bootstrap.pl \
58 -g "chr_compile_step3('$<','$@'),halt" \
59 -t 'halt(1)'
61 chr.pl: chr_swi.pl
62 cp $< $@
64 install: $(LIBPL)
65 mkdir -p $(DESTDIR)/$(CHRDIR)
66 $(INSTALL) -m 644 $(LIBPL) $(DESTDIR)/$(CHRDIR)
67 $(INSTALL) -m 644 $(CHRPL) $(DESTDIR)/$(LIBDIR)/chr.pl
68 $(INSTALL) -m 644 README $(DESTDIR)/$(CHRDIR)
69 $(PL) -f none -g make -t halt
71 rpm-install: install
73 pdf-install: install-examples
75 html-install: install-examples
77 install-examples::
78 mkdir -p $(DESTDIR)/$(EXDIR)
79 (cd Examples && $(INSTALL_DATA) $(EXAMPLES) $(DESTDIR)/$(EXDIR))
81 uninstall:
82 (cd $(PLBASE)/library && rm -f $(LIBPL))
83 $(PL) -f none -g make -t halt
85 check: chr.pl
86 $(PL) -q -f chr_test.pl -g test,halt -t 'halt(1)'
89 ################################################################
90 # Documentation
91 ################################################################
93 doc: $(PDF) $(HTML)
94 pdf: $(PDF)
95 html: $(HTML)
97 $(HTML): $(TEX)
98 latex2html $(DOC)
99 mv html/index.html $@
101 $(PDF): $(TEX)
102 runtex --pdf $(DOC)
104 $(TEX): $(DOCTOTEX)
106 .doc.tex:
107 $(DOCTOTEX) $*.doc > $*.tex
108 .pl.tex:
109 $(PLTOTEX) $*.pl > $*.tex
111 ################################################################
112 # Clean
113 ################################################################
115 clean:
116 rm -f *~ *% config.log
117 rm -f chr.pl chr_translate.pl chr_translate_bootstrap1.pl
119 distclean: clean
120 rm -f $(TARGETS) config.h config.cache config.status Makefile
121 rm -f $(TEX)
122 runtex --clean $(DOC)