1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
|
#!/usr/bin/make -f
package=swi-prolog
configure-options= --prefix=/usr --mandir=/usr/share/man
build: configured
$(checkdir)
# make headers && make pl-rec.o CFLAGS='-g -Wall -D_REENTRANT'
make CFLAGS='-O2 -g -Wall -D_REENTRANT'
cd man && make clean && make dvi && dvips -o MANUAL.ps -D 600 doc.dvi
cd html && make latex2html PL=../src/swiprolog LIBDIR=../html
cd html && make tex.so
cd man && make html
touch build
configured:
./configure $(configure-options)
touch configured
clean: configured
$(checkdir)
-rm -f build configured
set -e; if [ -f Makefile ]; then make distclean; fi
# set -e; cd src; if [ -f Makefile ]; then make distclean; fi
# cd man && make distclean
# cd html && make clean
# cd src/rc && make distclean
-rm -f src/README.bin src/parms.h src/config.h src/config.cache src/config.log src/config.status src/swipl src/swiplbin src/pl src/pl-bite src/chpl src/pl.qlf src/pl.prc src/rc/librc.a src/rc/plrc runtime/i486-linux/libpl.a include/SWI-Exports include/SWI-Prolog.h include/stub.c include/SWI-Stream.h library/INDEX.pl man/MANUAL.*
rm -rf runtime
rm -rf man/Manual
dh_clean
binary-indep: checkroot build
$(checkdir)
-rm -rf debian/tmp
binary-arch: checkroot build
$(checkdir)
-rm -rf debian/tmp
install -d debian/tmp
cd debian/tmp && install -d `cat ../dirs`
make install prefix=../debian/tmp/usr mandir=../debian/tmp/usr/share/man/man1
rmdir debian/tmp/usr/man
dh_installdocs README PORTING man/MANUAL.ps
dh_installchangelogs ChangeLog
dh_compress
install -m 644 man/Manual/* debian/tmp/usr/share/doc/$(package)/html/
set -e; cd debian/tmp/usr/share/doc/$(package)/html; \
for f in *.gif; do convert $$f png:$${f%gif}png; rm $$f; done
set -e; cd debian/tmp/usr/share/doc/$(package)/html; \
for f in *.html; do sed 's/\.gif"/.png"/' $$f >tmp; \
mv tmp $$f; done
install -m 644 debian/dhelp debian/tmp/usr/share/doc/$(package)/.dhelp
install -m 644 debian/dwww-index \
debian/tmp/usr/share/doc/$(package)/.dwww-index
dh_strip #-Xswiprolog
dh_installdeb
dh_shlibdeps
dh_md5sums
dpkg-gencontrol -isp
chown -R root.root debian/tmp
chmod -R go=rX debian/tmp
dpkg --build debian/tmp ..
define checkdir
test -f debian/rules
endef
# Below here is fairly generic really
binary: binary-indep binary-arch
source diff:
@echo >&2 'source and diff are obsolete - use dpkg-source -b'; false
checkroot:
$(checkdir)
test root = "`whoami`"
.PHONY: binary binary-arch binary-indep clean checkroot
#Local variables:
#mode: makefile
#End:
|
