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