After upgrading from ghc 7.8.3 to ghc 7.8.4, I did a cabal update, and saw that there was a new version of cabal. So I ran the command
cabal --no-require-sandbox install cabal-install
and got the error message
unrecognized 'configure' option `--enable-executable-profiling'
The parameter executable-profiling appears to have been renamed to profiling at some point. There are some other changes to the configuration parameters as well. I suspect that all I needed to do was change executable-profiling to profiling in ~/.cabal/config and re-try my cabal install.
However, I didn't know a priori what the changes were. So my solution* was:
mv ~/.cabal/config ~/.cabal/config.BACKUPcabal update to create a new default configuration file.~/.cabal/config to preserve any settings from ~/.cabal/config.BACKUP I wanted to keep for the next step, BUT NOT executable-profiling.cabal --no-require-sandbox install cabal-installrm ~/.cabal/configcabal update to create a new default configuration file. As soon as a new default configuration file has been created, you can CTRL-c.~/.cabal/config to preserve any settings from ~/.cabal/config.BACKUP I wanted to keep going forward.EDIT: *I've just discovered the cabal command user-config, which seems tailor-made for situations like this. To learn more, type cabal help user-config.
If you love us? You can donate to us via Paypal or buy me a coffee so we can maintain and grow! Thank you!
Donate Us With