repo/core/gmp/build

mirror of https://codeberg.org/kiss-community/repo synced 2024-08-20 13:16:19 +00:00
#!/bin/sh -e

./configure \
    --prefix=/usr \
    --localstatedir=/var/state/gmp \
    --enable-cxx \
    --with-pic

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 \`
			`--with-pic`

			`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"`