[clean-list] ExtendedArith with Clean22 on Linux

[Isaac Gouy]

--- John van Groningen <johnvg at cs.ru.nl> wrote:

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


Thanks, that works just fine for me

http://shootout.alioth.debian.org/gp4/benchmark.php?test=pidigits&lang=clean&id=0#log

http://shootout.alioth.debian.org/gp4/benchmark.php?test=pidigits&lang=clean&id=2#log


 
____________________________________________________________________________________
TV dinner still cooling? 
Check out "Tonight's Picks" on Yahoo! TV.
http://tv.yahoo.com/