Skip to content
Snippets Groups Projects
Commit 1fd97932 authored by Carlo Jeske's avatar Carlo Jeske
Browse files

fix(cabal-dir): remove home directory reference

parent 6ed6a091
No related branches found
No related tags found
No related merge requests found
Pipeline #65691 passed
...@@ -5,7 +5,7 @@ let ...@@ -5,7 +5,7 @@ let
init-cabal-config = if flavour == "9.6" then "" else ''cp ${../cabal.config} "$CABAL_DIR/config" && chmod u+w "$CABAL_DIR/config"''; init-cabal-config = if flavour == "9.6" then "" else ''cp ${../cabal.config} "$CABAL_DIR/config" && chmod u+w "$CABAL_DIR/config"'';
in in
writeShellScriptBin "wasm32-wasi-cabal" '' writeShellScriptBin "wasm32-wasi-cabal" ''
export CABAL_DIR="''${CABAL_DIR:-$HOME/.ghc-wasm/.cabal}" export CABAL_DIR="''${$TMP/cabal-wasm}"
if [ ! -f "$CABAL_DIR/config" ] if [ ! -f "$CABAL_DIR/config" ]
then then
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment