2019-06-27 03:36:18 -06:00
|
|
|
#!/bin/sh -e
|
|
|
|
|
|
|
|
|
|
./configure \
|
2021-07-05 17:02:28 -06:00
|
|
|
--prefix=/usr \
|
|
|
|
|
--without-xmlwf \
|
|
|
|
|
--without-examples \
|
|
|
|
|
--without-tests \
|
|
|
|
|
--without-docbook
|
2019-06-27 03:36:18 -06:00
|
|
|
|
|
|
|
|
make
|
|
|
|
|
make DESTDIR="$1" install
|
2021-07-05 17:02:28 -06:00
|
|
|
|
|
|
|
|
# Remove documentation (Changelogs, etc).
|
2021-07-05 17:05:47 -06:00
|
|
|
# False positive.
|
|
|
|
|
# shellcheck disable=SC2115
|
2021-07-05 17:02:28 -06:00
|
|
|
rm -rf "$1/usr/share"
|
