summary refs log tree commit diff
path: root/pkgs/development/libraries/isl
diff options
context:
space:
mode:
authorShea Levy <shea@shealevy.com>2014-01-20 05:23:17 -0500
committerShea Levy <shea@shealevy.com>2014-01-20 05:42:38 -0500
commit55e6303d6a0b943e72e6348867780f0886487871 (patch)
treec441051f3b50d14b7b69160314b551a1b9587562 /pkgs/development/libraries/isl
parent86808f2c468703f96179ef788c8a750b47619696 (diff)
downloadnixpkgs-55e6303d6a0b943e72e6348867780f0886487871.tar
nixpkgs-55e6303d6a0b943e72e6348867780f0886487871.tar.gz
nixpkgs-55e6303d6a0b943e72e6348867780f0886487871.tar.bz2
nixpkgs-55e6303d6a0b943e72e6348867780f0886487871.tar.lz
nixpkgs-55e6303d6a0b943e72e6348867780f0886487871.tar.xz
nixpkgs-55e6303d6a0b943e72e6348867780f0886487871.tar.zst
nixpkgs-55e6303d6a0b943e72e6348867780f0886487871.zip
Add full llvm build, update libc++ and dragonegg
Some packages in the llvm suite (e.g. compiler-rt) cannot be built
separate from the build of llvm, and while some others (e.g. clang) can
the combined build is much better tested (we've had to work around
annoying issues before). So this puts llvm, clang, clang-tools-extra,
compiler-rt, lld, lldb, and polly all into one big build (llvmFull).
This build includes a static llvm, as dynamic is similarly less tested
and has known failures.

This also updates libc++ and dragonegg. libc++ now builds against
libc++abi as a separate package rather than building it during the
libc++ build.

The clang purity patch is gone. Instead, we simply set --sysroot to
/var/empty for pure builds, as all impure paths are either looked up in
the gcc prefix (which we hard-code at compile time) or in the sysroot.
This also means that if NIX_ENFORCE_PURITY is 0 then clang will look in
the normal Linux paths by default, which is the proper behavior IMO.

polly required an updated isl. When stdenv-updates is merged, perhaps we
can update the isl used by gcc and avoid having two versions.

Since llvm on its own is now separate from the llvm used by clang, I've
removed myself as maintainer from llvm and will leave maintenance of
that to those who are interested in llvm separate from clang.

Signed-off-by: Shea Levy <shea@shealevy.com>
Diffstat (limited to 'pkgs/development/libraries/isl')
-rw-r--r--pkgs/development/libraries/isl/0.12.2.nix20
1 files changed, 20 insertions, 0 deletions
diff --git a/pkgs/development/libraries/isl/0.12.2.nix b/pkgs/development/libraries/isl/0.12.2.nix
new file mode 100644
index 00000000000..995cd0510b4
--- /dev/null
+++ b/pkgs/development/libraries/isl/0.12.2.nix
@@ -0,0 +1,20 @@
+{ stdenv, fetchurl, gmp }:
+
+stdenv.mkDerivation rec {
+  name = "isl-0.12.2"; # CLooG 0.16.3 fails to build with ISL 0.08.
+
+  src = fetchurl {
+    url = "http://isl.gforge.inria.fr/${name}.tar.bz2";
+    sha256 = "1d0zs64yw6fzs6b7kxq6nh9kvas16h8b43agwh30118jjzpdpczl";
+  };
+
+  buildInputs = [ gmp ];
+
+  meta = {
+    homepage = http://www.kotnet.org/~skimo/isl/;
+    license = "LGPLv2.1";
+    description = "A library for manipulating sets and relations of integer points bounded by linear constraints";
+    maintainers = [ stdenv.lib.maintainers.shlevy ];
+    platforms = stdenv.lib.platforms.all;
+  };
+}