gap: ship Makefile.gappkg for future gap package use

2025-02-08 20:57:47 +01:00
parent 1c7d92f05a
commit 83205e2b55
1 changed files with 1 additions and 0 deletions
@@ -134,6 +134,7 @@ stdenv.mkDerivation rec {
    # https://github.com/NixOS/nixpkgs/pull/192548#discussion_r992824942
    rm -r "$out/share/gap/pkg"
    cp -ar pkg tst "$out/share/gap"
+    cp -a etc/Makefile.gappkg "$out/share/gap/etc"
  '';

  preFixup = ''