2019-05-18 15:21:03 +00:00
|
|
|
#!/bin/sh -e
|
|
|
|
|
|
|
|
./configure \
|
2019-05-18 15:44:10 +00:00
|
|
|
--prefix=/usr \
|
|
|
|
--sysconfdir=/etc
|
2019-05-18 15:21:03 +00:00
|
|
|
|
2019-05-18 15:42:33 +00:00
|
|
|
mkdir -p "$1/usr/bin"
|
2019-05-18 15:21:03 +00:00
|
|
|
|
|
|
|
make
|
2019-05-18 15:42:33 +00:00
|
|
|
make DESTDIR="$1" install
|
2019-05-18 15:21:03 +00:00
|
|
|
|
2019-05-18 15:44:10 +00:00
|
|
|
cd "$1/usr/bin"
|
2019-05-18 15:21:03 +00:00
|
|
|
ln -s pkgconf pkg-config
|
2019-08-11 18:29:44 +00:00
|
|
|
|
|
|
|
# Remove docs.
|
|
|
|
rm -rf "$1/usr/share/doc"
|