public/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Mark binary distribution of Mozart/Oz 2.0 as such

Browse Source
This commit is contained in:
Michael Raskin 2014-11-09 19:19:13 +03:00
parent 076677d0bf
commit b6203b804b
2 changed files with 3 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
pkgs/development/compilers/mozart/default.nix → pkgs/development/compilers/mozart/binary.nix
View File

@ -4,7 +4,7 @@ let
version = "2.0.0"; version = "2.0.0";
in in
stdenv.mkDerivation { stdenv.mkDerivation {
name = "mozart-${version}"; name = "mozart-binary-${version}";
src = fetchurl { src = fetchurl {
url = "http://sourceforge.net/projects/mozart-oz/files/v${version}-alpha.0/mozart2-${version}-alpha.0+build.4105.5c06ced-x86_64-linux.tar.gz"; url = "http://sourceforge.net/projects/mozart-oz/files/v${version}-alpha.0/mozart2-${version}-alpha.0+build.4105.5c06ced-x86_64-linux.tar.gz";

3
pkgs/top-level/all-packages.nix
View File

@ -3508,7 +3508,8 @@ let
monoDLLFixer = callPackage ../build-support/mono-dll-fixer { }; monoDLLFixer = callPackage ../build-support/mono-dll-fixer { };
mozart = callPackage ../development/compilers/mozart { }; mozart-binary = callPackage ../development/compilers/mozart/binary.nix { };
mozart = mozart-binary;
neko = callPackage ../development/compilers/neko { }; neko = callPackage ../development/compilers/neko { };