GNATprove 14.1 #66
Merged
GNATprove 14.1 #66
Conversation
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Fabien-Chouteau
force-pushed
the
gnatprove-14.1
branch
from
f9624e7
to
195ae49
Compare
The dependency on Python/libpython is difficult to manage on Linux because of the different versions in different distribs. On Windows we never enabled it. And compile GDB with "base_gcc".
Use Xcode 15.3, because (at this time) the macos-14 runner defaults to
Xcode 15.0.1, which has the linking bug. 15.3 is the latest version
available in Command Line Tools; Xcode has 15.4.
Use GCC 13.3.0 as the base compiler, because (on Github) 13.2 links one
of the tools generated during the compiler build in such a way that it
won't run.
Update GNAT's aarch64 source to the gcc-14.1-darwin-r1 release.
Don't configure GCC with --without-build-config (the reason for
using it was GCC PR 100340, which was fixed in 2022; using it caused
failures in bootstrap stage 2/3 comparison).
* .github/workflows/macos_arm.yml (GNAT macOS): use Xcode 15.3.
(SPARK): likewise.
* specs/base_gcc.anod (tarball): directly name the 13.3.0 build
to be used.
(url): directly name the location of the 13.3.0 build to be used.
* specs/gcc.anod (source_pkg_build): update to the gcc-14.1-darwin-r1
release.
(configure_args): don't use --without-build-config.
Fabien-Chouteau
force-pushed
the
gnatprove-14.1
branch
from
28830a8
to
bc860af
Compare
Fabien-Chouteau
force-pushed
the
gnatprove-14.1
branch
from
bc860af
to
c3910be
Compare
We just need to install it.
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
No description provided.