[clean-list] ExtendedArith with Clean22 on Linux

j.romildo at gmail.com j.romildo at gmail.com
Fri Feb 23 23:24:16 MET 2007


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


More information about the clean-list mailing list