diff options
| author | Austin Seipp <aseipp@pobox.com> | 2018-08-15 14:55:09 -0500 |
|---|---|---|
| committer | Austin Seipp <aseipp@pobox.com> | 2018-08-15 20:44:05 -0500 |
| commit | 6e910b2b3d3815f24280f707467b46becc7fa549 (patch) | |
| tree | 9c20c91836793f37f8b8cff22745788a8d6bbdef /pkgs/development/python-modules/GitPython/hardcode-git-path.patch | |
| parent | 3d6448250f1e70dbafc760e17881395929510799 (diff) | |
aiger: clean up configurePhase, install multi-output objects/headers
The library and header files are useful for other tools, such as
the upcoming 'lingeling'.
Signed-off-by: Austin Seipp <aseipp@pobox.com>
Diffstat (limited to 'pkgs/development/python-modules/GitPython/hardcode-git-path.patch')
0 files changed, 0 insertions, 0 deletions