summaryrefslogtreecommitdiff
path: root/debian/rules
blob: beb3d42ce84f08a777adaa552194e4a0f3410d5f (plain)
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
85
86
87
88
89
90
91
92
93
94
95
96
#!/usr/bin/make -f
# debian/rules for coq

COQPREF=$(CURDIR)/debian/tmp
ADDPREF=COQINSTALLPREFIX=$(COQPREF)

MAKEQ=$(MAKE) -q

CONFIGUREOPTS=--prefix /usr --mandir /usr/share/man \
	--emacslib /usr/share/emacs/site-lisp/coq --reals all

configure: configure-stamp
configure-stamp: patch
	dh_testdir
	if [ -e /usr/bin/ocamlc.opt ]; \
	then \
		./configure -opt $(CONFIGUREOPTS); \
	else \
		./configure $(CONFIGUREOPTS); \
	fi
	if [ `arch` = ppc ] ; then ./configure $(CONFIGUREOPTS) ; fi
	touch configure-stamp

build: configure-stamp build-stamp
build-stamp:
	dh_testdir
	if grep -q BEST=opt config/Makefile; \
	then ($(MAKEQ) bin/coqmktop bin/coqc bin/coqtop.byte \
	      && $(MAKEQ) bin/coqmktop bin/coqc bin/coqtop.byte \
	      && $(MAKEQ) bin/coqtop.opt bin/coqtop \
	      && $(MAKEQ) states \
	      && $(MAKEQ) world ) \
         ||  (echo WARNING: NATIVE CODE COMPILATION FAILED \
	    && echo Trying to build coq in bytecode \
	    && $(MAKE) archclean clean \
	    && $(MAKE) BEST=byte world \
	    && echo NATIVE CODE COMPILATION FAILED \
	    && echo Coq was built in bytecode instead); \
	else $(MAKE) world; \
	fi
	$(MAKE) world
	touch test-suite/success/debian.v8
	$(MAKE) check
	touch build-stamp

clean:
	dh_testdir
	dh_testroot
	rm -f build-stamp configure-stamp

	-$(MAKE) clean
	-$(MAKE) archclean
	rm -f bin/parser.opt
	rm -f tools/coqdoc/*.cm[oi]
	rm -f config/coq_config.ml config/Makefile test-suite/check.log

	dh_clean

install: build
	dh_testdir
	dh_testroot
	dh_clean -k
	dh_installdirs

	$(MAKE) $(ADDPREF) install || $(MAKE) BEST=byte $(ADDPREF) install

	for i in $(COQPREF)/usr/bin/*.opt; do strip -R .note -R .comment $$i; done
	cp debian/coq.xpm debian/coq/usr/share/pixmaps/coq.xpm
	cp debian/coq.desktop debian/coqide/usr/share/applnk/Development

	dh_install --sourcedir=$(COQPREF)

	cp debian/coq/usr/share/man/man1/coq-interface.1 debian/coq/usr/share/man/man1/coq-interface.opt.1
	cp debian/coqide.1 debian/coqide/usr/share/man/man1/coqide.1
	cp debian/coqide.1 debian/coqide/usr/share/man/man1/coqide.byte.1
	cp debian/coqide.1 debian/coqide/usr/share/man/man1/coqide.opt.1

binary-indep: build install

binary-arch: build install
	dh_testdir
	dh_testroot
	dh_installdocs
	dh_installemacsen
	dh_installchangelogs CHANGES
	dh_link
	dh_compress
	dh_fixperms
	dh_installdeb
	dh_shlibdeps
	dh_gencontrol
	dh_md5sums
	dh_builddeb

binary: binary-indep binary-arch
.PHONY: build clean binary-indep binary-arch binary install configure patch unpatch