diff options
author | Joachim Fasting <joachifm@fastmail.fm> | 2017-02-13 18:24:22 +0100 |
---|---|---|
committer | Joachim Fasting <joachifm@fastmail.fm> | 2017-02-15 01:54:59 +0100 |
commit | c34a52bf5da351a13211a87ebc1a7a32ef2af6ba (patch) | |
tree | 699ce2dc12a7a94b0eacad57d37ca172c2a2d2d6 /pkgs | |
parent | 0637f83fb8fc8b7eb7090d75dce42ca9e8058b75 (diff) | |
download | nixlib-c34a52bf5da351a13211a87ebc1a7a32ef2af6ba.tar nixlib-c34a52bf5da351a13211a87ebc1a7a32ef2af6ba.tar.gz nixlib-c34a52bf5da351a13211a87ebc1a7a32ef2af6ba.tar.bz2 nixlib-c34a52bf5da351a13211a87ebc1a7a32ef2af6ba.tar.lz nixlib-c34a52bf5da351a13211a87ebc1a7a32ef2af6ba.tar.xz nixlib-c34a52bf5da351a13211a87ebc1a7a32ef2af6ba.tar.zst nixlib-c34a52bf5da351a13211a87ebc1a7a32ef2af6ba.zip |
mozart: prefer local builds
The build essentially unpacks a tarball and generates a few wrappers. No need to use hydra for that.
Diffstat (limited to 'pkgs')
-rw-r--r-- | pkgs/development/compilers/mozart/binary.nix | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/pkgs/development/compilers/mozart/binary.nix b/pkgs/development/compilers/mozart/binary.nix index e3dd950e0d1a..1c3a21e2e449 100644 --- a/pkgs/development/compilers/mozart/binary.nix +++ b/pkgs/development/compilers/mozart/binary.nix @@ -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"; |