Makefile.in

   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 ################################################################
   6
   7 .SUFFIXES: .tex .dvi .doc .pl
   8
   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=
  20
  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
  29
  30 INSTALL=@INSTALL@
  31 INSTALL_PROGRAM=@INSTALL_PROGRAM@
  32 INSTALL_DATA=@INSTALL_DATA@
  33
  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 listmap.pl guard_entailment.pl \
  38                 chr_compiler_options.pl chr_compiler_utility.pl
  39 CHRPL=          chr_swi.pl
  40 EXAMPLES=       chrfreeze.chr fib.chr gcd.chr primes.chr \
  41                 bool.chr family.chr fibonacci.chr leq.chr listdom.chr \
  42                 chrdif.chr
  43
  44 all:            chr_translate.pl
  45
  46 chr_translate_bootstrap1.pl: chr_translate_bootstrap1.chr
  47                 $(PL) -q -f chr_swi_bootstrap.pl \
  48                       -g "chr_compile_step1('$<','$@'),halt" \
  49                       -t 'halt(1)'
  50                 $(PL) -q -f chr_swi_bootstrap.pl \
  51                       -g "chr_compile_step2('$<','$@'),halt" \
  52                       -t 'halt(1)'
  53
  54 chr_translate_bootstrap2.pl: chr_translate_bootstrap2.chr chr_translate_bootstrap1.pl
  55                 $(PL) -q -f chr_swi_bootstrap.pl \
  56                       -g "chr_compile_step2('$<','$@'),halt" \
  57                       -t 'halt(1)'
  58                 $(PL) -q -f chr_swi_bootstrap.pl \
  59                       -g "chr_compile_step3('$<','$@'),halt" \
  60                       -t 'halt(1)'
  61
  62 guard_entailment.pl: guard_entailment.chr chr_translate_bootstrap2.pl
  63                 $(PL) -q -f chr_swi_bootstrap.pl \
  64                       -g "chr_compile_step3('$<','$@'),halt" \
  65                       -t 'halt(1)'
  66
  67 chr_translate.pl: chr_translate.chr chr_translate_bootstrap2.pl guard_entailment.pl
  68                 $(PL) -q -f chr_swi_bootstrap.pl \
  69                       -g "chr_compile_step3('$<','$@'),halt" \
  70                       -t 'halt(1)'
  71                 $(PL) -p chr=. -q -f chr_swi_bootstrap.pl \
  72                       -g "chr_compile_step4('guard_entailment.chr','guard_entailment.pl'),halt" \
  73                       -t 'halt(1)'
  74                 $(PL) -L10M -p chr=. -q -f chr_swi_bootstrap.pl \
  75                       -g "chr_compile_step4('$<','$@'),halt" \
  76                       -t 'halt(1)'
  77
  78 chr.pl:         chr_swi.pl
  79                 cp $< $@
  80
  81 install:        $(LIBPL)
  82                 mkdir -p $(DESTDIR)$(CHRDIR)
  83                 $(INSTALL) -m 644 $(LIBPL) $(DESTDIR)$(CHRDIR)
  84                 $(INSTALL) -m 644 $(CHRPL) $(DESTDIR)$(LIBDIR)/chr.pl
  85                 $(INSTALL) -m 644 README   $(DESTDIR)$(CHRDIR)
  86                 $(PL) -f none -g make -t halt
  87
  88 rpm-install:    install
  89
  90 pdf-install:    install-examples
  91
  92 html-install:   install-examples
  93
  94 install-examples::
  95                 mkdir -p $(DESTDIR)$(EXDIR)
  96                 (cd Examples && $(INSTALL_DATA) $(EXAMPLES) $(DESTDIR)$(EXDIR))
  97
  98 uninstall:
  99                 (cd $(PLBASE)/library && rm -f $(LIBPL))
 100                 $(PL) -f none -g make -t halt
 101
 102 check:          chr.pl
 103                 $(PL) -q -f chr_test.pl -g test,halt -t 'halt(1)'
 104
 105
 106 ################################################################
 107 # Documentation
 108 ################################################################
 109
 110 doc:            $(PDF) $(HTML)
 111 pdf:            $(PDF)
 112 html:           $(HTML)
 113
 114 $(HTML):        $(TEX)
 115                 latex2html $(DOC)
 116                 mv html/index.html $@
 117
 118 $(PDF):         $(TEX)
 119                 runtex --pdf $(DOC)
 120
 121 $(TEX):         $(DOCTOTEX)
 122
 123 .doc.tex:
 124                 $(DOCTOTEX) $*.doc > $*.tex
 125 .pl.tex:
 126                 $(PLTOTEX) $*.pl > $*.tex
 127
 128 ################################################################
 129 # Clean
 130 ################################################################
 131
 132 clean:
 133                 rm -f *~ *% config.log
 134                 rm -f chr.pl chr_translate.pl
 135                 rm -f chr_translate_bootstrap1.pl chr_translate_bootstrap2.pl
 136                 rm -f guard_entailment.pl
 137
 138 distclean:      clean
 139                 rm -f $(TARGETS) config.h config.cache config.status Makefile
 140                 rm -f $(TEX)
 141                 runtex --clean $(DOC)