2
0
mirror of https://codeberg.org/kiss-community/repo synced 2024-11-17 04:00:14 -07:00
repo/extra/mpfr/build
Muhammad Herdiansyah 1efca30d25 mpfr: move to extra
2019-07-15 18:26:20 +07:00

12 lines
153 B
Bash
Executable File

#!/bin/sh -e
./configure \
--prefix=/usr \
--enable-shared
make
make DESTDIR="$1" install
# Remove all info files.
rm -rf "$1/usr/share/info"