2019-06-23 10:15:26 +00:00
|
|
|
#!/bin/sh -e
|
|
|
|
|
|
|
|
|
|
./configure \
|
|
|
|
|
--prefix=/usr \
|
|
|
|
|
--disable-nls \
|
|
|
|
|
--with-ignore-dot \
|
|
|
|
|
--with-insults=disabled \
|
|
|
|
|
--with-all-insults \
|
|
|
|
|
--without-sendmail \
|
|
|
|
|
--with-logfac=auth \
|
|
|
|
|
--disable-root-mailer \
|
|
|
|
|
--enable-pie \
|
|
|
|
|
--with-passprompt="[sudo] password for %p: "
|
|
|
|
|
|
|
|
|
|
make
|
2019-08-30 17:03:08 +00:00
|
|
|
make \
|
|
|
|
|
DESTDIR="$1" \
|
|
|
|
|
install_uid="$(id -u)" \
|
|
|
|
|
install_gid="$(id -g)" \
|
|
|
|
|
install
|
2019-08-11 18:27:25 +00:00
|
|
|
|
|
|
|
|
# Remove docs.
|
|
|
|
|
rm -rf "$1/usr/share/doc"
|
