blob: 629c230e821e673df809329868b6a3b3fa657fc3 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
|
#!/bin/bash
DEPS=(glibc gmp)
PKG_VER=4.1.0
SOURCE=https://www.mpfr.org/mpfr-current/mpfr-$PKG_VER.tar.xz
DESC="Multiple-precision floating-point library"
build () {
./configure --prefix=/usr --disable-static --enable-thread-safe --docdir=/usr/share/doc/mpfr-$PKG_VER
make
make html
make check
make DESTDIR=$PKG_DEST install
make DESTDIR=$PKG_DEST install-html
}
|