aboutsummaryrefslogtreecommitdiff
path: root/.gitignore
diff options
context:
space:
mode:
authorRaul Infante-Sainz <infantesainz@gmail.com>2019-04-29 15:54:17 +0100
committerRaul Infante-Sainz <infantesainz@gmail.com>2019-04-29 15:54:17 +0100
commit811279df0101c76a8e892179e2c8ec1e0ac7414e (patch)
tree5e4eeaba08ac161b954dc54ab18417ff72e3fe39 /.gitignore
parent94f258b973a111178c3399bef372dc1b195dd025 (diff)
Added M4 as prerequisite of GMP
Until this commit, `m4' was not a prerequisite of `gmp'. However, during a test in Ubuntu 14.04 using one single core in the configure step, it crashed complaining about not having `m4' installed. With this commit, we set `m4' as a prerequisite of `gmp'.
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions