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
generated by cgit v1.2.3 (git 2.39.1) at 2024-04-26 10:56:59 +0000