blob: c76276e052faf3f8f7737fd3b3aec3ea422e3b54 (
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
|