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

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

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

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

1 ответ

Решение

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

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

-g-no-user-package-conf -g-package-conf.hsenv/ghc_pkg_db
Другие вопросы по тегам