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