mozart: prefer local builds
The build essentially unpacks a tarball and generates a few wrappers. No need to use hydra for that.
This commit is contained in:
parent
0637f83fb8
commit
c34a52bf5d
|
@ -9,6 +9,8 @@ let
|
|||
in stdenv.mkDerivation {
|
||||
name = "mozart-binary-${version}";
|
||||
|
||||
preferLocalBuild = true;
|
||||
|
||||
src = fetchurl {
|
||||
url = "mirror://sourceforge/project/mozart-oz/v${version}-alpha.0/mozart2-${version}-alpha.0+build.4105.5c06ced-x86_64-linux.tar.gz";
|
||||
sha256 = "0rsfrjimjxqbwprpzzlmydl3z3aiwg5qkb052jixdxjyad7gyh5z";
|
||||
|
|
Loading…
Reference in a new issue