无法识别的'configure'选项`--enable-executable-profiling'

Question

从ghc 7.8.3升级到ghc 7.8.4后,我做了一个cabal update,看到有一个新版本的cabal.所以我运行了命令

cabal --no-require-sandbox install cabal-install

并收到错误消息

unrecognized 'configure' option `--enable-executable-profiling'

Answer 1

该参数executable-profiling似乎已profiling在某个时候重命名.配置参数也有一些其他变化.我怀疑所有我需要做的是改变executable-profiling以profiling在~/.cabal/config和再试试我的阴谋安装.

但是,我不知道先验的变化是什么.所以我的解决方案*是:

1. mv ~/.cabal/config ~/.cabal/config.BACKUP
2. cabal update 创建新的默认配置文件.
3. 编辑~/.cabal/config以保留~/.cabal/config.BACKUP我想要保留的任何设置以进行下一步,但不是executable-profiling.
4. cabal --no-require-sandbox install cabal-install
5. rm ~/.cabal/config
6. cabal update创建新的默认配置文件.一旦创建了新的默认配置文件,就可以CTRL-c.
7. 编辑~/.cabal/config以保留~/.cabal/config.BACKUP我想继续前进的任何设置.

编辑:*我刚刚发现了cabal命令user-config,它似乎是为这样的情况量身定制的.要了解更多信息,请键入cabal help user-config.