Как использовать hdevtools с cabal-dev?

Я использую cabal-dev для своего проекта. Я хочу использовать с ним hdevtools. Но hdevtools использует мои пакеты cabal вместо пакетов cabal-dev. Я хочу использовать параметры hdevtools, чтобы он использовал пакеты cabal-dev. Однако я не могу понять, какие параметры использовать.

Я знаю, что в целом мне нужно будет передать в hdevtools те же параметры GHC, что и в GHCi.

Таким образом, в качестве альтернативы вопрос заключается в том, какие параметры я должен передать ghci, чтобы он вел себя как команда «cabal-dev ghci». Я знаю, что эти параметры мне тоже нужно передать в hdevtools.


person louzer    schedule 05.12.2013    source источник
comment
К сведению, cabal-dev теперь устарел в пользу песочниц клики, github.com/creswick/cabal -dev/issues/110.   -  person John L    schedule 05.12.2013
comment
hdevtools должен указать GHC использовать соответствующую базу данных пакетов (с опцией --package-db). Итак, посмотрите, как он вызывает GHC и есть ли способ настроить вызов GHC.   -  person Mikhail Glushenkov    schedule 05.12.2013


Ответы (1)


Вам просто нужно указать hdevtools, какую базу данных пакетов использовать. В моем случае это выглядит так - с cabal-dev это будет другая подпапка в вашем проекте, но та же самая идея:

Я просто добавляю эти два варианта:

-g-no-user-package-conf -g-package-conf.hsenv/ghc_pkg_db
person Jeremy    schedule 07.12.2013