odin: copy shared/ directory into ODIN_ROOT

2024-07-10 06:58:01 +07:00
parent bf99590fba
commit 9ce24ad5fd
1 changed files with 1 additions and 3 deletions
@@ -58,9 +58,7 @@ stdenv.mkDerivation rec {
    cp odin $out/bin/odin

    mkdir -p $out/share
-    cp -r base $out/share/base
-    cp -r core $out/share/core
-    cp -r vendor $out/share/vendor
+    cp -r {base,core,vendor,shared} $out/share

    wrapProgram $out/bin/odin \
      --prefix PATH : ${