1 ################################################################
2 # Install CHR stuff for the MS-Windows built
3 # Author: Jan Wielemaker
6 # nmake /f Makefile.mak
7 # nmake /f Makefile.mak install
8 ################################################################
11 !include $(PLHOME
)\src
\rules.mk
12 LIBDIR
=$(PLBASE
)\library
13 EXDIR
=$(PKGDOC
)\examples\chr
15 PL
="$(PLHOME)\bin\plcon.exe"
17 LIBPL
= chr_runtime.pl chr_op.pl chr_translate.pl chr_debug.pl \
18 chr_messages.pl hprolog.pl pairlist.pl clean_code.pl \
19 find.pl a_star.pl binomialheap.pl builtins.pl \
20 chr_hashtable_store.pl listmap.pl guard_entailment.pl \
21 chr_compiler_options.pl chr_compiler_utility.pl
23 EXAMPLES
= chrfreeze.chr fib.chr gcd.chr primes.chr \
24 bool.chr family.chr fibonacci.chr leq.chr listdom.chr \
29 chr_translate_bootstrap1.pl
: chr_translate_bootstrap1.chr
30 $(PL
) -q
-f chr_swi_bootstrap.pl \
31 -g
"chr_compile_step1('chr_translate_bootstrap1.chr','chr_translate_bootstrap1.pl'),halt" \
33 $(PL
) -q
-f chr_swi_bootstrap.pl \
34 -g
"chr_compile_step2('chr_translate_bootstrap1.chr','chr_translate_bootstrap1.pl'),halt" \
37 chr_translate_bootstrap2.pl
: chr_translate_bootstrap2.chr chr_translate_bootstrap1.pl
38 $(PL
) -q
-f chr_swi_bootstrap.pl \
39 -g
"chr_compile_step2('chr_translate_bootstrap2.chr','chr_translate_bootstrap2.pl'),halt" \
41 $(PL
) -q
-f chr_swi_bootstrap.pl \
42 -g
"chr_compile_step3('chr_translate_bootstrap2.chr','chr_translate_bootstrap2.pl'),halt" \
45 guard_entailment.pl
: guard_entailment.chr chr_translate_bootstrap2.pl
46 $(PL
) -q
-f chr_swi_bootstrap.pl \
47 -g
"chr_compile_step3('guard_entailment.chr','guard_entailment.pl'),halt" \
50 chr_translate.pl
: chr_translate.chr chr_translate_bootstrap2.pl guard_entailment.pl
51 $(PL
) -q
-f chr_swi_bootstrap.pl \
52 -g
"chr_compile_step3('chr_translate.chr','chr_translate.pl'),halt" \
54 $(PL
) -p chr
=.
-q
-f chr_swi_bootstrap.pl \
55 -g
"chr_compile_step4('guard_entailment.chr','guard_entailment.pl'),halt" \
57 $(PL
) -L10M
-p chr
=.
-q
-f chr_swi_bootstrap.pl \
58 -g
"chr_compile_step4('chr_translate.chr','chr_translate.pl'),halt" \
62 copy chr_swi.pl chr.pl
65 $(PL
) -q
-f chr_test.pl
-g
test,halt
-t
'halt(1)'
72 @if not exist
"$(CHR)\$(NULL)" $(MKDIR
) "$(CHR)"
73 @for
%f in
($(LIBPL
)) do \
75 copy
$(CHRPL
) "$(LIBDIR)\chr.pl"
76 copy README
"$(CHR)\README.TXT"
80 html-install
: install-examples
81 pdf-install
: install-examples
84 if not exist
"$(EXDIR)/$(NULL)" $(MKDIR
) "$(EXDIR)"
85 cd examples
& @for
%f in
($(EXAMPLES
)) do @copy
%f
"$(EXDIR)"
90 @for
%f in
($(LIBPL
)) do \
92 del
"$(CHR)\README.TXT"
93 del
"$(LIBDIR)\chr.pl"
98 -del chr.pl chr_translate.pl
99 -del chr_translate_bootstrap1.pl chr_translate_bootstrap2.pl
100 -del guard_entailment.pl