aboutsummaryrefslogtreecommitdiff
path: root/extra/mpfr/build
blob: 9e85cfce6ef37cb261a647a15816fbedacc3a653 (plain)
1
2
3
4
5
6
7
8
#!/bin/sh -e

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

make
make DESTDIR="$1" install