Trying to switch over to stack I copied over ~/.stack to another Linux box And it gives me sanity check failed Machines are same -- both 64 bit ubuntu wily -- user-names are different and that shows in the error message. I'd like to avoid almost a Gb of repeated downloads if possible. But if thats not kosher that fine... Just asking :-)
Compiled Haskell libraries and GHC installations are not generally
relocatable to a different path. So in theory copying ~/.stack between
machines should work if your home directory is in the same place on the
filesystem (and the architecture matches), but won't work if your home
directory changes.
On Wed, Nov 11, 2015 at 4:27 AM
Another way of asking:
$ stack setup
should be representable as
$ git clone ...
$ other-stuff
What is other-stuff?
(Pls excuse top post -- from phone) _______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-cafe
On Wed, Nov 11, 2015 at 7:06 PM, Emanuel Borsboom
Compiled Haskell libraries and GHC installations are not generally relocatable to a different path. So in theory copying ~/.stack between machines should work if your home directory is in the same place on the filesystem (and the architecture matches), but won't work if your home directory changes.
Just checked Removed from ~/.stack/programs/x86_64-linux both - ghc.7.10.2 (directory) - ghc-7.10.2.installed And reran $ stack setup The messages seemed to say something the the effect "already downloaded" Spent some time setting up... And now $ stack ghci seems to be working. Also now all references to the old username on grepping in ~/.stack seem to have vanished So is this ok or improper... ??? May the experts opine!
So is this ok or improper… ??? May the experts opine! Seems fine in theory. I wouldn’t be surprised if you run into trouble when building with snapshot packages (those that don’t come with GHC), so if that happens you’ll also have to rm -rf ~/.stack/snapshots.
participants (3)
-
Emanuel Borsboom -
Rustom Mody -
rustompmody＠gmail.com