You can not select more than 25 topics
Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
|
#!/usr/bin/env bash |
|
|
|
./configure --prefix=/usr \ |
|
--disable-static \ |
|
--enable-thread-safe \ |
|
--docdir=/usr/share/doc/mpfr-4.2.2 |
|
|
|
make |
|
make html |
|
|
|
make check |
|
|
|
make install |
|
make install-html |
|
|
|
|
