home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1993 #1 / NN_1993_1.iso / spool / comp / os / linux / 22934 < prev    next >
Encoding:
Internet Message Format  |  1993-01-06  |  2.2 KB
  1. Path: sparky!uunet!europa.asd.contel.com!darwin.sura.net!dtix!mimsy!nmrdc1!dsc3pzp
  2. From: dsc3pzp@nmrdc1.nmrdc.nnmc.navy.mil (Philip Perucci)
  3. Newsgroups: comp.os.linux
  4. Subject: PROLOG on Linux!
  5. Message-ID: <C0G2HD.GB6@nmrdc1.nmrdc.nnmc.navy.mil>
  6. Date: 6 Jan 93 18:10:22 GMT
  7. Organization: Naval Medical Research & Development Command
  8. Lines: 68
  9.  
  10. Hi,
  11.  
  12.   Anybody looking for a good PROLOG?  I got SWI-Prolog to work from
  13. swi.psy.uva.nl fairly easily.  The changes required to get the
  14. latest version (1.6.8) are given below.  The author will include
  15. them in the next release so Linux should be supported "off-the-shelf".
  16. I did this with Linux 0.99pl2, gcc 2.3.3, and libc 4.2.  Please
  17. E-mail me with any improvements to changes below, and I will forward to
  18. author!
  19.  
  20.   FTP site:  swi.psy.uva.nl
  21.   Directory: /pub/SWI-Prolog
  22.   File:      pl-1.6.8.tar.Z
  23.  
  24. BTW:  This is NOT a diff file!
  25.  
  26. -------------------------- cut here -----------------------------------------
  27.  
  28.  
  29. Do the following to compile SWI-Prolog 1.6.8 on gcc 2.3.3, libc 4.2,
  30. using Linux 0.99pl2:
  31.  
  32. pl/linux/md.h
  33. -------------
  34.  
  35.     * M_CC   = gcc
  36.     * M_LIBS = -lm -ltermcap
  37.     * #define O_UCHAR_PREDEFINED 0
  38.     * #define O_PROFILE          1
  39.  
  40. pl/linux/pl-os.c
  41. ----------------
  42.  
  43.     * Comment out lines 1674-1675 (as shown below)
  44.         /*  stdin->_ptr = stdin->_base; */
  45.         /*  stdin->_cnt = 0;            */
  46.  
  47. pl/linux/pl-setup.c
  48. -------------------
  49.  
  50.     * Comment out line 147 (as shown below)
  51.         /*    pl_signal(SIGBUS,  fatal_signal_handler); */
  52.  
  53. Makefile
  54. --------
  55.  
  56.     * Compilation of pl-main.c fails due to extra spaces:
  57.  
  58. gcc  -c    -DSYSTEMHOME=\""/tmp/pl"\ "     -DDEFSTARTUP=\"".plrc"\ " pl-main.c
  59.                                     |                          |
  60.                                    Here          and          here
  61.  
  62.       Shown above is how line is printed when make crashes.
  63.       Change the line to:
  64.  
  65. gcc  -c    -DSYSTEMHOME=\""/tmp/pl"\"     -DDEFSTARTUP=\"".plrc"\" pl-main.c
  66.  
  67.       and all is well.
  68.  
  69.  
  70.  
  71.  
  72.  
  73. -- 
  74. ===========================================================================
  75.   phil perucci      | "Any opinions expressed are solely my own views and 
  76.   ssb1pzp@digex.com |  do not reflect the position of any organization"
  77. ===========================================================================
  78.