fixup! Create JLLs for some GAP packages

JuliaPackaging · Sep 6, 2021 · 40ca3e2 · 40ca3e2
1 parent 294f7e6
commit 40ca3e2
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 3 deletions.
diff --git a/G/GAP_pkg/GAP_pkg_io/build_tarballs.jl b/G/GAP_pkg/GAP_pkg_io/build_tarballs.jl
@@ -14,9 +14,6 @@ sources = [
 
 # Bash recipe for building across all platforms
 script = raw"""
-# HACK HACK HACK so that src/profile.h from GAP_jll is found
-ln -s . /workspace/destdir/include/gap/src
-
 cd io*
 ./configure --prefix=${prefix} --build=${MACHTYPE} --host=${target} --with-gaproot=${prefix}/share/gap/
 make -j${nproc}

diff --git a/G/GAP_pkg/common.jl b/G/GAP_pkg/common.jl
@@ -53,6 +53,9 @@ function setup_gap_package(gap_version::VersionNumber,
     fi
     chmod a+x ${prefix}/share/gap/gac
     cp sysinfo.gap ${prefix}/share/gap/
+
+    # ensure #including src/compiled.h or src/profile.h from GAP_jll works
+    ln -s . /workspace/destdir/include/gap/src
     """ * script
 
     return name, platforms, dependencies