I've booted up a CentOS 8.1905 system. The compile/make now succeeds.
The cause is apparently the difference between the glibc package version 2.28 for CentOS 8 and package version 2.17 for CentOS 7.6.
If you would like to refer to this comment somewhere else in this project, copy and paste the following link:
I've installed 3.3RC4 a dozen times.
Now trying 3.3RC7:
./configure --with-rexx=regina --with-curses=ncurses
make install
Results:
chmod u+x ./install-sh
gcc -c -g -O2 -m64 -O3 -Wall -fomit-frame-pointer -fno-strict-aliasing
-Wno-char-subscripts -I. -I. -I./contrib -DNDEBUG
-DHAVE_CONFIG_H-DTHE_HOME_DIRECTORY=\"/usr/local/share/THE/\"
-I/usr/local/include-DTHE_VERSION=\""3.3RC7"\"
-DTHE_VERSION_DATE=\""16-September-2019"\" -o execthe.o ./execthe.c
In file included from /usr/include/unistd.h:893:0,
from ./execthe.c:14:
./contrib/getopt.h:35:30: fatal error: bits/getopt_core.h: No such file
or directory
include <bits getopt_core.h=""></bits>
^
compilation terminated.
make: *** [execthe.o] Error 1
I've booted up a CentOS 8.1905 system. The compile/make now succeeds.
The cause is apparently the difference between the glibc package version 2.28 for CentOS 8 and package version 2.17 for CentOS 7.6.