Greetings, thanks for your explanation about the <stdint.h> issue. I will take a look at the regexp you mentioned and see if I can provide a patch.
Regarding to external gmp, in my system the GMP library and headers are
installed (through MacPorts) at /opt/local/lib and /opt/local/include. I
think when I'm using GCC 13, these directories are automatically used.
But when I'm compiling with Apple's clang from Xcode, I have to let
clang know these directories. However, the following "standard" way
doesn't help:
export CFLAGS=-I/opt/local/include
export LDFLAGS=-L/opt/local/lib
With the above environment variables, and with --enable-dynsysgmp when
calling ./configure of GCL, I still got the following error messages
saying system GMP cannot be used:
> checking for gmp.h... yes
> checking for __gmpz_init in -lgmp... yes
> checking for external gmp version... good
> foo.c:1:10: fatal error: 'gmp.h' file not found
> #include "gmp.h"
> ^~~~~~~
> 1 error generated.
> Cannot use dynamic gmp lib
> checking doing configure in gmp directory...
> #
> #
> # -------------------
> # Subconfigure of GMP
> #
> #
By looking at your ways of detecting GMP in configure.in:
> if test "$enable_dynsysgmp" != "no" ; then
> AC_CHECK_HEADERS(
> [gmp.h],
> [AC_CHECK_LIB(
> [gmp],[__gmpz_init],
> [AC_MSG_CHECKING([for external gmp version])
> AC_RUN_IFELSE(
> [AC_LANG_PROGRAM(
> [[
> #include <gmp.h>
> ]],
> [[
> #if __GNU_MP_VERSION > 3
> return 0;
> #else
> return -1;
> #endif
> ]])],
> [AC_MSG_RESULT([good])
> TLIBS="$TLIBS -lgmp"
> echo "#include \"gmp.h\"" >foo.c
> echo "int main() {return 0;}" >>foo.c
> MP_INCLUDE=`cpp foo.c | $AWK '/(\/|\\\\)gmp.h/ {if (!i)
> print $3;i=1}' | tr -d '"'`
> rm -f foo.c])])])
>
> if test "$MP_INCLUDE" = "" ; then
> AC_MSG_RESULT([Cannot use dynamic gmp lib])
> fi
>
> fi
I think, when the command "cpp foo.c" was getting called, the "cpp"
(from Xcode) program still doesn't know the location of GMP headers,
unless "cpp $CFLAGS" is used instead. My following manual tests
confirmed my guess:
$ echo "#include \"gmp.h\"" >foo.c
$ echo "int main() {return 0;}" >>foo.c
$ cpp foo.c | $AWK '/(\/|\\\\)gmp.h/ {if (!i) print $3;i=1}' | tr -d '"'
foo.c:1:10: fatal error: 'gmp.h' file not found
#include "gmp.h"
^~~~~~~
1 error generated.
$ cpp $CFLAGS foo.c | $AWK '/(\/|\\\\)gmp.h/ {if (!i) print $3;i=1}' |
tr -d '"'
/opt/local/include/gmp.h
Therefore, I think you should at least put $CFLAGS inside the above
configure.in code pieces, to handle non-standard position of GMP headers
given by CFLAGS.
P.S. in you macOS Catalina environment, if you have GMP libraries
installed at /usr/local, that must be installed from Homebrew. I suggest
completely removing Homebrew because the installation location of
Homebrew has moved to /opt/ in higher versions of macOS. Its advantage
of staying at the "default" directory (/usr/local) is no more.
Regards,
Chun TIAN
On 08/02/24 02:31, Camm Maguire wrote:
> Greetings, and thannks as always for your feedback.
>
> "Chun Tian (binghe)" <binghe.l...@gmail.com> writes:
>
>> Greetings,
>>
>> In the commit dc9eba0760dedcd3d042a408e715b38ac2222aa3 [1], I saw the
>> following line from gcl/h/compbas2.h was removed:
>>
>> diff --git a/gcl/h/compbas2.h b/gcl/h/compbas2.h
>> index 20a2b5c..cc7d87c 100755
>> --- a/gcl/h/compbas2.h
>> +++ b/gcl/h/compbas2.h
>> @@ -10,7 +10,6 @@ EXTER int Rset;
>>
>> #ifndef U8_DEFINED
>>
>> -#include <stdint.h>
>>
>> typedef int8_t i8 ;
>> typedef int16_t i16;
>
> This is a step toward securing a fricas build, which on my box at least
> is just about done. signal.h, from bsdsignal.c, conflicts with my full
> stdint on some symbol containing 'fds', which I do not need. The
> intent is to extract the needed parts in h/mstdint.h. This is an
> intermediate file removed by make, but you can look at it with 'make
> h/mstdint.h' from the top level. Apparently the regexp used there needs
> adjusting for your system.
>
>> Also note that I had to use GCC 13 instead of clang, because with clang
>> even the GMP building part doesn't success at the linking stage. (My
>> previous successful GCL 2.7.0 build was also based on GCC 13.)
>>
>
> Good to hear. I had trouble with gcc13 on Catalina which I did not
> pursue as it would not get me gprof anyway :-(. I'm using the external
> gmp library which works well -- does this not work for you? I'm
> thinking of removing the convenience copy of gmp4.
>
> Take care,
>
signature.asc
Description: OpenPGP digital signature
