Commit Graph

35 Commits

Author SHA1 Message Date
Matthias Beyer
f1e8640c54
libisl: Make derivations generic, add 0.24 (#146693)
* libisl: Make derivation generic

Signed-off-by: Matthias Beyer <mail@beyermatthias.de>

* libisl: add 0.24

Signed-off-by: Matthias Beyer <mail@beyermatthias.de>

* isl: remove unused args

* isl: remove dead homepages

* isl: fix configureFlags

* isl: fix nested callPackage

use import to remove callPackage-inside-callPackage, which breaks overriding

* isl: pname/version -> name

pname/version is preferred, but causes rebuilds here.
let's do the cleanup separately from the mass rebuild,
to use the 0-rebuild-count as a 'nothing up my sleeve' gesture

* isl_0_24: fix sha256

* isl_0_11: add missing patch

Co-authored-by: Ryan Burns <rtburns@protonmail.com>
2021-11-21 02:43:19 -08:00
Arthur Gautier
53a60ad361 isl: isl.gforge.inria.fr has been taken offline
https://issues.guix.gnu.org/42162
https://github.com/dockcross/dockcross/issues/606
https://groups.google.com/g/isl-development/c/JGaMo2VUu_8
https://giters.com/coq/opam-coq-archive/issues/1298?amp=1

Signed-off-by: Arthur Gautier <baloo@superbaloo.net>
2021-11-13 21:47:53 +00:00
Vincent Haupert
13598220a6 isl_0_20: do not guess -march=/-mtune=
See #106587
2021-04-09 07:20:12 +00:00
Ben Siraphob
66e44425c6 pkgs/development/libraries: stdenv.lib -> lib 2021-01-21 19:11:02 -08:00
Michael Reilly
84cf00f980
treewide: Per RFC45, remove all unquoted URLs 2020-04-10 17:54:53 +01:00
volth
08f68313a4 treewide: remove redundant rec 2019-08-28 11:07:32 +00:00
Brian Schroeder
0e8c811907 isl: add 0.20
Update `isl` to use `isl_0_20`.
2018-11-19 10:34:52 -05:00
Silvan Mosberger
57bccb3cb8 treewide: http -> https sources (#42676)
* treewide: http -> https sources

This updates the source urls of all top-level packages from http to
https where possible.

* buildtorrent: fix url and tab -> spaces
2018-06-28 20:43:35 +02:00
Ryan Mulligan
b189247ba0 treewide: use more HTTPS URLs
Uses the HTTPS url for cases where the existing URL has a permanent
redirect. For each domain, at least one fixed derivation URL was
downloaded to test the domain is properly serving downloads.

Also fixes jbake source URL, which was broken.
2018-03-24 22:04:25 -07:00
Dan Peebles
dfd300c81d treewide: s/pkgs.fedoraproject.org/src.fedoraproject.org/
Upstream killed the pkgs server but src continues to serve up the exact
same content, so we can just point there and all hashes should be unchanged.
2018-02-08 16:38:08 -05:00
John Ericson
e5567bae2d treewide: Do not limit hardenging because gcc 4.9 in bootstrap
Bootstrap tools has since been bumped
2017-09-14 10:27:13 -04:00
Gaël Deest
2fb4874453 isl: 0.15 -> 0.17.1
Oups.
2016-12-11 14:04:59 +01:00
Robin Gloster
7dea0e91ac gcc/isl: move bootstrap hardening flags to new bootstrap env 2016-03-28 19:17:23 +00:00
Franz Pletz
aff1f4ab94 Use general hardening flag toggle lists
The following parameters are now available:

  * hardeningDisable
    To disable specific hardening flags
  * hardeningEnable
    To enable specific hardening flags

Only the cc-wrapper supports this right now, but these may be reused by
other wrappers, builders or setup hooks.

cc-wrapper supports the following flags:

  * fortify
  * stackprotector
  * pie (disabled by default)
  * pic
  * strictoverflow
  * format
  * relro
  * bindnow
2016-03-05 18:55:26 +01:00
Robin Gloster
402d57ee8e bootstrap env: disable stackprotector hardening until gcc >=4.9 2016-02-22 18:32:53 +00:00
William A. Kennington III
906be98e0d isl: Add 0.15.0
And remove the defunct and unused default.nix
2015-07-08 16:22:11 -07:00
Shea Levy
145768bf9b Unmaintain a bunch of packages 2015-07-01 08:11:05 -04:00
Shea Levy
3aff74a7a2 Resurrect old cloog and isl for gcc-4.9
Fixes #7723

Refs 8af39c1cf7
Refs 5cd11989c5
2015-05-06 08:32:12 -04:00
William A. Kennington III
00df204c82 Merge remote-tracking branch 'upstream/master' into staging 2015-05-01 15:57:09 -07:00
Shea Levy
0f3586e917 Add isl-0.14.1 2015-04-30 10:48:09 -04:00
William A. Kennington III
8af39c1cf7 isl: 0.11.1 -> 0.14 2015-03-26 00:24:17 -07:00
Gergely Risko
cefe9fac45 Enable parallel building for cloog and isl
Since these are GCC dependencies, this speeds up building the
stdenv closure.
2014-08-28 18:40:31 +02:00
Mateusz Kowalczyk
7a45996233 Turn some license strings into lib.licenses values 2014-07-28 11:31:14 +02:00
Vladimír Čunát
ac6761c908 Merge master into stdenv-updates
Conflicts:
	pkgs/applications/version-management/gource/default.nix
	pkgs/top-level/all-packages.nix
2014-01-20 19:39:28 +01:00
Shea Levy
55e6303d6a 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>
2014-01-20 05:42:38 -05:00
Petr Rockai
649b477cc3 isl: Avoid a spurious symbol reference that breaks GCC build (#778). 2013-10-27 15:36:50 +01:00
Peter Simons
ea6f711e8e isl: update download url
This patch fixes issue #1091.
2013-10-18 18:46:00 +02:00
Danny Wilson
bcaea92a12 Attempt at getting GCC 4.7 compiled on Illumos...
No success yet :-(
2013-02-28 20:04:01 +01:00
Lluís Batlle i Rossell
232da3a29d Adding a new url for isl.src. The current is only meant for the last version.
svn path=/nixpkgs/branches/stdenv-updates/; revision=32167
2012-02-09 19:53:01 +00:00
Eelco Dolstra
cfde88976b * Streamline the stdenv bootstrap and resulting closure by removing
some redundant builds (e.g., GMP was built three times).
* Updated GMP to 5.0.2.
* Updated PPL to 0.11.2.
* Remove ad hoc flags to build GCC's dependencies statically.
  Instead, use the ‘makeStaticLibraries’ stdenv adapter.
* Build GMP with C++ support by default.

svn path=/nixpkgs/branches/stdenv-updates/; revision=30891
2011-12-14 14:31:56 +00:00
Eelco Dolstra
28e2c7e2f5 svn path=/nixpkgs/branches/stdenv-updates/; revision=30859 2011-12-12 19:56:04 +00:00
Ludovic Courtès
a90a55309f ISL: Downgrade to 0.07 so that CLooG builds.
svn path=/nixpkgs/trunk/; revision=30634
2011-11-30 14:25:54 +00:00
Ludovic Courtès
e3323c4311 ISL 0.08, with some simplifications.
svn path=/nixpkgs/trunk/; revision=30632
2011-11-30 11:19:07 +00:00
Michael Raskin
0efee09246 Use correct gmp for cross-build
svn path=/nixpkgs/trunk/; revision=30288
2011-11-07 04:26:06 +00:00
Shea Levy
bc6ee5020d Add isl, the integer set library (needed for cloog, an optional dependency for GCC 4.6.0)
svn path=/nixpkgs/trunk/; revision=26633
2011-03-31 21:19:39 +00:00