home *** CD-ROM | disk | FTP | other *** search
/ ftp.cs.yorku.ca 2015 / ftp.cs.yorku.ca.tar / ftp.cs.yorku.ca / pub / peter / SVT / GNU / README next >
Text File  |  2004-05-18  |  660b  |  20 lines
  1. SVT TOOLS -- Gnu Prolog Versions
  2.  
  3. The *.pl files in this directory are Gnu Prolog versions of the tools used in 
  4. _Software Verification Tools_.  To construct stand-alone versions of these 
  5. tools as described in the the text,
  6.  
  7. (1) install Gnu Prolog (see http://www.gnu.org/directory/GNU/prolog.html compiler) on 
  8. your platform;
  9.  
  10. (2) invoke the gprolog compiler on the Gnu Prolog source file:
  11.  
  12.       % gplc <file> 
  13.  
  14. The binaries in this directory run on Intel x86 platforms, under Red Hat 7.3.
  15. Sun Solaris UltraSPARC binaries are in ../SOLARIS.
  16. Macintosh OSX binaries are in ../OSX.
  17.  
  18.              . . .  Peter Roosen-Runge
  19.                     peter@cs.yorku.ca
  20.