about summary refs log tree commit diff
path: root/pkgs/development/libraries/isl
AgeCommit message (Collapse)AuthorFilesLines
2023-05-19isl_0_24: pull CC_FOR_BUILDSergei Trofimovich1-1/+7
Without the change `isl_0_24` build on aarch64-linux fails due to missing $target-gcc wrapper: https://hydra.nixos.org/build/220002237 configure: error: in `/build/isl-0.24': configure: error: C compiler cannot create executables See `config.log' for more details ZHF #230712
2023-04-26isl: Fix isl 0.20 on riscv due to out of date config.guessGeoff Norton1-1/+2
2022-05-22treewide: enable strictDeps in bootstrap packagesArtturin1-0/+1
2022-02-23isl: rename name to pname&versionFelix Buehler1-1/+2
2021-11-21libisl: Make derivations generic, add 0.24 (#146693)Matthias Beyer6-91/+70
* 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-13isl: isl.gforge.inria.fr has been taken offlineArthur Gautier3-3/+13
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-04-09isl_0_20: do not guess -march=/-mtune=Vincent Haupert1-0/+4
See #106587
2021-01-21pkgs/development/libraries: stdenv.lib -> libBen Siraphob4-12/+12
2020-04-10treewide: Per RFC45, remove all unquoted URLsMichael Reilly4-4/+4
2019-08-28treewide: remove redundant recvolth1-1/+1
2018-11-19isl: add 0.20Brian Schroeder2-24/+3
Update `isl` to use `isl_0_20`.
2018-06-28treewide: http -> https sources (#42676)Silvan Mosberger1-1/+1
* 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-03-24treewide: use more HTTPS URLsRyan Mulligan5-5/+5
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-02-08treewide: s/pkgs.fedoraproject.org/src.fedoraproject.org/Dan Peebles1-1/+1
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.
2017-09-14treewide: Do not limit hardenging because gcc 4.9 in bootstrapJohn Ericson1-3/+0
Bootstrap tools has since been bumped
2016-12-11isl: 0.15 -> 0.17.1Gaël Deest1-0/+21
Oups.
2016-03-28gcc/isl: move bootstrap hardening flags to new bootstrap envRobin Gloster2-3/+3
2016-03-05Use general hardening flag toggle listsFranz Pletz1-1/+1
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-02-22bootstrap env: disable stackprotector hardening until gcc >=4.9Robin Gloster1-0/+3
2015-07-08isl: Add 0.15.0William A. Kennington III1-5/+3
And remove the defunct and unused default.nix
2015-07-01Unmaintain a bunch of packagesShea Levy4-4/+0
2015-05-06Resurrect old cloog and isl for gcc-4.9Shea Levy2-0/+35
Fixes #7723 Refs 8af39c1cf725be2f42b8d104cf39f2cd74840cac Refs 5cd11989c55e32df83cf5c4bc257bb6825b4e889
2015-05-01Merge remote-tracking branch 'upstream/master' into stagingWilliam A. Kennington III1-0/+22
2015-04-30Add isl-0.14.1Shea Levy1-0/+22
2015-03-26isl: 0.11.1 -> 0.14William A. Kennington III2-16/+5
2014-08-28Enable parallel building for cloog and islGergely Risko2-0/+4
Since these are GCC dependencies, this speeds up building the stdenv closure.
2014-07-28Turn some license strings into lib.licenses valuesMateusz Kowalczyk2-2/+2
2014-01-20Merge master into stdenv-updatesVladimír Čunát1-0/+20
Conflicts: pkgs/applications/version-management/gource/default.nix pkgs/top-level/all-packages.nix
2014-01-20Add full llvm build, update libc++ and dragoneggShea Levy1-0/+20
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>
2013-10-27isl: Avoid a spurious symbol reference that breaks GCC build (#778).Petr Rockai2-0/+13
2013-10-18isl: update download urlPeter Simons1-5/+2
This patch fixes issue #1091.
2013-02-28Attempt at getting GCC 4.7 compiled on Illumos...Danny Wilson1-2/+2
No success yet :-(
2012-02-09Adding a new url for isl.src. The current is only meant for the last version.Lluís Batlle i Rossell1-1/+4
svn path=/nixpkgs/branches/stdenv-updates/; revision=32167
2011-12-14* Streamline the stdenv bootstrap and resulting closure by removingEelco Dolstra1-6/+2
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-12svn path=/nixpkgs/branches/stdenv-updates/; revision=30859Eelco Dolstra1-1/+1
2011-11-30ISL: Downgrade to 0.07 so that CLooG builds.Ludovic Courtès1-2/+2
svn path=/nixpkgs/trunk/; revision=30634
2011-11-30ISL 0.08, with some simplifications.Ludovic Courtès1-15/+8
svn path=/nixpkgs/trunk/; revision=30632
2011-11-07Use correct gmp for cross-buildMichael Raskin1-1/+4
svn path=/nixpkgs/trunk/; revision=30288
2011-03-31Add isl, the integer set library (needed for cloog, an optional dependency ↵Shea Levy1-0/+28
for GCC 4.6.0) svn path=/nixpkgs/trunk/; revision=26633
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-08-06 01:12:30 +0000