File: rules

package info (click to toggle)
matita 0.99.3-1
  • links: PTS, VCS
  • area: main
  • in suites: sid, stretch
  • size: 9,580 kB
  • ctags: 5,761
  • sloc: ml: 46,829; xml: 6,414; makefile: 1,223; ansic: 605; sh: 89; perl: 36; awk: 15; haskell: 6; sed: 4
file content (44 lines) | stat: -rwxr-xr-x 1,750 bytes parent folder | download | duplicates (2)
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
#!/usr/bin/make -f

%:
	dh $@

override_dh_auto_configure:
	autoconf
	./configure --with-runtime-dir=/usr/share/matita \
    		--prefix=/usr/ \
    		--with-dbhost=FAKE_HOST

override_dh_auto_clean:
	dh_auto_clean || true
	rm -f Makefile.defs components/extlib/componentsConf.ml config.log config.status configure matita/.depend.opt matita/help/C/version.txt matita/matita.conf.xml matita/matita.glade.utf8

override_dh_auto_install:
	dh_auto_install --destdir=debian/tmp
	cp matita/matita.byte debian/matita/usr/bin/ || true
	cp matita/matitac.byte debian/matita/usr/bin/ || true
	cp matita/matita.opt debian/matita/usr/bin/ || true
	cp matita/matitac.opt debian/matita/usr/bin/ || true
	mkdir -p debian/tmp/usr/share/man/man1/
	MATITA_RT_BASE_DIR=debian/tmp/usr/share/matita/ \
	help2man --name="Matita interative theorem prover - batch compiler" -N \
 		debian/tmp/usr/share/matita/matitac \
 		| gzip -9 > debian/tmp/usr/share/man/man1/matitac.1.gz
	MATITA_RT_BASE_DIR=debian/tmp/usr/share/matita/ \
 	help2man --name="Matita interative theorem prover - cleanup tool" -N \
 		debian/tmp/usr/share/matita/matitaclean \
 		| gzip -9 > debian/tmp/usr/share/man/man1/matitaclean.1.gz
	if [ -e  debian/tmp/usr/share/matita/matitac.opt ]; then\
 		ln -s /usr/share/man/man1/matitac.1.gz \
 			debian/tmp/usr/share/man/man1/matitac.opt.1.gz;\
 	fi
	# install .opt .byte (symlinks are installed with .install
	mkdir -p debian/matita/usr/bin/
	# make depend on the interpreter if needed
	if [ ! -e matita/matitac.opt ]; then \
	        echo "interpreter:Depends=ocaml-base-nox-$(shell ocamlc -version)" \
 	                >> debian/matita.substvars; \
 	else \
 	        echo "interpreter:Depends=" \
 	                >> debian/matita.substvars; \
 	fi