Я использую cabal-dev для моего проекта. Я хочу использовать hdevtools. Но hdevtools использует мои пакеты cabal вместо пакетов cabal-dev. Я хочу использовать опции hdevtools, чтобы использовать его в пакетах cabal-dev. Однако я не могу понять, какие варианты использовать.Как использовать hdevtools с cabal-dev?
Я знаю, что в общем, мне нужно будет передать hdevtools те же параметры GHC, которые я передал бы GHCi.
Итак, вопрос заключается в том, какие параметры следует передать ghci, чтобы заставить его вести себя как команда «cabal-dev ghci». Я знаю, что это те опции, которые мне нужно передать в hdevtools.
FYI заговорщики-DEV теперь осуждается в пользу песочницы cabal, https://github.com/creswick/cabal-dev/issues/110. –
'hdevtools' должен сказать GHC использовать соответствующую DB пакета (с опцией' --package-db'). Итак, посмотрите, как он вызывает GHC и есть ли способ настроить вызов GHC. –