2019-08-03 06:28:58 +00:00
|
|
|
#!/bin/sh -e
|
|
|
|
|
|
|
|
|
|
./configure \
|
|
|
|
|
--prefix=/usr
|
|
|
|
|
|
|
|
|
|
make
|
|
|
|
|
make DESTDIR="$1" install
|
2021-07-06 11:35:05 +00:00
|
|
|
|
|
|
|
|
# Remove XML documentation.
|
2021-07-06 11:40:07 +00:00
|
|
|
# False positive.
|
|
|
|
|
# shellcheck disable=2115
|
2021-07-06 11:35:05 +00:00
|
|
|
rm -rf "$1/usr/share"
|
