| Age | Commit message (Collapse) | Author |
|---|
|
|
|
|
|
|
|
|
|
This was changed from so to dylib in dd7c679cf6, but it seems to
depend on versions of gtk. Accepting both seems ok, assuming that at
least one will work.
|
|
Fix macOS CI build by removing the failing 'brew update' step and
unpinning homebrew.
Unfortunately, because of problems discovered in #12672 during the
previous attempt to fix #12657, this makes the bundle generation step
fail.
|
|
After #8743 we don't depend on `num` anymore in the codebase; thus we
drop the dependency.
This could create problems for plugins relying on this implicit
linking.
|
|
In particular, behavior of `Z.gcd` and `Z.lcm` has been fixed in
1.10, see
https://github.com/ocaml/Zarith/issues/58
|
|
- `odoc` must be bumped to support 4.11
|
|
We replace Coq's use of `Big_int` and `num` by the ZArith OCaml
library which is a more modern version.
We switch the core files and easy plugins only for now, more complex
numerical plugins will be done in their own commit.
We thus keep the num library linked for now until all plugins are
ported.
Co-authored-by: Vincent Laporte <Vincent.Laporte@fondation-inria.fr>
|
|
Note that all the packages that we request are correctly installed and
the observed failure is independent (related to ruby which is not a
direct nor indirect dependency, only a dependency of brew itself).
The generated CoqIDE package has been tested and works correctly (with
no missing icon).
|
|
This is akin to what we do for Gitlab.
|
|
- use a different mirror for main cygwin archive
- (always) publish build log as artifact
- fix call to dune makefiles
- we do just build Coq for now, as:
+ dune is rebuilding Coq to run the test-suite, this needs move
investigation.
+ the test suite seems to take long and it times-out on Win.
|
|
This reverts commit 646a12b2f4660d6e9d5a812febdccab44221d1f0.
|
|
This job is currently broken because of Dune 2.5 not being available
yet on the mingw-opam-repository.
Before this, it was already red most of the time because of two
issues:
- Cygwin cannot be downloaded
- "Error on dynamically loaded library:
.\kernel/byterun\dllbyterun_stubs.dll: The specified module could not
be found" bug."
We don't know exactly when the latter appeared. It was missed because
of the former.
The goal is to reenable Windows testing based on standard opam with no
cygwin. Hopefully, this is achievable in the next few weeks.
|
|
|
|
That release includes non trivial changes related C compilers, in
particular due to `-fno-common` support.
|
|
10.13 is deprecated as an azure VM
Close #11449
|
|
Closes #10491
We re-add the header in doc/tools/coqrst/notations/fontsupport.py
which was removed by accident in 1a9c769ed363ee2f2784e7252af72e6c1e2fbcc6
The fontsupport script itself has been kept for reference, however it
is not involved by any build target as of today.
|
|
Reviewed-by: ejgallego
|
|
|
|
|
|
|
|
|
|
It looks like the recent spurious failures are because it somehow
wants to build gramlib byte and opt at the same time and the old race
condition causes the error.
Having failed to debug the makefile, we work around by building byte first.
|
|
This improves reproducibility of the CI environment.
The chosen commit has GTK+3 at 2.24.9.
|
|
The changes are large due to `Pervasives` deprecation:
- the `Pervasives` module has been deprecated in favor of `Stdlib`, we
have opted for introducing a few wrapping functions in `Util` and
just unqualified the rest of occurrences. We avoid the shims as in
the previous attempt.
- a bug regarding partial application have been fixed.
- some formatting functions have been deprecated, but previous
versions don't include a replacement, thus the warning has been
disabled.
We may want to clean up things a bit more, in particular
w.r.t. modules once we can move to OCaml 4.07 as the minimum required
version.
Note that there is a clash between 4.08.0 modules `Option` and `Int`
and Coq's ones. It is not clear if we should resolve that clash or
not, see PR #10469 for more discussion.
On the good side, OCaml 4.08.0 does provide a few interesting
functionalities, including nice new warnings useful for devs.
|
|
Fixes #10465
Following discussion we don't allow a generic `/usr/bin/python`
shebang anymore. We thus move all the scripts [but one] to python3,
and add python3 to the Azure base environment.
Unfortunately we still depend on python2 for the update-compat.py
script, see #10491
We thus have to complement #10467 adding python2 back to Nix,
until #10491 is fixed.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
