Commit 1e4e0e10 authored by qbisi's avatar qbisi
Browse files

python3Packages.islpy: use cmakeBool/cmakeFeature

parent a7afe2d6

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

+4 −4
Original line number Diff line number Diff line
@@ -46,10 +46,10 @@ buildPythonPackage rec { 
  dontUseCmakeConfigure = true;



  cmakeFlags = [

    "-DUSE_SHIPPED_ISL=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