agdaPackages.agda2hs-base: don't hard code agda2hs source name (#449131)

2025-10-06 22:45:58 +00:00
parent 3af3007b86 2053ef9822
commit 714b0d3c51
1 changed files with 3 additions and 1 deletions
@@ -9,7 +9,9 @@ mkDerivation {

  inherit (haskellPackages.agda2hs) src version;

-  sourceRoot = "source/lib/base";
+  postUnpack = ''
+    sourceRoot="$sourceRoot/lib/base"
+  '';

  libraryFile = "base.agda-lib";