Maximilian Bosch 94c3ac2574 pythonPackages.pybind11: apply patch to properly get headers directories ... It seems as the `pybind11` build code returns the Python headers directory (where the `pybind11` headers are stored as well on traditional setups) rather than returning the dedicated prefix[1]. An exemplary fallout is the broken build of `pyopencl`[2]. [1] https://github.com/pybind/pybind11/issues/1425 [2] https://github.com/NixOS/nixpkgs/pull/56082		2019-03-08 07:08:44 +01:00
..
default.nix