From 811279df0101c76a8e892179e2c8ec1e0ac7414e Mon Sep 17 00:00:00 2001 From: Raul Infante-Sainz Date: Mon, 29 Apr 2019 15:54:17 +0100 Subject: 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'. --- .file-metadata | Bin 6713 -> 6713 bytes 1 file changed, 0 insertions(+), 0 deletions(-) (limited to '.file-metadata') diff --git a/.file-metadata b/.file-metadata index e52462c..c22144e 100644 Binary files a/.file-metadata and b/.file-metadata differ -- cgit v1.2.1