[Haskell-beginners] cabal sandbox add-source + cabal repl (for tracking Idris git version)

[Andreas Reuleaux]

OK, I see, thanks a lot, and yes: that seems to work fine.

When calling
  cabal install idris 
in my sandbox, I can see in the beginning of the compilation
messages, that it's using my idr/dev now:

Resolving dependencies...
[1 of 1] Compiling Main             ( /home/reuleaux/idr/dev/dist/dist-sandbox-b7fec085/setup/setup.hs, /home/reuleaux/idr/dev/dist/dist-sandbox-b7fec085/setup/Main.o )


Is there a better way to verify though (apart from looking at
these compilation messages, in the cabal repl maybe),
that cabal is indeed using my other idr/dev sandbox
(and not Idris from hackage) ?

-Andreas


>
> I think you just need to "cabal install idris" in this sandbox. The
> add-source command just tells cabal to use those sources instead of
> downloading sources from Hackage -- when you ask it to install that
> package.
>
> -Karl
> _______________________________________________
> Beginners mailing list
> Beginners at haskell.org
> http://www.haskell.org/mailman/listinfo/beginners