[clean-list] ExtendedArith with Clean22 on Linux

[John van Groningen]

Romildo wrote:

>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?

Clean 2.1 on linux ignored "import code from", Clean 2.2 now supports
this. The file ExtendedArith/BigInt.icl contains (line 138):

import code from "gmp.o", "gmp_platform.o"

Clean 2.2 tries to find the files gmp.o and gmp_platform.o.
gmp_platform.o is no longer used on linux, so change this line to:

import code from "gmp.o"

clm tries to find gmp.o in a "Clean System Files" directory, but
gmp.o is stored in "ExtendedArith", so copy or move it to
"ExtendedArith/Clean System Files".

Because gmp.o is now automatically included, remove
"-l ../ExtendedArith/gmp.o" from clm's arguments, and use:

clm -I ../ExtendedArith -l -lgmp pi

If have made an ExtendedArithLinux.tar.gz for Clean 2.2, you can
download it at:

http://clean.cs.ru.nl/download/Clean22/linux/ExtendedArithLinux.tar.gz

or

ftp://clean.cs.ru.nl/pub/Clean/Clean22/linux/ExtendedArithLinux.tar.gz

Kind regards,

John van Groningen