[clean-list] ExtendedArith with Clean22 on Linux

[Isaac Gouy]

****First attempt to compile with ExtendedArithLinux

1) Downloaded and built ExtendedArithLinux

2) Copied /ExtendedArithLinux/ExtendedArith contents to
/clean/lib/ExtendedArith

3) Tried to compile program

$ /opt/clean/bin/clm -b -nt -IL ArgEnv -nr -IL ExtendedArith -l -lgmp
pidigits -o pidigits.run
Linking pidigits
Can't find object file gmp.o imported from BigInt



****Second attempt to compile with ExtendedArithLinux

4) Copied /clean/lib/ExtendedArith/gmp.o to
/clean/lib/ExtendedArith/Clean System Files

5) Tried to compile program

$ /opt/clean/bin/clm -b -nt -IL ArgEnv -nr -IL ExtendedArith -l -lgmp
pidigits -o pidigits.run
Linking pidigits
Can't find object file gmp_platform.o imported from BigInt


How do I build gmp_platform.o ?





 
____________________________________________________________________________________
Bored stiff? Loosen up... 
Download and play hundreds of games for free on Yahoo! Games.
http://games.yahoo.com/games/front