2019-05-18 10:06:11 -06:00
|
|
|
#!/bin/sh -e
|
|
|
|
|
|
2019-07-13 02:37:24 -06:00
|
|
|
cp -v configfsf.guess config.guess
|
|
|
|
|
cp -v configfsf.sub config.sub
|
|
|
|
|
|
2019-05-18 10:06:11 -06:00
|
|
|
./configure \
|
|
|
|
|
--prefix=/usr \
|
|
|
|
|
--localstatedir=/var/state/gmp \
|
2019-07-13 02:40:00 -06:00
|
|
|
--build="$(gcc -dumpmachine)" \
|
2019-05-18 10:06:11 -06:00
|
|
|
--enable-cxx \
|
2019-07-13 03:16:44 -06:00
|
|
|
--enable-fat \
|
2019-07-13 02:37:24 -06:00
|
|
|
--with-pic
|
2019-05-18 10:06:11 -06:00
|
|
|
|
|
|
|
|
make
|
|
|
|
|
make DESTDIR="$1" install
|
2019-06-18 02:48:13 -06:00
|
|
|
|
|
|
|
|
# Remove all info files.
|
|
|
|
|
rm -rf "$1/usr/share/info"
|
