Hi, Camm. Thank you for your very detailed reply!
> As for the path to cmpinclude.h, this should be handled
for you
> automatically, as the compiler appends -I si::*system-directory*
> ../h to the gcc command line. Perhaps you could
investigate your
> si::*system-directory* variable.
Thanks -- that was the problem. SI::*SYSTEM-DIRECTORY*
was getting set by the -dir command-line option to ACL2 to point to the
ACL2 root directory, not to <GCL_ROOT_DIR>/unixport. Always
wondered what that -dir flag did...when it's buried in a shell script,
one tends to forget about the existence of such things...