gm2 on FreeBSD 11.3

[Ben Stuyts]

Hi,

It’s been a while since I last worked with gm2, and now I want to get the 
latest working on FreeBSD 11.3. After issuing the following commands I get an 
error about gmp.h:

$ wget 
http://floppsie.comp.glam.ac.uk/download/c/gcc-8.2.0+gm2-git-latest.tar.gz
$ tar zxf gcc-8.2.0+gm2-git-latest.tar.gz
$ cd gcc-8.2.0+gm2-git-latest/gm2/gcc-versionno
$ ./contrib/download_prerequisites

2020-02-28 16:21:21 URL: 
ftp://gcc.gnu.org/pub/gcc/infrastructure/gmp-6.1.0.tar.bz2 [2383840] -> 
"./gmp-6.1.0.tar.bz2" [1]
2020-02-28 16:21:24 URL: 
ftp://gcc.gnu.org/pub/gcc/infrastructure/mpfr-3.1.4.tar.bz2 [1279284] -> 
"./mpfr-3.1.4.tar.bz2" [1]
2020-02-28 16:21:28 URL: 
ftp://gcc.gnu.org/pub/gcc/infrastructure/mpc-1.0.3.tar.gz [669925] -> 
"./mpc-1.0.3.tar.gz" [1]
2020-02-28 16:21:32 URL: 
ftp://gcc.gnu.org/pub/gcc/infrastructure/isl-0.18.tar.bz2 [1658291] -> 
"./isl-0.18.tar.bz2" [1]
gmp-6.1.0.tar.bz2: OK
mpfr-3.1.4.tar.bz2: OK
mpc-1.0.3.tar.gz: OK
isl-0.18.tar.bz2: OK
All prerequisites downloaded successfully.

$ cd ../../..
$ mkdir build-8.2.0
$ cd build-8.2.0
$ CXXFLAGS=-g BOOT_CFLAGS=-g CFLAGS=-g \
   ../gcc-8.2.0+gm2-git-latest/gm2/gcc-versionno/configure \
   --prefix=$HOME/opt \
   --libexecdir=$HOME/opt/lib \
   --enable-threads=posix \
   --enable-clocale=gnu --enable-languages=c,c++,gm2 \
   --disable-multilib --disable-bootstrap --enable-checking

checking build system type... x86_64-unknown-freebsd11.3
…
config.status: creating Makefile

$ gmake

…
libtool: link: ranlib .libs/libgmp.a
libtool: link: rm -fr .libs/libgmp.lax
libtool: link: ( cd ".libs" && rm -f "libgmp.la" && ln -s "../libgmp.la" 
"libgmp.la" )
gmake[4]: Leaving directory '/home/ben/src/gm2/build-8.2.0/gmp'
gmake[3]: Leaving directory '/home/ben/src/gm2/build-8.2.0/gmp'
gmake[2]: Leaving directory '/home/ben/src/gm2/build-8.2.0/gmp'
mkdir ./mpfr
Configuring in ./mpfr
configure: creating cache ./config.cache
…
checking for library containing clock_gettime... none required
checking for gmp.h... no
configure: error: gmp.h can't be found, or is unusable.
gmake[1]: *** [Makefile:5175: configure-mpfr] Error 1
gmake[1]: Leaving directory '/home/ben/src/gm2/build-8.2.0'
gmake: *** [Makefile:922: all] Error 2

So it just built gmp, and next it cannot find it. Any idea what the problem 
could be?

Thanks,
Ben