search

ku-fpg / hermit

Haskell Equational Reasoning Model-to-Implementation Tunnel
http://www.ittc.ku.edu/csdl/fpg/Tools/HERMIT
BSD 2-Clause "Simplified" License
49 stars 8 forks source link

Integrating HERMIT with cabal #121

Open andygill opened 9 years ago

andygill commented 9 years ago

We should have a way of starting HERMIT from inside cabal package. This would include the relevant sandbox support.

andygill commented 9 years ago

The command 

cabal repl Foo.hs --ghc-options='-fforce-recomp -O2 -dcore-lint -fsimple-list-literals -fexpose-all-unfoldings -fplugin=HERMIT'

gets quite far, as long as you as not in the same cabal package as hermit or hermit-ghci (otherwise, it attempts to rebuild HERMIT internals)

RyanGlScott commented 9 years ago

I'm not sure if I understand the issue, but couldn't you install hermit in a sandbox and run cabal exec hermit Foo.hs? (This assumes cabal-install ≥ 1.20.)

andygill commented 9 years ago

Nice one @RyanGlScott, Thanks.

xich commented 9 years ago

Huh, I didn't know about cabal exec either... nice!