summaryrefslogtreecommitdiff
path: root/pkgs/development/libraries/isl
AgeCommit message (Expand)Author
2026-01-02isl: fix cygwin buildDavid McFarland
2025-10-18isl_0_24: remove unusedSergei Trofimovich
2025-09-10isl_0_27: init at 0.27Sergei Trofimovich
2025-07-03tt-metal: init at 0.59.1Tristan Ross
2025-06-29isl_0_23: initTristan Ross
2025-04-01treewide: Format all Nix filesSilvan Mosberger
2024-12-14{libllvm,isl,libiberty,libmpc}: fix references to /usr/bin/uname on native Fr...misuzu
2024-11-22isl_0_17: dropEmily
2024-11-17isl: use updateAutotoolsGnuConfigScriptsHook to fix build on FreeBSD nativeAudrey Dutcher
2024-09-15isl_{0_11,0_14}: dropEmily
2024-06-09treewide: Remove indefinite article from meta.descriptionAlexis Hildebrandt
2023-05-19isl_0_24: pull CC_FOR_BUILDSergei Trofimovich
2023-04-26isl: Fix isl 0.20 on riscv due to out of date config.guessGeoff Norton
2022-05-22treewide: enable strictDeps in bootstrap packagesArtturin
2022-02-23isl: rename name to pname&versionFelix Buehler
2021-11-21libisl: Make derivations generic, add 0.24 (#146693)Matthias Beyer
2021-11-13isl: isl.gforge.inria.fr has been taken offlineArthur Gautier
2021-04-09isl_0_20: do not guess -march=/-mtune=Vincent Haupert
2021-01-21pkgs/development/libraries: stdenv.lib -> libBen Siraphob
2020-04-10treewide: Per RFC45, remove all unquoted URLsMichael Reilly
2019-08-28treewide: remove redundant recvolth
2018-11-19isl: add 0.20Brian Schroeder
2018-06-28treewide: http -> https sources (#42676)Silvan Mosberger
2018-03-24treewide: use more HTTPS URLsRyan Mulligan
2018-02-08treewide: s/pkgs.fedoraproject.org/src.fedoraproject.org/Dan Peebles
2017-09-14treewide: Do not limit hardenging because gcc 4.9 in bootstrapJohn Ericson
2016-12-11isl: 0.15 -> 0.17.1Gaël Deest
2016-03-28gcc/isl: move bootstrap hardening flags to new bootstrap envRobin Gloster
2016-03-05Use general hardening flag toggle listsFranz Pletz
2016-02-22bootstrap env: disable stackprotector hardening until gcc >=4.9Robin Gloster
2015-07-08isl: Add 0.15.0William A. Kennington III
2015-07-01Unmaintain a bunch of packagesShea Levy
2015-05-06Resurrect old cloog and isl for gcc-4.9Shea Levy
2015-05-01Merge remote-tracking branch 'upstream/master' into stagingWilliam A. Kennington III
2015-04-30Add isl-0.14.1Shea Levy
2015-03-26isl: 0.11.1 -> 0.14William A. Kennington III
2014-08-28Enable parallel building for cloog and islGergely Risko
2014-07-28Turn some license strings into lib.licenses valuesMateusz Kowalczyk
2014-01-20Merge master into stdenv-updatesVladimír Čunát
2014-01-20Add full llvm build, update libc++ and dragoneggShea Levy
2013-10-27isl: Avoid a spurious symbol reference that breaks GCC build (#778).Petr Rockai
2013-10-18isl: update download urlPeter Simons
2013-02-28Attempt at getting GCC 4.7 compiled on Illumos...Danny Wilson
2012-02-09Adding a new url for isl.src. The current is only meant for the last version.Lluís Batlle i Rossell
2011-12-14* Streamline the stdenv bootstrap and resulting closure by removingEelco Dolstra
2011-12-12svn path=/nixpkgs/branches/stdenv-updates/; revision=30859Eelco Dolstra
2011-11-30ISL: Downgrade to 0.07 so that CLooG builds.Ludovic Courtès
2011-11-30ISL 0.08, with some simplifications.Ludovic Courtès
2011-11-07Use correct gmp for cross-buildMichael Raskin
2011-03-31Add isl, the integer set library (needed for cloog, an optional dependency fo...Shea Levy