diff options
| author | Austin Seipp <aseipp@pobox.com> | 2019-01-12 18:37:30 -0600 |
|---|---|---|
| committer | Austin Seipp <aseipp@pobox.com> | 2019-01-12 20:06:28 -0600 |
| commit | 53fb3bb3ef297314141fd0041922846d63e05925 (patch) | |
| tree | 704c779d532ad552b000e5263b483b7adca56b1f /pkgs/development/python-modules/GitPython/hardcode-git-path.patch | |
| parent | 570d84a01eb5d511b1d5b75162e97c1c347d49f2 (diff) | |
compcert: clean up expression
- Require Coq 8.6.1+
- Split substituteInPlace call into patchPhase
- Constrain platforms correctly to x86_64 Linux/Darwin, which was all
it supported anyway (there was no way to properly configure i686 builds,
nor cross builds. In the future there might be)
- Minor stylistic cleanups
- Add new 'man' and 'doc' outputs (the previous attempt to move the
build artifact outputs into $lib no longer worked correctly and they
were installed into 'out' instead, this fixes it completely).
- Clean up weird binary artifacts left in $out (that were already
in $lib)
- Wrap ccomp to undefine _FORTIFY_SOURCE; otherwise it causes
annoying warnings on every invocation
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