home *** CD-ROM | disk | FTP | other *** search
/ The World of Computer Software / World_Of_Computer_Software-02-387-Vol-3of3.iso / p / prolg386.zip / pl / 386BSD.README < prev    next >
Text File  |  1992-08-29  |  5KB  |  140 lines
  1. -------------------------------Documentation---------------------------------- 
  2. ----------------------------------of the--------------------------------------
  3. ----------------------------porting patch archive-----------------------------
  4. --------------------------------with binaries---------------------------------
  5. ----------------------------SWI-Prolog for 386BSD-----------------------------
  6. -----------------------------by Gunther Schadow-------------------------------
  7.  
  8.  
  9. WHAT IT CONTAINS
  10.  
  11.     - pl/LICENCE        GNU'like LICENCE, please register
  12.     - pl/386BSD.README    this file
  13.     - pl/386bsd.patch    the context diff patches
  14.     - pl/src/md-386bsd.h    the configuration file for 386bsd
  15.     - pl/bindist/bin/pl            SWI-Prolog executable
  16.     - pl/bindist/lib/pl/include          plus    files you need
  17.     - pl/bindist/lib/pl/library            for proper
  18.     - pl/bindist/lib/pl/runtime/i386        running    of pl,
  19.     - pl/bindist/lib/pl/startup/startup.i386        including the  
  20.                             online manual
  21.  
  22. all files are based on version 1.6.3 of SWI-Prolog.
  23.  
  24.  
  25. WHAT YOU NEED
  26.  
  27. In order to run SWI-Prolog to an limited extend you don't need any
  28. other file. If, however, you want to debug or rebuild the system from
  29. scratch, you will need the sources. If you like a TeX'ed printed
  30. Manual, you need the sources (and TeX) too. Finally if you want to
  31. make use of the foreign language interface, and dynamic linking
  32. facility, you will need the original distribution too. You can get
  33. SWI-Prolog's original distribution from Holland via FTP at
  34.             
  35.             swi.psy.uva.nl
  36.  
  37.  
  38. HOW TO INSTALL IT
  39.  
  40. 1. Binary distribution
  41.  
  42. (a) Move lib/* and bin/pl in the bindist subtree too your /usr/local, by:
  43.  
  44.         % cd bindist
  45.         % mv lib/pl /usr/local/lib/pl
  46.         % mv bin/pl /usr/local/bin
  47.  
  48. (b) Start SWI-Prolog with
  49.  
  50.         % pl
  51.  
  52.     and wait what's happening. If you whant to consult the online
  53.     manual give the following command:
  54.  
  55.         1 ?- help(help).
  56.  
  57. (c) have fun.
  58.  
  59.  
  60. 2. Installing Sources and Patches
  61.  
  62. (a) Get swi-prolog version 1.3.6 (pl-1.36) from swi.psy.uva.nl and
  63.     unpack it, say into /src/local. 
  64.  
  65. (b) unpack SWI-Prolog.386bsd.tar.Z in the same subdirectory
  66.     (/src/local), as the original distribution, both pl-1.36 and
  67.     SWI-Prolog.386bsd.tar.Z expand into the directory /src/local/pl,
  68.     no file (exept the LICENCE) will be overwritten.
  69.  
  70. (c) You are still in /src/local. Give the following command:
  71.  
  72.         % patch -p <pl/386bsd.patch
  73.  
  74.     this will make the necessary changes mainly to the Makefile. We
  75.     won't make use of pl/config.h anymore, because our cpp fills in
  76.     nasty spaces after each macro expansion. All setup is done in md.h
  77.     and Makefile, but for the time now, leave everything as it is.
  78.  
  79. (c) Cd to pl and give the command
  80.  
  81.         % SETUP 386bsd
  82.  
  83.     if the executable bit is not set, chmod to 755. This will create a
  84.     directory named 386bsd, to which you should cd now.
  85.  
  86. (d) Say
  87.         % make
  88.  
  89.     and wait, what's happening. Some warnings, don't care, but if you
  90.     like, tell me why gcc complains about returning volatile
  91.     functions.
  92.  
  93. (e) If everything is compiled whithout error, let make install things
  94.     with
  95.         % make install
  96.  
  97. (f) Start SWI-Prolog with
  98.  
  99.         % pl
  100.  
  101.     and wait what's happening. If you whant to consult the online
  102.     manual give the following command:
  103.  
  104.         1 ?- help(help).
  105.  
  106. (g) enjoy, and please help to debug.
  107.  
  108.  
  109. KNOWN BUGS
  110.  
  111. Try to give the following command:
  112.  
  113.         % pl -L 8
  114.  
  115. to resize the local stack. Pl will complain about exhausted stack
  116. memory, maybe a bug in pl-alloc.c.
  117.   Cd to the dld-3.2 directory and say make. It will compile with no
  118. problems, but ranlib fails to work on libdld.a because of the presence
  119. of dld_find_executiable, ranlib bug?
  120.   I didn't test SWI-Prolog extensively, so there still might be even serious
  121. bugs in it.
  122.  
  123.  
  124. FINAL NOTES AND ACKNOWLEDGEMENTS
  125.  
  126. Thanks to Lynne and Bill Jolitz for giving us a highly compatible and
  127. powerful Unix-environment. Once we will have killed the stack-warning
  128. bug, it is a better SWI-Prolog port than that for Linux. Because
  129. 386bsd had no problems compiling gnu/unexec.c, which is crucial for
  130. the save_program facility.
  131.   Thanks to Jan Wielemaker and the University of Amsterdam for making
  132. their Prolog system freely available.
  133.   Feel free to make debuggings to SWI-Prolog, please inform me about
  134. your working on it. Questions and complaints are also welcome.
  135.  
  136. -------------------------------------------------------------------------------
  137. Gunther Schadow,              e-mail: Gunther@mailserv.ZDV.Uni-Tuebingen.DE
  138. Sudetenstrasse 25,              Phone:  (49) 7071/37527
  139. 7400 Tuebingen, Germany.__________Stop__________Horn Please!__________O.K. TATA
  140.