repo/core/gmp/build

#!/bin/sh -e

./configure \
    --prefix=/usr \
    --localstatedir=/var/state/gmp \
    --enable-cxx \
    --with-pic \
    --build=x86_64-pc-linux-musl

make
make DESTDIR="$1" install

# Remove all info files.
rm -rf "$1/usr/share/info"
general: Added packages. 2019-05-18 16:06:11 +00:00			`#!/bin/sh -e`

			`./configure \`
			`--prefix=/usr \`
			`--localstatedir=/var/state/gmp \`
			`--enable-cxx \`
gmp: Force musl 2019-07-13 08:16:20 +00:00			`--with-pic \`
			`--build=x86_64-pc-linux-musl`
general: Added packages. 2019-05-18 16:06:11 +00:00
			`make`
			`make DESTDIR="$1" install`
kiss: Update manifests and remove info files (for now at least). 2019-06-18 08:48:13 +00:00
			`# Remove all info files.`
			`rm -rf "$1/usr/share/info"`