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
|
#!/usr/bin/make -f
include /usr/share/ocaml/ocamlvars.mk
%:
dh $@ --with coq,ocaml
override_dh_auto_clean:
make clean
rm -f Makefile.coq Makefile.coq.conf .lia.cache .nia.cache
rm -f config.status configure
rm -f gencertif/Makefile gencertif/config.* gencertif/configure
rm -f gencertif/o2v gencertif/pocklington gencertif/firstprimes
rm -f src/Coqprime/num/Int63Compat.v
find . -name "*.aux" -delete
find . -name "*.cm*" -delete
find . -name "*.o" -delete
override_dh_auto_build:
make
cd gencertif ; autoreconf ; ./configure --prefix=/usr ; make
override_dh_auto_install:
DESTDIR=$(CURDIR)/debian/tmp make install
rm -rf $(CURDIR)/debian/tmp$(OCAML_STDLIB_DIR)/coq/user-contrib/Coqprime/examples
mkdir -p $(CURDIR)/debian/tmp/usr/bin
cp gencertif/firstprimes gencertif/o2v gencertif/pocklington $(CURDIR)/debian/tmp/usr/bin
|
