Switch source package format to 3.0 (quilt)
Stephane Glondu
13 years ago
| 24 | 24 |
Patch system
|
| 25 | 25 |
------------
|
| 26 | 26 |
|
| 27 | |
This source package uses quilt to apply and remove its patches. Please
|
| 28 | |
refer to `/usr/share/doc/quilt/README.source' for information about
|
| 29 | |
how to use quilt for source packages.
|
|
27 |
This source package is in format 3.0 (quilt).
|
| 30 | 28 |
|
| 31 | |
The quilt series is generated from the Git repository, using
|
|
29 |
The quilt series, if any, is generated from the Git repository, using
|
| 32 | 30 |
dom-{apply,save}-patches, from the dh-ocaml (>= 0.5) package. Please
|
| 33 | 31 |
refer to the appendix about Git in the Debian OCaml Packaging Policy
|
| 34 | 32 |
(from the same package).
|
|
| 54 | 52 |
from there instead of really compiling Coq...
|
| 55 | 53 |
|
| 56 | 54 |
|
| 57 | |
-- Stéphane Glondu <glondu@debian.org>, Sat, 29 Aug 2009 16:49:52 +0200
|
|
55 |
-- Stéphane Glondu <glondu@debian.org>, Mon, 31 May 2010 15:30:50 +0200
|
| 10 | 10 |
Standards-Version: 3.8.4
|
| 11 | 11 |
Build-Depends:
|
| 12 | 12 |
debhelper (>= 7),
|
| 13 | |
quilt (>= 0.46-7~),
|
| 14 | 13 |
dh-ocaml (>= 0.9~),
|
| 15 | 14 |
ocaml-nox (>= 3.11.1-3~),
|
| 16 | 15 |
ocaml-best-compilers,
|
| 0 | 0 |
[DEFAULT]
|
| 1 | 1 |
pristine-tar = True
|
|
2 |
cleaner = debuild clean && dh_quilt_unpatch && dh_clean
|
| 34 | 34 |
-e 's%@CoqVersion@%$(COQ_VERSION)%' \
|
| 35 | 35 |
-e 's%@CoqABI@%$(COQ_ABI)%'
|
| 36 | 36 |
|
| 37 | |
DH := dh --with quilt,ocaml
|
|
37 |
DH := dh --with ocaml
|
| 38 | 38 |
|
| 39 | 39 |
configure: configure-stamp
|
| 40 | 40 |
configure-stamp:
|