3 For simplicity, the pybind headers were retrieved from
4 https://github.com/pybind/pybind11/archive/v2.5.0.tar.gz
8 wget https://github.com/pybind/pybind11/archive/v2.5.0.tar.gz
10 mv pybind11*/include pybind/
11 mv pybind11*/tools pybind/
12 cp pybind11*/{CMakeLists.txt,LICENSE} pybind/
15 If we need to update the version of pybind, the easiest thing would be to just `git rm` the pybind directory,
16 decompress a new one, and `git add` it back (in a single commit).
18 Alternatives include git submodules and `git subtree`
19 (see https://www.atlassian.com/blog/git/alternatives-to-git-submodule-git-subtree), or to rely on local pybind
20 sournces, possibly retrieved as a `pip` dependency.
22 ### source tree pruning
24 To minimize the footprint of pybind, we include a minimal amount of it.
26 `docs` and `tests` directories removed