2
0
mirror of https://codeberg.org/kiss-community/repo synced 2024-12-25 08:40:10 -07:00
repo/core/mpfr/build

12 lines
153 B
Plaintext
Raw Normal View History

2019-05-18 10:06:11 -06:00
#!/bin/sh -e
./configure \
--prefix=/usr \
--enable-shared
make
make DESTDIR="$1" install
# Remove all info files.
rm -rf "$1/usr/share/info"