search

UU-ComputerScience / uhc

136 stars 21 forks source link

Use cabal sandboxes for building UHC #47

Open phile314 opened 9 years ago

phile314 commented 9 years ago

UHC could be built inside a cabal sandbox instead of using the global package db. This would avoid any collisions between wrong package versions already installed.

Just an idea, not a problem for me. Would make it easier for other people to install it I think.

seaneshbaugh commented 9 years ago

Seconding this. In general I prefer to use sandboxed libraries if possible. I admittedly didn't try very hard, but I couldn't figure out a way to get make to work with sandboxed libraries. I was able to get configure to work by adding "--package-db" to the call to ghc-pkg in the configure script.

phile314 commented 9 years ago

The Nix package for UHC actually does something similar, although it does not use sandboxes but just plain ghc-pkg. But it at least points out where the changes need to be made.

https://github.com/NixOS/nixpkgs/blob/master/pkgs/development/compilers/uhc/default.nix#L23-L36

wrengr commented 9 years ago

I'd also be interested in getting Cabal sandboxes to work for compiling UHC