home *** CD-ROM | disk | FTP | other *** search
/ GEMini Atari / GEMini_Atari_CD-ROM_Walnut_Creek_December_1993.iso / files / language / isetl / read.me < prev    next >
Encoding:
Text File  |  1987-08-20  |  2.9 KB  |  90 lines
  1.  
  2. ISETL 1.6  (c) Gary Marc Levin 1987
  3. This copyright covers the source code, object code, documentation, and
  4. test programs.
  5.  
  6. This program may be copied in either source or object form and
  7. distributed by anyone.  The only restrictions are that this file be
  8. included in any copied material, and that no charge be made over and
  9. above copying, media, and mailing costs.
  10.  
  11. The program has been developed by Gary Levin at Clarkson University.
  12. Please address any problems or questions to:
  13.  
  14.     Gary Levin
  15.     Dept of Math and Computer Science
  16.     Clarkson University
  17.     Potsdam, NY 13676
  18.     (315) 268-2384
  19.         nl00@clutx.clarkson.edu
  20.         decvax!sii!trixie!sandbox!gary
  21.  
  22. I would appreciate hearing from anyone who has compiled the
  23. system from the source.
  24.  
  25. I am also interested in any problems that are discovered.  This would
  26. include:
  27.  
  28.     (1) Failures in the software.  If there is an error message,
  29.     please include that in your report.  If the results are
  30.     unexpected, include an explanation of what you expected and
  31.     what actually occurred.  Where possible, please provide sample
  32.     input that will reproduce the error.
  33.  
  34.     (2) Problems with the documentation.  If you feel that
  35.     documentation is misleading or unclear, let me know where you
  36.     have problems.
  37.  
  38.     (3) Missing features.  If there is a feature that you think would
  39.     be useful, describe it and give some examples of how it would
  40.     be useful.
  41.  
  42.  
  43. =========
  44.  
  45. To install ISETL from source tape or disks
  46.  
  47. Load the files into an empty directory.
  48.  
  49. The result will be:
  50.     "READ.ME"  (this file)
  51.  
  52.     "isetl" (compiled to run under 4.2bsd) and ".isetlrc"
  53.     or "isetl.exe" and "isetl.ini" (MSDOS)
  54.     or "isetl 1.6" and "isetl.ini" (Mac).
  55.  
  56.     *.c and *.h files needed to create isetl.
  57.  
  58.     parser.y and scanner.l to re-create parser.h, parser.c, and
  59.     scanner.c.
  60.  
  61.     Makefile to automatically perform compilation.  Type "make
  62.     vax" (use your machine type in place of vax) and wait.  Move
  63.     "isetl" to wherever you want it.  See machine.h if you need to
  64.     tailor the source to a machine not yet covered.
  65.  
  66.     explain.tex -- source for the printed documentation.
  67.  
  68.     *.t -- isetl source files to test features and provide
  69.     examples.
  70.  
  71.     *.r -- standard output for corresponding *.t files.  If you
  72.     run "isetl -s", this is the output.  There may be some
  73.     differences in output, in particular the tests of "random" and
  74.     "arb" and printing of sets.  If these are the only differences,
  75.     everything is fine.
  76.  
  77.     These test cases are also examples of most of the features
  78.     present in ISETL.
  79.  
  80. If you attempt to upload from MSDOS to UNIX, some file names will
  81. have been truncated.  If the makefile complains about missing files
  82. (usually by saying "Don't know how to make ..."), check to see if
  83. you have a file whose name needs extending.  Those files are
  84.  
  85. MSDOS                   UNIX
  86. microcod.c              microcode.c
  87. interpre.c              interpreter.c
  88. operatio.c              operations.c
  89.  
  90. Similarly, you need to rename "isetl.ini" as ".isetlrc".