2013-12-05 2 views
3

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

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

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

+4

FYI заговорщики-DEV теперь осуждается в пользу песочницы cabal, https://github.com/creswick/cabal-dev/issues/110. –

+0

'hdevtools' должен сказать GHC использовать соответствующую DB пакета (с опцией' --package-db'). Итак, посмотрите, как он вызывает GHC и есть ли способ настроить вызов GHC. –

ответ

0

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

Я просто добавить эти два варианта:

-g-no-user-package-conf -g-package-conf.hsenv/ghc_pkg_db