| Commit message (Collapse) | Author | Age |
|
|
|
| |
Closes #6509.
|
|
|
|
|
|
|
|
|
| |
When invoking through Makefile we always rebuild dependencies. To skip
dependencies, invoke ci-wrapper directly. We make Circle CI do this.
In order to properly support invoking ci-wrapper directly we replace
"make" in ci-common by a bash function which adds -j to the make
invocation outside submakes. We also set TIMED in the ci-wrapper.
|
|
|
|
|
|
| |
Travis has moved on to macOS 10.12 but this makes the package
incompatible with earlier versions.
This fix should restore the compatibility with OS X 10.11.
|
|
|
|
|
|
| |
This avoids mixing native and byte compilation as the debug printers
are always byte compiled and the tools have no .byte rule, only the
OCAMLBEST rule.
|
| |
|
| |
|
|
|
|
|
|
|
|
|
|
|
|
|
| |
Due to an API change in laglgtk, we need to update CoqIDE. We use a
makefile hack so it can compile with lablgtk < 2.8.16, another option
would be to require 2.8.16 as a minimal dependency.
We also refactor travis to test more lablgtk versions.
We also need to account for improved attribute handling in 4.06.0, in
particular module aliases will propagate the deprecation status.
Fixes #6140.
|
|\ |
|
|\ \ |
|
| |/
|/| |
|
| |
| |
| |
| | |
We are still missing an updated LABLGTK.
|
| | |
|
| |
| |
| |
| | |
We use git check-attr to look at the same files as git diff --check.
|
| | |
|
|\ \ |
|
|\ \ \ |
|
| |/ /
|/| |
| | |
| | | |
This reverts commit c7465d2ecb69e64613dd38b262f5e78ecad99de1.
|
| | | |
|
|/ / |
|
|\ \ |
|
| |/
| |
| |
| | |
IS is intended for testing nullity.
|
|/
|
|
|
|
| |
This reverts commit 587e556a909fcd2e1507a9230d9cdaffa3f9394e from PR #1024.
This commit did not solve any issue at the time it was merged but made the
macOS package we produce compatible only with macOS 10.12 and later.
|
|\ |
|
|\ \ |
|
| | |
| | |
| | |
| | |
| | | |
This is inconvenient because it can only be tested on tags
and it didn't work for V8.7+beta1.
|
| |/
|/| |
|
| |
| |
| |
| | |
[c.f] https://coq.inria.fr/bugs/show_bug.cgi?id=4270
|
|/
|
|
| |
This job was useless anyway because the depoly and pre-deploy phases were not run.
|
| |
|
| |
|
|\ |
|
| | |
|
| |
| |
| |
| |
| | |
Deployment doesn't work on PRs, so I have to push it directly, sorry for
the noise.
|
| | |
|
| |
| |
| |
| |
| | |
The packages will be built only for main branches (not pull requests),
and are accessible via bintray: https://bintray.com/coq/coq
|
|/ |
|
|\ |
|
|\ \ |
|
| |/
|/|
| |
| | |
This puts the boilerplate all in one place
|
|\ \ |
|
|\ \ \ |
|
| | | | |
|
| |/ /
|/| |
| | |
| | |
| | |
| | | |
This is made necessary by the fact that the displayed commit in the header
of the build can be outdated if the build was restarted or took a long time
to start. Sometimes, it is so old that the link to GitHub is a 404.
|
|/ / |
|
| | |
|
|/
|
|
| |
It shouldn't be failing.
|
|
|
|
| |
For now, Fiat still relies on 8.4 compatibility.
|
|
|
|
|
|
| |
Bedrock relies on the 8.4 compat flag that we are removing, and we heard
from MIT that they did not plan to port bedrock to more recent versions
of Coq.
|
|\ |
|
| | |
|