Strip libraries
Julien Puydt
2 years ago
|
0 |
coq (8.14.0+dfsg-4) UNRELEASED; urgency=medium
|
|
1 |
|
|
2 |
* Strip libraries.
|
|
3 |
|
|
4 |
-- Julien Puydt <jpuydt@debian.org> Sat, 13 Nov 2021 16:00:07 +0100
|
|
5 |
|
| 0 | 6 |
coq (8.14.0+dfsg-3) unstable; urgency=medium
|
| 1 | 7 |
|
| 2 | 8 |
* Add bash to the build-deps and generalize
|
| 49 | 49 |
override_dh_auto_build:
|
| 50 | 50 |
# Don't combine `make world` and `make byte`--doing so triggers a race
|
| 51 | 51 |
# in the build system. See upstream's CHANGES.
|
| 52 | |
$(MAKE) world STRIP=true
|
| 53 | |
$(MAKE) byte STRIP=true
|
|
52 |
$(MAKE) world
|
|
53 |
$(MAKE) byte
|
| 54 | 54 |
$(MAKE) doc-stdlib-html HTMLSTYLE=simple
|
| 55 | 55 |
|
| 56 | 56 |
# Check that $(COQ_VERSION) has the right value
|
|
| 99 | 99 |
done
|
| 100 | 100 |
dh_gencontrol
|
| 101 | 101 |
|
|
102 |
override_dh_strip:
|
|
103 |
# usual dh_strip finds lib*.a, not *.a
|
|
104 |
find debian/ -name "*.a" -exec strip '{}' \;
|
|
105 |
dh_strip
|
|
106 |
|
| 102 | 107 |
# why is this necessary?
|
| 103 | 108 |
override_dh_fixperms:
|
| 104 | 109 |
dh_fixperms
|