gap: ship Makefile.gappkg for future gap package use (#380430)

NixOS · Feb 8, 2025 · 81b20cb · 81b20cb
2 parents b9a5b64 + 83205e2
commit 81b20cb
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/pkgs/by-name/ga/gap/package.nix b/pkgs/by-name/ga/gap/package.nix
@@ -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 = ''