Как использовать 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