Juergen Zimmer wrote: > > lundie[TPTP2X] ${ECLIPSEDIR}/lib/sparc_sunos5/eclipse.exe -b tptp2XLoop.ecl -e main > X is 3+4. > 7 is 3 + 4. > compile('tptp2X.main'). > library not found in reexport discontiguous / 1 from scattered > > *** compilation aborted > before line 1 in the file /hame/jzimmer/atp/eclipse/lib/iso.eco This is actually a bug on our side: You seem to use lib(iso) which is indeed part of the runtime version, but that requires lib(scattered), which happens to be missing from the runtime version. We'll correct that in a future patch. In the meantime, you can either: - In case you actually use ISO's discontiguous/1 declaration: copy scattered.pl from a development version of Eclipse to the lib-directory in the runtime version - If you don't use discontiguous/1 in you code: Make a dummy library called scattered.pl which looks like :- module(scattered). :- export discontiguous/1. discontiguous(_). -- Joachim Schimpf / phone: +44 20 7594 8187 IC-Parc, Imperial College / mailto:J.Schimpf@ic.ac.uk London SW7 2AZ, UK / http://www.icparc.ic.ac.uk/eclipseReceived on Wed Jan 23 16:36:05 2002
This archive was generated by hypermail 2.1.8 : Wed 16 Nov 2005 06:08:12 PM GMT GMT