summaryrefslogtreecommitdiff
path: root/debian/patches
Commit message (Collapse)AuthorAge
* Reenable ssrmatching and ssreflectGravatar Benjamin Barenblat2019-02-06
| | | | | | Upstream has provided a free replacement for the nonfree ssrmatching file I removed in cf916fd97fbac51af6fa68ec2704da2a28ef9ede. Patch that file in and resume building ssrmatching and ssreflect.
* Update fix-bytecode-build.patch to latest versionGravatar Benjamin Barenblat2019-02-06
| | | | | | | | The fix-bytecode-build.patch in previous commits works fine for building and testing, but installation still fails on bytecode platforms – the system tries to install .cmx files that don’t exist. Update fix-bytecode-build.patch to the latest version from Gaëtan Gilbert, which corrects the installation targets.
* Disable .vio tests, as they don’t work on bytecode architecturesGravatar Benjamin Barenblat2019-02-05
| | | | | | Operations with .vio files fail when Coq has been compiled with ocamlc; see https://github.com/coq/coq/issues/9141. Disable tests related to .vio generation to prevent this from breaking the build.
* Disable test 4366, which is too time-sensitive for MIPSGravatar Benjamin Barenblat2019-02-05
|
* Fix build on platforms without ocamloptGravatar Benjamin Barenblat2019-02-05
| | | | | This includes disabling all unit tests, which require ocamlopt and “don’t test much yet” anyway.
* Run tests verboselyGravatar Benjamin Barenblat2019-02-05
|
* Consolidate patches to disable tests that are too big or too slowGravatar Benjamin Barenblat2019-02-05
| | | | | Consolidate the several patches that disable tests that time out on MIPS or use too much RAM/time on the buildds.
* Correct spelling errorsGravatar Benjamin Barenblat2019-02-05
|
* Disable ssrmatching and ssreflectGravatar Benjamin Barenblat2019-02-05
| | | | | | | | The nonfree file in ssrmatching I removed in cf916fd97fbac51af6fa68ec2704da2a28ef9ede turns out to be important to the build process, and I can’t figure out how to replicate its effects without including the file itself. Disable ssrmatching and ssreflect again until the license situation gets resolved.
* Refresh patchesGravatar Benjamin Barenblat2019-02-05
|
* Stop numbering patchesGravatar Benjamin Barenblat2019-02-05
| | | | | Keeping patches sequentially numbered produces a messy Git history with many renames for compaction. It’s also redundant with the series file.
* Prepare to import ssrmatching in 8.9.0Gravatar Benjamin Barenblat2019-02-02
| | | | | | | | | | Upstream has corrected most of the licensing issues with ssrmatching in 8.9.0. That version introduced one new file with a CeCILL-B license, but it’s an .mli file, so OCaml should be able to infer its contents. Don’t import the offending .mli, but do import the files with corrected license headers. Remove the patch introduced in 5d3dc22cc205021e517a81943952655c51777083 (which backported the correctly licensed files).
* Restore ssrmatching and its reverse dependenciesGravatar Benjamin Barenblat2019-01-17
| | | | | | | | | | | | 4181269ff800d58e60b886d0aaa2894444a9cd0d removed ssrmatching and everything that needed it because upstream had shipped a couple of files with bad license headers. Those files have now been fixed (https://github.com/coq/coq/pull/9282), so grab them from master and apply them in a patch. This restores ssrmatching to the Coq standard library. Once upstream cuts its next release, we should be able to delete the patch and simply import the files from the upstream tarball.
* Ignore the .pc directory when doing a buildGravatar Benjamin Barenblat2019-01-03
|
* Package coq_makefile’s new Python dependencyGravatar Benjamin Barenblat2019-01-03
|
* Correct spelling errorsGravatar Benjamin Barenblat2019-01-03
|
* Disable tests which require `-coqlib` to be setGravatar Benjamin Barenblat2019-01-03
| | | | | | A number of tests (mostly for coq_makefile) assume that Coq is installed when the test runs. This isn't true in an sbuild environment, though, so disable those tests.
* Disable ssrmatchingGravatar Benjamin Barenblat2019-01-03
| | | | | | | ssrmatching has two files licensed under CeCILL-B, which I believe is a nonfree license. d7d80c5bea564b7cb0eadc33e9ee38c9d9de1cd8 removed those files from the source package; this commit disables the affected plugin in the build system.
* Refresh patchesGravatar Benjamin Barenblat2019-01-03
| | | | | Remove 0002-Remove-test-4366-too-picky-on-the-timeout.patch, since upstream has increased the timeout.
* fix FTBFS on mipsdebian/8.6-3Gravatar Enrico Tassi2016-12-29
|
* fix FTBFS disabling some testsdebian/8.6-2Gravatar Enrico Tassi2016-12-28
|
* fix FTBFS on slow architectures by disabling 4429debian/8.5-2Gravatar Enrico Tassi2016-01-28
|
* 8.5Gravatar Enrico Tassi2016-01-26
|
* Packaging 8.5beta1Gravatar Enrico Tassi2015-07-14
|
* Disable micromega tests on HurdGravatar Stephane Glondu2013-11-22
|
* Refresh patchesGravatar Stephane Glondu2013-11-22
|
* Refresh patchesGravatar Stephane Glondu2012-12-29
|
* Upstream bugfix: Fix use of $(HASNATDYNLINK) in coq_makefile outputGravatar Stephane Glondu2012-09-22
|
* Refresh patchesGravatar Stephane Glondu2012-06-04
|
* Disable a test that uses too much memoryGravatar Stephane Glondu2012-01-15
|
* Fix an ordering issue that was causing a test to fail in bytecodeGravatar Stephane Glondu2012-01-14
|
* Add distclean target to test-suite/MakefileGravatar Stephane Glondu2012-01-12
|
* Remove patch applied upstreamGravatar Stephane Glondu2011-12-25
|
* Add patch to fix thumb2-related build error (Closes: #622882)Gravatar Stephane Glondu2011-04-19
|
* New upstream release, update changelogGravatar Stephane Glondu2010-12-24
|
* Port to camlp5 6.02.1Gravatar Stephane Glondu2010-12-06
|
* Add 0003-Support-for-camlp5-6.02.0.patchGravatar Stephane Glondu2010-11-17
|
* Add 0002-Fix-mixed-implicit-and-normal-rules.patchGravatar Stephane Glondu2010-10-19
|
* Add patch to fix test-suiteGravatar Stephane Glondu2010-10-15
|
* New upstream release candidateGravatar Stephane Glondu2010-08-10
|
* Add 0001-Fix-installation-of-emacs-files.patchGravatar Stephane Glondu2010-07-24
|
* New upstream snapshotGravatar Stephane Glondu2010-07-21
|
* Add 0002-Remove-dependency-to-Unix-from-module-Profile.patchGravatar Stephane Glondu2010-07-02
| | | | ...to remove embedded Unix from grammar.cma
* New upstream releaseGravatar Stephane Glondu2010-07-01
|
* Add 0003-Fix-build-with-OCaml-3.12.patchGravatar Stephane Glondu2010-06-28
|
* Add Disable-micromega-tests.patch, prepare upload to unstabledebian/8.2.pl1+dfsg-6Gravatar Stephane Glondu2010-02-22
|
* Add 0001-Update-for-why-2.19.patchGravatar Stephane Glondu2009-08-29
|
* Remove dependency on dpatchGravatar Stephane Glondu2009-02-20
|
* Remove obsolete patchesGravatar Stephane Glondu2008-09-08
|
* Add non-native-archs.dpatchGravatar Stephane Glondu2008-08-15
| | | | Fix FTBFS on non-native architectures (Closes: #495165)
generated by cgit v1.2.3 (git 2.39.1) at 2024-07-02 11:49:29 +0000