blob: 99fd5fe269c3cb39ae162596c92c29a3cef571d5 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
|
#!/bin/bash
./configure --prefix=/usr \
--disable-static \
--enable-thread-safe \
--docdir=/usr/share/doc/mpfr-"${VERSION}" &&
make &&
make html &&
make -j1 install &&
make -j1 install-html
|