summaryrefslogtreecommitdiff
path: root/debian/rules
Commit message (Collapse)AuthorAge
* Remove execute bit from Python librariesGravatar Benjamin Barenblat2019-02-05
|
* Update to new toploop packagingGravatar Benjamin Barenblat2019-02-05
| | | | | | | As of 8.9, upstream has stopped distributing plugins that turn coqtop into worker processes for CoqIDE and other things. There are now separate binaries for each coqtop use case. Ensure they’re all distributed.
* Update packaging for Emacs mode deletionGravatar Benjamin Barenblat2019-02-05
| | | | | | Proof General has been designated as the official interface to Coq, and Coq no longer ships a separate Emacs mode. Update packaging to purge references to the Emacs mode.
* Begin packaging 8.9.0Gravatar Benjamin Barenblat2019-02-05
|
* Correct environment variable settings when running testsGravatar Benjamin Barenblat2019-01-17
| | | | | | $PWD doesn’t work in Makefiles – Make expands $P (to the empty string) and passes `WD` literally to the shell. Replace `$PWD` with `$(shell pwd)`.
* Package coq_makefile’s new Python dependencyGravatar Benjamin Barenblat2019-01-03
|
* Don't run testsuite under nocheck build profileGravatar Benjamin Barenblat2019-01-03
|
* Explicitly build and install OCaml bytecode filesGravatar Benjamin Barenblat2019-01-03
| | | | | | | | | | | Bytecode is no longer built by default, but it’s still essential on Debian platforms where OCaml has no native compiler. Run `make byte` and `make install-byte` to install bytecode. In the future, we may want to separate bytecode binaries and libraries into their own packages so users on platforms with native support don’t have to spend disk space on bytecode. For now, though, continue bundling native code and bytecode into the same package.
* 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.
* debian/rules: Stop configuring with `-debug`Gravatar Benjamin Barenblat2019-01-03
| | | | | | https://github.com/coq/coq/commit/bdc74cd1b945b69f81264cb6df8eb793c0c6817f enabled debugging by default, and the flag’s since been deleted. Stop passing it.
* debian/rules: Bump Coq versionGravatar Benjamin Barenblat2019-01-03
|
* Stop distributing CoqIDEGravatar Benjamin Barenblat2019-01-03
| | | | | | | | | CoqIDE currently requires gtksourceview2, which has been removed from Debian (see https://bugs.debian.org/885677). Upstream has an active pull request to update to gtksourceview3 (https://github.com/coq/coq/pull/9279), and it looks like Debian may ship gtksourceview2 with buster anyway, so this is likely to be a temporary change.
* Coq 8.6debian/8.6-1Gravatar Enrico Tassi2016-12-28
|
* 8.5Gravatar Enrico Tassi2016-01-26
|
* fix options passed to configure on non intel architecturesdebian/8.5_beta3+dfsg-2Gravatar Enrico Tassi2015-11-14
|
* set version to beta3 in debian/rulesdebian/8.5_beta3+dfsg-1Gravatar Enrico Tassi2015-11-14
|
* enable make test-suite at build timedebian/8.5_beta2+dfsg-2Gravatar Enrico Tassi2015-07-20
|
* disable native compiler on non-mainstream archesGravatar Enrico Tassi2015-07-20
|
* beta2Gravatar Enrico Tassi2015-07-15
|
* Remove unneeded commentGravatar Enrico Tassi2015-07-15
|
* .cma files are not executablesGravatar Enrico Tassi2015-07-15
|
* Packaging 8.5beta1Gravatar Enrico Tassi2015-07-14
|
* Bump debhelper compat level to 9Gravatar Stephane Glondu2014-07-27
|
* Bump ABIGravatar Stephane Glondu2014-07-27
|
* Update ABIGravatar Stephane Glondu2014-01-19
|
* Update ABIGravatar Stephane Glondu2013-05-08
|
* Update ABIGravatar Stephane Glondu2012-12-29
|
* Update ABIGravatar Stephane Glondu2012-08-20
|
* Update ABIGravatar Stephane Glondu2012-06-04
|
* Call dh_install with --fail-missingGravatar Stephane Glondu2012-01-14
|
* Miscellaneous updatesGravatar Stephane Glondu2012-01-12
|
* Bump COQ_VERSIONGravatar Stephane Glondu2011-12-25
|
* New upstream releaseGravatar Stephane Glondu2011-04-19
|
* Set and check COQ_VERSION used to compute COQ_ABI in debian/rulesdebian/8.3.pl1+dfsg-2Gravatar Stephane Glondu2011-02-26
|
* debian/rules: make "build" a phony targetGravatar Stephane Glondu2010-10-19
|
* Run test-suite in override_dh_auto_test, skip coqchkGravatar Stephane Glondu2010-10-19
|
* Update packaging according to upstream changesGravatar Stephane Glondu2010-07-21
|
* Use dh with overridesGravatar Stephane Glondu2010-07-01
|
* Use debhelper more thoroughlyGravatar Stephane Glondu2010-07-01
|
* Switch source package format to 3.0 (quilt)Gravatar Stephane Glondu2010-07-01
|
* Switch to dh-ocaml 0.9Gravatar Stephane Glondu2009-12-03
|
* Various updates, prepare upload to unstabledebian/8.2.pl1+dfsg-3Gravatar Stephane Glondu2009-08-29
|
* Call coqchk without -silentdebian/8.2.pl1+dfsg-2Gravatar Stephane Glondu2009-07-05
|
* Remove dependency on dpatchGravatar Stephane Glondu2009-02-20
|
* Generate coqvars.mk from debian/rules and drop /usr/lib/coq/abiGravatar Stephane Glondu2009-02-20
|
* Use ocamlinit.mkGravatar Stephane Glondu2009-02-20
|
* Use Debian changelog to determine COQ_VERSIONGravatar Stephane Glondu2009-02-20
|
* Added coqvars.mk helper for coq-related packages.Gravatar Samuel Mimram2009-02-19
|
* Use variables from dh-ocaml in rules.Gravatar Samuel Mimram2009-02-19
|
* New Upstream VersionGravatar Stephane Glondu2009-02-19
|
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-04 20:49:01 +0000