make buildIdris nix function still work when there are more than one …

…app directories in the build output. (idris-lang#3385)
buzden · Sep 14, 2024 · 6d02c52 · 6d02c52
1 parent 09cb83d
commit 6d02c52
Showing 1 changed file with 3 additions and 3 deletions.
diff --git a/nix/buildIdris.nix b/nix/buildIdris.nix
@@ -80,13 +80,13 @@ in rec {
         # ^ remove after Idris2 0.8.0 is released. will be superfluous:
         # https://github.com/idris-lang/Idris2/pull/3189
       else
-        executable="$(idris2 --dump-ipkg-json ${ipkgFileName} | jq -r '.executable').so"
+        bin_name="$(idris2 --dump-ipkg-json ${ipkgFileName} | jq -r '.executable')"
 
-        cd build/exec/*_app
+        cd build/exec/''${bin_name}_app
 
         rm -f ./libidris2_support.{so,dylib}
 
-        bin_name="''${executable%.so}"
+        executable="''${bin_name}.so"
         mv -- "$executable" "$out/bin/$bin_name"
 
         # remaining .so or .dylib files can be moved to lib directory