Skip to content

Commit

Permalink
[GAP_pkg_profiling] new JLL (#9960)
Browse files Browse the repository at this point in the history
  • Loading branch information
fingolfin authored Dec 9, 2024
1 parent 0bf1c3a commit 3bda7a1
Showing 1 changed file with 42 additions and 0 deletions.
42 changes: 42 additions & 0 deletions G/GAP_pkg/GAP_pkg_profiling/build_tarballs.jl
Original file line number Diff line number Diff line change
@@ -0,0 +1,42 @@
# Note that this script can accept some limited command-line arguments, run
# `julia build_tarballs.jl --help` to see a usage message.
include("../common.jl")

gap_version = v"400.1400.0"
gap_lib_version = v"400.1400.0"
name = "profiling"
upstream_version = "2.6.0" # when you increment this, reset offset to v"0.0.0"
offset = v"0.0.0" # increment this when rebuilding with unchanged upstream_version, e.g. gap_version changes
version = offset_version(upstream_version, offset)

# Collection of sources required to build this JLL
sources = [
ArchiveSource("https://github.com/gap-packages/profiling/releases/download/v$(upstream_version)/profiling-$(upstream_version).tar.gz",
"6bdb7e3e908c45d4b683be4fbb60a733ec75a171c242e16251d5ed8602cac43a"),
]

# Bash recipe for building across all platforms
script = raw"""
cd profiling*
./configure ${prefix}/lib/gap
make -j${nproc}
# copy the loadable module
mkdir -p ${prefix}/lib/gap
cp bin/*/*.so ${prefix}/lib/gap/
install_license COPYRIGHT
"""

name = gap_pkg_name(name)
platforms, dependencies = setup_gap_package(gap_version, gap_lib_version)

# The products that we will ensure are always built
products = [
FileProduct("lib/gap/profiling.so", :profiling),
]

# Build the tarballs, and possibly a `build.jl` as well.
build_tarballs(ARGS, name, version, sources, script, platforms, products, dependencies;
julia_compat="1.6", preferred_gcc_version=v"7")

0 comments on commit 3bda7a1

Please sign in to comment.