Attempt at getting GCC 4.7 compiled on Illumos...
No success yet :-(
This commit is contained in:
committed by
Danny Wilson
parent
cf42601f92
commit
bcaea92a12
@@ -1,11 +1,11 @@
|
||||
{ fetchurl, stdenv, gmp, isl }:
|
||||
|
||||
stdenv.mkDerivation rec {
|
||||
name = "cloog-0.16.3";
|
||||
name = "cloog-0.18.0";
|
||||
|
||||
src = fetchurl {
|
||||
url = "http://www.bastoul.net/cloog/pages/download/count.php3?url=./${name}.tar.gz";
|
||||
sha256 = "0lzbsszfzsr0jfwkccfbsvx913d2yc45dqwa472plmxkhbwykmc9";
|
||||
sha256 = "1c4aa8dde7886be9cbe0f9069c334843b21028f61d344a2d685f88cb1dcf2228";
|
||||
};
|
||||
|
||||
buildInputs = [ gmp ];
|
||||
|
||||
@@ -10,6 +10,8 @@ stdenv.mkDerivation (rec {
|
||||
|
||||
patches = [ ./no-gets.patch ];
|
||||
|
||||
LDFLAGS = if stdenv.isSunOS then "-lsec -lavl" else "";
|
||||
|
||||
configureFlags = [ "--disable-csharp" ]
|
||||
++ (stdenv.lib.optionals stdenv.isCygwin
|
||||
[ # We have a static libiconv, so we can only build the static lib.
|
||||
|
||||
@@ -1,14 +1,14 @@
|
||||
{ stdenv, fetchurl, gmp }:
|
||||
|
||||
stdenv.mkDerivation rec {
|
||||
name = "isl-0.07"; # CLooG 0.16.3 fails to build with ISL 0.08.
|
||||
name = "isl-0.11.1"; # CLooG 0.16.3 fails to build with ISL 0.08.
|
||||
|
||||
src = fetchurl {
|
||||
urls = [
|
||||
"http://www.kotnet.org/~skimo/isl/${name}.tar.bz2"
|
||||
"ftp://ftp.linux.student.kuleuven.be/pub/people/skimo/isl/${name}.tar.bz2"
|
||||
];
|
||||
sha256 = "0kpxmvhrwwdygqqafqzjf9xiksq7paac2x24g9jhr3f9ajj3zkyx";
|
||||
sha256 = "095f4b54c88ca13a80d2b025d9c551f89ea7ba6f6201d701960bfe5c1466a98d";
|
||||
};
|
||||
|
||||
buildInputs = [ gmp ];
|
||||
|
||||
@@ -1,11 +1,11 @@
|
||||
{ fetchurl, stdenv, gmp, mpfr }:
|
||||
|
||||
stdenv.mkDerivation rec {
|
||||
name = "mpc-0.9";
|
||||
name = "mpc-1.0.1";
|
||||
|
||||
src = fetchurl {
|
||||
url = "http://www.multiprecision.org/mpc/download/${name}.tar.gz";
|
||||
sha1 = "229722d553030734d49731844abfef7617b64f1a";
|
||||
sha256 = "ed5a815cfea525dc778df0cb37468b9c1b554aaf30d9328b1431ca705b7400ff";
|
||||
};
|
||||
|
||||
buildInputs = [ gmp mpfr ];
|
||||
|
||||
@@ -1,11 +1,11 @@
|
||||
{stdenv, fetchurl, gmp}:
|
||||
|
||||
stdenv.mkDerivation (rec {
|
||||
name = "mpfr-3.1.0";
|
||||
name = "mpfr-3.1.1";
|
||||
|
||||
src = fetchurl {
|
||||
url = "mirror://gnu/mpfr/${name}.tar.bz2";
|
||||
sha256 = "105nx8qqx5x8f4rlplr2wk4cyv61iw5j3jgi2k21rpb8s6xbp9vl";
|
||||
sha256 = "1zfmmk4p26b67qpmh787p3dfxa71yd9mi02c4q45yf687pqw6rkv";
|
||||
};
|
||||
|
||||
buildInputs = [ gmp ];
|
||||
@@ -39,7 +39,7 @@ stdenv.mkDerivation (rec {
|
||||
|
||||
//
|
||||
|
||||
(stdenv.lib.optionalAttrs stdenv.isFreeBSD {
|
||||
(stdenv.lib.optionalAttrs (stdenv.isSunOS or stdenv.isFreeBSD) {
|
||||
/* Work around a FreeBSD bug that otherwise leads to segfaults in
|
||||
the test suite:
|
||||
http://hydra.bordeaux.inria.fr/build/34862
|
||||
|
||||
@@ -1,13 +1,13 @@
|
||||
{ fetchurl, stdenv, gmpxx, perl, gnum4 }:
|
||||
|
||||
let version = "0.11.2"; in
|
||||
let version = "1.0"; in
|
||||
|
||||
stdenv.mkDerivation rec {
|
||||
name = "ppl-${version}";
|
||||
|
||||
src = fetchurl {
|
||||
url = "http://bugseng.com/products/ppl/download/ftp/releases/${version}/ppl-${version}.tar.bz2";
|
||||
sha256 = "1sxviip4yk6gp453pid5scy1ba66dzdpr02i1416yk7lkv0x3yz3";
|
||||
sha256 = "c169e962b8a0f7b7bcde5c5e0e2235248f1d78b155dfad684591d1a57e330b54";
|
||||
};
|
||||
|
||||
nativeBuildInputs = [ perl gnum4 ];
|
||||
@@ -15,6 +15,8 @@ stdenv.mkDerivation rec {
|
||||
|
||||
configureFlags = "--disable-watchdog";
|
||||
|
||||
patches = [ ./upstream-based.patch ];
|
||||
|
||||
# Beware! It took ~6 hours to compile PPL and run its tests on a 1.2 GHz
|
||||
# x86_64 box. Nevertheless, being a dependency of GCC, it probably ought
|
||||
# to be tested.
|
||||
@@ -40,7 +42,7 @@ stdenv.mkDerivation rec {
|
||||
version of the simplex algorithm.
|
||||
'';
|
||||
|
||||
homepage = http://www.cs.unipr.it/ppl/;
|
||||
homepage = http://bugseng.com/products/ppl/;
|
||||
|
||||
license = "GPLv3+";
|
||||
|
||||
|
||||
Reference in New Issue
Block a user