无法识别 '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。配置参数也有一些其他更改。我怀疑我需要做的就是在 ~/.cabal/config 中将 executable-profiling 更改为 profiling 并重新尝试我的 cabal 安装。

但是，我先验不知道这些变化是什么。所以我的解决方案*是：

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.