opzione 'configure' non riconosciuta `--enable-executable-profiling '

Question

Dopo l'aggiornamento da ghc 7.8.3 a ghc 7.8.4, ho fatto un cabal update e ho visto che c'era una nuova versione di cabal. Così ho fatto funzionare l'ordine

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

ed ho ottenuto il messaggio di errore

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

Answer 1

Il parametro executable-profiling sembra essere stato rinominato in profiling ad un certo punto. Ci sono anche altre modifiche ai parametri di configurazione. Sospetto che tutto ciò che dovevo fare fosse cambiare executable-profiling in profiling in ~/.cabal/config e riprovare la mia installazione di cabala.

Tuttavia, non sapevo a priori quali erano le modifiche. Quindi la mia soluzione era *:

1. mv ~/.cabal/config ~/.cabal/config.BACKUP
2. cabal update per creare un nuovo file di configurazione di default.
3. Modificare ~/.cabal/config per mantenere qualsiasi impostazione da ~/.cabal/config.BACKUP Volevo conservare per il passaggio successivo, MA NON executable-profiling.
4. cabal --no-require-sandbox install cabal-install
5. rm ~/.cabal/config
6. cabal update per creare un nuovo file di configurazione di default. Non appena è stato creato un nuovo file di configurazione predefinito, è possibile CTRL-c.
7. Modificare ~/.cabal/config per mantenere le impostazioni da ~/.cabal/config.BACKUP Volevo continuare ad andare avanti.

---

EDIT: * Ho appena scoperto il comando cabala user-config, che sembra fatta su misura per situazioni come questa. Per ulteriori informazioni, digitare cabal help user-config.