Unverified Commit 1c2527a8 authored by Nick Cao's avatar Nick Cao Committed by GitHub
Browse files

python3Packages.islpy: build with isl_0_27; remove unused imath (#450365)

parents 7be9a2e3 1e4e0e10

pkgs/development/python-modules/islpy/default.nix

+4 −7
Original line number Diff line number Diff line
@@ -12,7 +12,6 @@ 
  typing-extensions,



  # buildInputs

  imath,

  isl,



  # tests
@@ -41,18 +40,16 @@ buildPythonPackage rec { 
  ];



  buildInputs = [

    imath

    isl

  ];



  dontUseCmakeConfigure = true;



  cmakeFlags = [

    "-DUSE_SHIPPED_ISL=OFF"

    "-DUSE_SHIPPED_IMATH=OFF"

    "-DUSE_BARVINOK=OFF"

    "-DISL_INC_DIRS:LIST='${lib.getDev isl}/include'"

    "-DISL_LIB_DIRS:LIST='${lib.getLib isl}/lib'"

    (lib.cmakeBool "USE_SHIPPED_ISL" false)

    (lib.cmakeBool "USE_BARVINOK" false)

    (lib.cmakeOptionType "list" "ISL_INC_DIRS" "${lib.getDev isl}/include")

    (lib.cmakeOptionType "list" "ISL_LIB_DIRS" "${lib.getLib isl}/lib")

  ];



  # Force resolving the package from $out to make generated ext files usable by tests

pkgs/top-level/python-packages.nix

+1 −1
Original line number Diff line number Diff line
@@ -7299,7 +7299,7 @@ self: super: with self; { 














  isbnlib = callPackage ../development/python-modules/isbnlib { };



























  islpy = callPackage ../development/python-modules/islpy { isl = pkgs.isl_0_24; };













  islpy = callPackage ../development/python-modules/islpy { isl = pkgs.isl_0_27; };





























  ismartgate = callPackage ../development/python-modules/ismartgate { };