repo/extra/mpfr/build

mirror of https://codeberg.org/kiss-community/repo synced 2024-07-04 23:12:28 +00:00
#!/bin/sh -e

./configure \
    --prefix=/usr \
    --enable-shared

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 \`
			`--enable-shared`

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