Package: coq / 8.12.0-3

Metadata

Package Version Patches format
coq 8.12.0-3 3.0 (quilt)

Patch series

view the series file
Patch File delta Description
install coqide bytecode | (download)

Makefile.ide | 4 3 + 1 - 0 !
1 file changed, 3 insertions(+), 1 deletion(-)

 fix installation of coqide on bytecode architectures

remove heavy tests.patch | (download)

test-suite/bugs/closed/bug_4544.v | 1010 0 + 1010 - 0 !
test-suite/success/Nia.v | 919 0 + 919 - 0 !
test-suite/success/Nsatz.v | 2 2 + 0 - 0 !
3 files changed, 2 insertions(+), 1929 deletions(-)

 remove heavyweight tests
 Remove tests that use too much RAM or time to run on a buildd. (The MIPS
 buildd is frequently the culprit, as MIPS lacks an OCaml native
 compiler.)
remove tests that need coqlib.patch | (download)

test-suite/coq-makefile/arg/run.sh | 7 0 + 7 - 0 !
test-suite/coq-makefile/compat-subdirs/run.sh | 8 0 + 8 - 0 !
test-suite/coq-makefile/coqdoc1/run.sh | 59 0 + 59 - 0 !
test-suite/coq-makefile/coqdoc2/run.sh | 57 0 + 57 - 0 !
test-suite/coq-makefile/emptyprefix/run.sh | 17 0 + 17 - 0 !
test-suite/coq-makefile/extend-subdirs/run.sh | 8 0 + 8 - 0 !
test-suite/coq-makefile/findlib-package/run.sh | 19 0 + 19 - 0 !
test-suite/coq-makefile/latex1/run.sh | 13 0 + 13 - 0 !
test-suite/coq-makefile/merlin1/run.sh | 13 0 + 13 - 0 !
test-suite/coq-makefile/mlpack1/run.sh | 23 0 + 23 - 0 !
test-suite/coq-makefile/mlpack2/run.sh | 23 0 + 23 - 0 !
test-suite/coq-makefile/multiroot/run.sh | 61 0 + 61 - 0 !
test-suite/coq-makefile/only/run.sh | 10 0 + 10 - 0 !
test-suite/coq-makefile/plugin1/run.sh | 26 0 + 26 - 0 !
test-suite/coq-makefile/plugin2/run.sh | 26 0 + 26 - 0 !
test-suite/coq-makefile/plugin3/run.sh | 26 0 + 26 - 0 !
test-suite/coq-makefile/quick2vo/run.sh | 12 0 + 12 - 0 !
test-suite/coq-makefile/timing/run.sh | 106 0 + 106 - 0 !
test-suite/coq-makefile/uninstall1/run.sh | 23 0 + 23 - 0 !
test-suite/coq-makefile/uninstall2/run.sh | 23 0 + 23 - 0 !
test-suite/coq-makefile/validate1/run.sh | 8 0 + 8 - 0 !
test-suite/coq-makefile/vio2vo/run.sh | 13 0 + 13 - 0 !
test-suite/misc/printers.sh | 20 0 + 20 - 0 !
23 files changed, 601 deletions(-)

 disable tests which require -coqlib to be set

avoid usr bin env.patch | (download)

dev/tools/update-compat.py | 2 1 + 1 - 0 !
tools/make-one-time-file.py | 2 1 + 1 - 0 !
2 files changed, 2 insertions(+), 2 deletions(-)

 avoid invoking /usr/bin/env

python scripts libraries.patch | (download)

tools/CoqMakefile.in | 6 3 + 3 - 0 !
1 file changed, 3 insertions(+), 3 deletions(-)

 differentiate between python scripts and libraries

skip dot pc.patch | (download)

Makefile.make | 1 1 + 0 - 0 !
1 file changed, 1 insertion(+)

 ignore .pc directory when building
remove bytecode failing tests.patch | (download)

test-suite/Makefile | 2 1 + 1 - 0 !
test-suite/coq-makefile/findlib-package-unpacked/run.sh | 22 0 + 22 - 0 !
2 files changed, 1 insertion(+), 23 deletions(-)

 disable tests which require ocamlopt
MIME-Version: 1.0
Content-Type: text/plain; charset="utf-8"
Content-Transfer-Encoding: 8bit

testsuite bytecode | (download)

Makefile.build | 2 1 + 1 - 0 !
1 file changed, 1 insertion(+), 1 deletion(-)

 fix export of byte architecture flag to test-suite.