Update packaging
Stephane Glondu
4 years ago
| 3 | 3 |
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
|
| 4 | 4 |
Uploaders:
|
| 5 | 5 |
Stéphane Glondu <glondu@debian.org>
|
| 6 | |
Build-Depends: debhelper (>= 9), coq (>= 8.4)
|
| 7 | |
Standards-Version: 3.9.5
|
|
6 |
Build-Depends: debhelper-compat (= 12), coq (>= 8.9)
|
|
7 |
Standards-Version: 4.5.0
|
|
8 |
Rules-Requires-Root: no
|
| 8 | 9 |
Homepage: https://github.com/coq-contribs/float
|
| 9 | 10 |
Vcs-Browser: https://salsa.debian.org/ocaml-team/coq-float
|
| 10 | 11 |
Vcs-Git: https://salsa.debian.org/ocaml-team/coq-float.git
|
| 0 | |
Format: http://www.debian.org/doc/packaging-manuals/copyright-format/1.0/
|
|
0 |
Format: https://www.debian.org/doc/packaging-manuals/copyright-format/1.0/
|
| 1 | 1 |
Packaged-By: Samuel Mimram <smimram@debian.org>
|
| 2 | 2 |
Packaged-Date: Fri, 10 Aug 2007 14:48:56 +0000
|
| 3 | 3 |
Upstream-Contact:
|
|
| 5 | 5 |
Sylvie Boldo <Sylvie.Boldo@ens-lyon.fr>,
|
| 6 | 6 |
Laurence Rideau <lrg@sophia.inria.fr>,
|
| 7 | 7 |
Laurent Fousse
|
| 8 | |
Source: http://lipforge.ens-lyon.fr/www/pff/
|
| 9 | 8 |
|
| 10 | 9 |
Files: *
|
| 11 | 10 |
Copyright: 2001-2002, Sylvie Boldo
|
| 0 | |
*.vo /usr/lib/coq/user-contrib/Float
|
| 1 | |
*/*.vo /usr/lib/coq/user-contrib/Float
|
| 2 | |
html /usr/share/doc/libfloat-coq
|
| 3 | 3 |
# Uncomment this to turn on verbose mode.
|
| 4 | 4 |
#export DH_VERBOSE=1
|
| 5 | 5 |
|
| 6 | |
# Build cache (for accelerating Debian debugging)
|
| 7 | |
BUILDCACHE := $(wildcard ../coq-float.cache)
|
| 8 | |
|
| 9 | 6 |
include /usr/share/coq/coqvars.mk
|
| 10 | |
|
| 11 | |
INCDIRS := -R . Float
|
| 12 | |
|
| 13 | |
FILES_TO_BACKUP := Makefile
|
| 14 | 7 |
|
| 15 | 8 |
%:
|
| 16 | 9 |
dh $@
|
| 17 | 10 |
|
| 18 | |
.PHONY: override_dh_auto_configure
|
| 19 | |
override_dh_auto_configure:
|
| 20 | |
for u in $(FILES_TO_BACKUP); do \
|
| 21 | |
if [ ! -f "$$u.backup" ]; then cp "$$u" "$$u.backup"; fi \
|
| 22 | |
done
|
| 23 | |
coq_makefile $(INCDIRS) $(shell find . -name .pc -prune -or -name \*.v -print ) > Makefile
|
|
11 |
override_dh_auto_clean:
|
|
12 |
dh_auto_clean
|
|
13 |
rm -f Makefile.coq.conf .*.aux
|
| 24 | 14 |
|
| 25 | |
.PHONY: override_dh_auto_build
|
| 26 | 15 |
override_dh_auto_build:
|
| 27 | |
ifeq ($(BUILDCACHE),)
|
| 28 | |
$(MAKE) depend
|
| 29 | 16 |
$(MAKE) all
|
| 30 | 17 |
$(MAKE) html
|
| 31 | |
else
|
| 32 | |
@echo "===> Build cache detected, skipping compilation <==="
|
| 33 | |
rsync -a --exclude=debian --exclude=.git $(BUILDCACHE)/ .
|
| 34 | |
endif
|
| 35 | 18 |
|
| 36 | |
.PHONY: override_dh_auto_install
|
| 37 | |
override_dh_auto_install:
|
| 38 | |
|
| 39 | |
.PHONY: override_dh_clean
|
| 40 | |
override_dh_clean:
|
| 41 | |
dh_clean
|
| 42 | |
for u in $(FILES_TO_BACKUP); do \
|
| 43 | |
if [ -f "$$u.backup" ]; then mv "$$u.backup" "$$u"; fi \
|
| 44 | |
done
|
| 45 | |
|
| 46 | |
.PHONY: override_dh_gencontrol
|
| 47 | 19 |
override_dh_gencontrol:
|
| 48 | 20 |
dh_gencontrol -- -VF:CoqABI="$(COQ_ABI)"
|