Commit 7938afec authored by Emily's avatar Emily
Browse files

isl_{0_11,0_14}: drop 

These are no longer used after the removal of old GCCs.
parent ab0ba275

pkgs/development/libraries/isl/0.11.1.nix

deleted100644 → 0
+0 −8
Original line number Diff line number Diff line 
import ./generic.nix {

  version = "0.11.1";

  urls = [

    "https://src.fedoraproject.org/repo/pkgs/gcc/isl-0.11.1.tar.bz2/bce1586384d8635a76d2f017fb067cd2/isl-0.11.1.tar.bz2"

  ];

  sha256 = "13d9cqa5rzhbjq0xf0b2dyxag7pqa72xj9dhsa03m8ccr1a4npq9";

  patches = [ ./fix-gcc-build.diff ];

}

pkgs/development/libraries/isl/0.14.1.nix

deleted100644 → 0
+0 −8
Original line number Diff line number Diff line 
import ./generic.nix rec {

  version = "0.14.1";

  urls = [

    "mirror://sourceforge/libisl/isl-${version}.tar.xz"

    "https://libisl.sourceforge.io/isl-${version}.tar.xz"

  ];

  sha256 = "0xa6xagah5rywkywn19rzvbvhfvkmylhcxr6z9z7bz29cpiwk0l8";

}

pkgs/development/libraries/isl/fix-gcc-build.diff

deleted100644 → 0
+0 −12
Original line number Diff line number Diff line 
diff -ru isl-0.11.1/include/isl/int.h isl-0.11.1.new/include/isl/int.h

--- isl-0.11.1/include/isl/int.h        2012-11-29 09:47:32.000000000 +0100

+++ isl-0.11.1.new/include/isl/int.h    2013-10-27 15:35:31.348553812 +0100

@@ -14,7 +14,7 @@

 #include <string.h>

 #include <gmp.h>

 #if defined(__cplusplus)

-#include <iostream>

+#include <ostream>

 #endif

 

 #if defined(__cplusplus)

pkgs/top-level/aliases.nix

+2 −0
Original line number Diff line number Diff line
@@ -709,6 +709,8 @@ mapAliases ({ 
  ipfs-migrator = kubo-migrator; # Added 2022-09-27

  iproute = iproute2; # moved from top-level 2021-03-14

  irrlichtmt = throw "irrlichtmt has been removed because it was moved into the Minetest repo"; # Added 2024-08-12

  isl_0_11 = throw "isl_0_11 has been removed from Nixpkgs, as it is unmaintained and obsolete"; # Added 2024-09-13

  isl_0_14 = throw "isl_0_14 has been removed from Nixpkgs, as it is unmaintained and obsolete"; # Added 2024-09-13

  iso-flags-png-320x420 = lib.warn "iso-flags-png-320x420 has been renamed to iso-flags-png-320x240" iso-flags-png-320x240; # Added 2024-07-17



  ### J ###

pkgs/top-level/all-packages.nix

+0 −2
Original line number Diff line number Diff line
@@ -8941,8 +8941,6 @@ with pkgs; 
  ised = callPackage ../tools/misc/ised { };















  isl = isl_0_20;













  isl_0_11 = callPackage ../development/libraries/isl/0.11.1.nix { };













  isl_0_14 = callPackage ../development/libraries/isl/0.14.1.nix { };















  isl_0_17 = callPackage ../development/libraries/isl/0.17.1.nix { };















  isl_0_20 = callPackage ../development/libraries/isl/0.20.0.nix { };















  isl_0_24 = callPackage ../development/libraries/isl/0.24.0.nix { };