Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Gnatprove wave #70

Closed
wants to merge 20 commits into from
Closed
Changes from 1 commit
Commits
Show all changes
20 commits
Select commit Hold shift + click to select a range
195ae49
GNATprove 14.1
Fabien-Chouteau May 30, 2024
24b3fb9
TBM
Fabien-Chouteau May 30, 2024
bbf5e6c
GNATprove: add libiconv dependency on Windows
Fabien-Chouteau May 31, 2024
306ca47
spark2014: set sparklib commit id
Fabien-Chouteau May 31, 2024
39805b7
libgpr2: fix SOURCE_DIR for macOS
Fabien-Chouteau May 31, 2024
90a24ab
spark2014: use glibc 2.31 version of Z3
Fabien-Chouteau Jun 3, 2024
623e0f9
GDB: disable python support on all GDB
Fabien-Chouteau Jun 3, 2024
8bc3d7c
spark2014: use static builds for libgmp and libiconv
Fabien-Chouteau Jun 4, 2024
48821a2
embedded-runtimes: bump branch commit to include new fix
Fabien-Chouteau Jun 5, 2024
557643c
utils/gen_gnat_manifests.py: set library paths for native compilers
Fabien-Chouteau Jun 7, 2024
053e398
gnatcoll-bindings: only build static libs
Fabien-Chouteau Jun 7, 2024
0af8648
specs/gnu.anod: on Linux create a duplicate lib64/ along the lib/
Fabien-Chouteau Jun 7, 2024
a001205
Build GCC 14.1 on aarch64-apple-darwin.
simonjwright Jun 9, 2024
c3910be
Enable GNAT cross builds on macos arm
Fabien-Chouteau Jun 21, 2024
d481940
why3, alt-ergo on macOS aarch64: fix branches for 14 release
Fabien-Chouteau Jun 21, 2024
e143589
gcc: select macOS aarch64 fork based on host arch rather than target
Fabien-Chouteau Jun 21, 2024
efd833a
spark2014: bring back shared libgmp for alt-ergo
Fabien-Chouteau Jul 4, 2024
0cb0eb4
Update libadalang to 24.0
Fabien-Chouteau Jul 5, 2024
1443b47
spark2014: shared gmp should not be in the environment for builds
Fabien-Chouteau Jul 5, 2024
461769a
GNATprove wavefront
Fabien-Chouteau Jul 9, 2024
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
Prev Previous commit
Next Next commit
specs/gnu.anod: on Linux create a duplicate lib64/ along the lib/
  • Loading branch information
Fabien-Chouteau committed Jun 7, 2024

Verified

This commit was created on GitHub.com and signed with GitHub’s verified signature.
commit 0af8648a8962baad72fc8814c32cc70658bad286
19 changes: 19 additions & 0 deletions specs/gnu.anod
Original file line number Diff line number Diff line change
@@ -1,6 +1,7 @@
from e3.anod.error import ShellError
from e3.anod.spec import Anod
from e3.anod.loader import spec
from e3.fs import mkdir, sync_tree
import os


@@ -20,6 +21,9 @@ class GNU(spec("gh-artifact")):
self.env.add_search_path(
"LIBRARY_PATH", os.path.join(self["INSTALL_DIR"], "lib")
)
self.env.add_search_path(
"LIBRARY_PATH", os.path.join(self["INSTALL_DIR"], "lib64")
)

def artifact_build(self):
# This spec inherit from gh-artifact and therefore has a different
@@ -37,4 +41,19 @@ class GNU(spec("gh-artifact")):
# Many projects fail when running `make install` with parallel jobs
self["make"]("install", jobs=1)

lib_dir = os.path.join(self["INSTALL_DIR"], "lib")
lib64_dir = os.path.join(self["INSTALL_DIR"], "lib64")
if self.env.target.platform == "x86_64-linux":
# On some old x86_64-linux system gcc might changes drastically
# LIBRARY_PATH. For example if this var is set to /mydir/lib:/lib
# gcc might call ld with
# /mydir/lib/../lib64:/lib/../lib64:/mydir/lib:/lib
# The consequence is that sometimes we might pick the library from
# the system instead of the recently built one. So, make sure to
# provide lib64 as well as lib.

if os.path.isdir(lib_dir) and not os.path.isdir(lib64_dir):
mkdir(lib64_dir)
sync_tree(lib_dir, lib64_dir)

self.clean()
Loading