2019-07-29 23:05:37 -06:00
|
|
|
#!/bin/sh -e
|
|
|
|
|
|
|
|
|
|
./configure \
|
|
|
|
|
--prefix=/usr
|
|
|
|
|
|
|
|
|
|
make
|
|
|
|
|
make DESTDIR="$1" install
|
|
|
|
|
|
2019-09-16 04:20:58 -06:00
|
|
|
# Remove unneeded files.
|
2019-07-29 23:05:37 -06:00
|
|
|
rm -rf "$1/usr/share/info"
|
2019-09-16 04:20:58 -06:00
|
|
|
rm -f "$1/usr/lib/charset.alias"
|
