Closed duog closed 6 years ago
Thanks @duog! I suppose the right solution is to detect the failure and delete the sandbox?
I'm not familiar with Cabal sandboxes so it will take me some time to dig out the right commands to run. Presumably this is an easy fix, so a PR is very welcome.
@snowleopard @izgzhen deleting .sandbox file and then rerunning build works whenever I get this error. I believe this should be a good fix here. We can simply add command $CABAL sandbox delete method with a check. if [-e cabal.sandbox.config] then cabal sandbox delete
related to #524
running build.cabal.sh with Cabal <2.1 triggers this code path:
If dependencies do not cleanly install one must manually delete the sandbox to proceed.