···1{ stdenv, coreutils, fetchgit, m4, libtool, clang, ghcWithPackages }:
23-let wrappedGhc = ghcWithPackages (hpkgs: with hpkgs; [shuffle hashable mtl network uhc-util uulib] );
4in stdenv.mkDerivation rec {
5 # Important:
6 # The commits "Fixate/tag v..." are the released versions.
7 # Ignore the "bumped version to ...." commits, they do not
8 # correspond to releases.
9- version = "1.1.9.1.20150611";
10 name = "uhc-${version}";
1112 src = fetchgit {
13 url = "https://github.com/UU-ComputerScience/uhc.git";
14- rev = "b80098e07d12900f098ea964b1d2b3f38e5c9900";
15- sha256 = "14qg1fd9pgbczcmn5ggkd9674qadx1izmz8363ps7c207dg94f9x";
16 };
1718 postUnpack = "sourceRoot=\${sourceRoot}/EHC";
···50 # On Darwin, the GNU libtool is used, which does not
51 # support the -static flag and thus breaks the build.
52 platforms = ["x86_64-linux"];
53- broken = true; # https://github.com/UU-ComputerScience/uhc/issues/60
54 };
55}
···1{ stdenv, coreutils, fetchgit, m4, libtool, clang, ghcWithPackages }:
23+let wrappedGhc = ghcWithPackages (hpkgs: with hpkgs; [fgl vector syb uulib network binary hashable uhc-util mtl transformers directory containers array process filepath shuffle uuagc] );
4in stdenv.mkDerivation rec {
5 # Important:
6 # The commits "Fixate/tag v..." are the released versions.
7 # Ignore the "bumped version to ...." commits, they do not
8 # correspond to releases.
9+ version = "1.1.9.1";
10 name = "uhc-${version}";
1112 src = fetchgit {
13 url = "https://github.com/UU-ComputerScience/uhc.git";
14+ rev = "ce93d01486972c994ea2bbbd3d43859911120c39";
15+ sha256 = "1y670sc6ky74l3msayzqjlkjv1kpv3g35pirsq3q79klzvnpyj2x";
16 };
1718 postUnpack = "sourceRoot=\${sourceRoot}/EHC";
···50 # On Darwin, the GNU libtool is used, which does not
51 # support the -static flag and thus breaks the build.
52 platforms = ["x86_64-linux"];
053 };
54}