| Commit message (Expand) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | [doc/mini-gmp] added information about result of "make check" | zimmerma | 2017-12-05 | 1 | -1/+11 |
| * | add --disable-shared for mini-gmp (not tested yet with dynamic linking) | zimmerma | 2017-12-05 | 1 | -1/+1 |
| * | make compilation work again (make + make check) with mini-gmp | zimmerma | 2017-12-04 | 1 | -3/+3 |
| * | minor modification of documentation for mini-gmp | zimmerma | 2016-01-18 | 1 | -1/+1 |
| * | simplify the configuration with mini-gmp | zimmerma | 2015-11-03 | 1 | -23/+4 |
| * | adapt for mini-gmp (from GMP 6.1.0-rc1) | zimmerma | 2015-10-29 | 1 | -26/+19 |
| * | adapt mini-gmp stuff to GMP 6.1.0-rc1 | zimmerma | 2015-10-28 | 1 | -0/+6 |
| * | [doc/mini-gmp] Added a note about MPFR_USE_MINI_GMP. | vlefevre | 2014-07-02 | 1 | -0/+4 |
| * | instructions to compile MPFR with mini-gmp | zimmerma | 2014-01-18 | 1 | -0/+38 |
 |
index : delta/mpfr.git | |
| scm.gforge.inria.fr: anonscm/svn/mpfr |
| summaryrefslogtreecommitdiff |