[clean-list] ExtendedArith with Clean22 on Linux

[Isaac Gouy]

Let me add some more symptoms:

1) If I simply copy the ExtendedArith library I had previously compiled
with Clean-2.1 on Linux into the Clean-2.2 lib directory then all seems
well


$ /opt/clean/bin/clm -b -nt -IL ArgEnv -I ../../Include/clean  -nr -IL
ExtendedArith -l /opt/clean/lib/ExtendedArith/gmp.o -l -lgmp  pidigits
-o pidigits.clean_run
Warning: BigInt.abc is generated with another compiler version
Compiling BigInt
Warning [StdInt.abc,1312,abs;13]: no inline code for this rule
Warning [StdInt.abc,1227,gcd;29]: no inline code for this rule
Warning [StdInt.abc,1268,sign;14]: no inline code for this rule
Warning: ExtendedArithBasics.abc is generated with another compiler
version
Compiling ExtendedArithBasics
Warning: _SystemBigInt.abc is generated with another compiler version


2) If I download the library source from
http://www.cs.ru.nl/~clean/download/Clean21/linux/ExtendedArithLinux.tar.gz

extract to a folder in the Clean-2.2 lib directory, and compile

$ ./make.sh
gmp.c: In function 'abort1':
gmp.c:214: warning: incompatible implicit declaration of built-in
function 'abort'
gmp.c: In function 'abort2':
gmp.c:220: warning: incompatible implicit declaration of built-in
function 'abort'
gmp.c: In function 'abort3':
gmp.c:226: warning: incompatible implicit declaration of built-in
function 'abort'
Compiling _SystemBigInt
Compiling BigInt
Warning [StdInt.abc,1312,abs;13]: no inline code for this rule
Warning [StdInt.abc,1227,gcd;29]: no inline code for this rule
Warning [StdInt.abc,1268,sign;14]: no inline code for this rule
Compiling ExtendedArithBasics
Compiling Rational
Compiling Complex
Warning [StdReal.abc,127,sinh;29]: no inline code for this rule
Warning [StdReal.abc,127,cosh;30]: no inline code for this rule
Generating code for BigInt
Generating code for _SystemBigInt
Generating code for ExtendedArithBasics
Generating code for Rational
Generating code for Complex


and then try to compile the same program and same command line as #1 we
seem to have a problem?

$ /opt/clean/bin/clm -b -nt -IL ArgEnv -I ../../Include/clean  -nr -IL
ExtendedArith -l /opt/clean/lib/ExtendedArith/gmp.o -l -lgmp  pidigits
-o pidigits.clean_run
Compiling pidigits
Warning [StdFile.abc,11,stdio;33]: no inline code for this rule
Warning [StdFile.abc,11,fclose;30]: no inline code for this rule
Generating code for pidigits
Linking pidigits
Can't find object file gmp.o imported from BigInt








--- j.romildo at gmail.com wrote:

> Hello.
> 
> The ExtendedArith library (which implements arbitrary precision
> integers) for Clean-2.1 on Linux
>
(ftp://clean.cs.ru.nl/pub/Clean/Clean21/linux/ExtendedArithLinux.tar.gz)
> does not work with Clean-2.2.
> 
> After installing Clean-2.2 on Linux and the above library, the
> example
> program (pi) does link and clm emits the following error message:
> 
> # clm -I ../ExtendedArith -l ../ExtendedArith/gmp.o -l
> /usr/lib/libgmp.a pi
> Linking pi
> Can't find object file gmp.o imported from BigInt
> 
> # ls -l ../ExtendedArith/gmp.o
> -rw-r--r-- 1 root root 5452 2007-02-23 19:24 ../ExtendedArith/gmp.o
> 
> Any clues?
> 
> Romildo
> _______________________________________________
> clean-list mailing list
> clean-list at science.ru.nl
> http://mailman.science.ru.nl/mailman/listinfo/clean-list
> 



 
____________________________________________________________________________________
Food fight? Enjoy some healthy debate 
in the Yahoo! Answers Food & Drink Q&A.
http://answers.yahoo.com/dir/?link=list&sid=396545367