Changes between Version 14 and Version 15 of InstallTraleSLD


Ignore:
Timestamp:
Jul 18, 2013, 2:36:08 PM (6 years ago)
Author:
ke
Comment:

Jasper installation hell

Legend:

Unmodified
Added
Removed
Modified
  • InstallTraleSLD

    v14 v15  
    77TRALE itself currently supports SICStus Prolog 3 (SP3) and, experimentally, SICStus Prolog 4 (SP4). The Kahina-based graphical debugger that is included with TRALE, however, '''only''' supports SP4 in its most recent version. So if you want to use it with SP3, you will need an older version of TRALE. More specifically, you should use revision 260 from TRALE's Subversion repository (see below). To use it with SP4, you will need at least revision 265.
    88
    9 Kahina for TRALE also requires that the existing installation of SICStus Prolog include the Prolog-Java interface [http://www.sics.se/sicstus/docs/latest4/html/sicstus.html/lib_002djasper.html#lib_002djasper Jasper], set up with a version 6 Java Development Kit (JDK).
    10 
    11 Under Linux, a successful run of the SP3 installation script looks something like this (a successful run of the SP4 installation script looks similar):
    12 
    13 {{{
    14 ke@apis:~/install/sp-3.12.10patch1-x86-linux-glibc2.3$ ./InstallSICStus --all-questions
     9Kahina for TRALE also requires that the existing installation of SICStus Prolog include the Prolog-Java interface [http://www.sics.se/sicstus/docs/latest4/html/sicstus.html/lib_002djasper.html#lib_002djasper Jasper], set up with a version 6 or higher Java Development Kit (JDK).
     10
     11You may have to modify your {{{LD_LIBRARY_PATH}}} before installation to ensure SICStus Prolog can find {{{libjvm.so}}}. Under Ubuntu 13.04, I added this line to my {{{~/.bashrc}}}:
     12
     13{{{
     14export LD_LIBRARY_PATH=/usr/lib/jvm/java-7-openjdk-i386/jre/lib/i386/client:$LD_LIBRARY_PATH
     15}}}
     16
     17The successful installation then looked like this (a successful run of the SP4 installation script looks similar):
     18
     19{{{
     20ke@apis:~/install/sp-3.12.11-x86-linux-glibc2.5$ ./InstallSICStus --all-questions
    1521                                   
    1622                      SICStus Prolog Release 3
     
    2329               ---------------------------------------
    2430
    25 This script will install SICStus Prolog 3.12.10patch1 on your computer. Before
     31This script will install SICStus Prolog 3.12.11 on your computer. Before
    2632proceeding, make sure that you have downloaded the correct
    2733distribution and that you have your licensing information at hand, as
     
    5460
    5561
    56 Install SICStus Prolog 3.12.10patch1 [yes] ?
     62Install SICStus Prolog 3.12.11 [yes] ?
    5763
    5864Checking installation cache... install.cache
    5965
    60 Where do you want to install SICStus [/home/ke/opt/sicstus] ?
    61 
    62 The target directory seems to already contain a SICStus installation. You can
    63 choose between cancelling the installation ('cancel'), overwriting the
    64 installation entirely ('overwrite'), or skip copying the files but
    65 (re-)do the dump and link steps ('link').
    66 
    67 Note: if you use the 'link' option, no new uninstall-script will be created.
    68 
    69 Overwrite existing installation [overwrite] ?
     66Where do you want to install SICStus [/home/ke] ?
    7067
    7168Creating uninstall script...
     
    7471You should now enter your site-name, license-code, and expiration date.
    7572
    76 Sitename [Kilian Evang on Linux] ?
     73Sitename [Kilian Personal] ?
    7774License-code [xxxx-xxxx-xxxx-xxxx-xxxx] ?
    7875Expiration date [permanent] ?
     
    9289consult the installation instructions for your Java installation to find out
    9390what the 'installation path' is.
    94 Specify JDK installation path, e.g., /usr/jdk1.2.2 (or leave blank) [/home/ke/opt/jdk1.6.0_22] ?
     91Specify JDK installation path, e.g., /usr/jdk1.2.2 (or leave blank) [/usr/jdk1.2.2] ? /usr/lib/jvm/java-7-openjdk-i386
    9592
    9693(This information is displayed regardless of the JDK installation path specified.)
     
    114111Specify the path to your C++ compiler (or leave blank) ?
    115112
    116 sicstus.tar.compress.crypt seems to have been unpacked already. Unpack anyway [no] ?
    117 
    118113***************************************************************
    119114The installation will proceed without further user interaction,
     
    123118
    124119Configuring system. This may take a few minutes...  done.
    125 Installation package was built for Glibc 2.3.
    126 This systems uses Glibc 2.11.
     120Installation package was built for Glibc 2.5.
     121This systems uses Glibc 2.17.
    127122 
    128123SICStus is built and distributed for several versions of Glibc.
     
    134129Continuing despite wrong Glibc version...
    135130
    136 Copying files to /home/ke/opt/sicstus. This may take a few minutes...  Installing documentation into /home/ke/opt/sicstus/lib/sicstus-3.12.10patch1
     131Decrypting sicstus.tar.compress.crypt...
     132ok.
     133Unpacking sicstus.tar... (please wait) ok.
     134
     135Copying files to /home/ke. This may take a few minutes...  Installing documentation into /home/ke/lib/sicstus-3.12.11
    137136done.
    138137
     
    164163
    165164The SICStus development system has been installed as:
    166    /home/ke/opt/sicstus/bin/sicstus
     165   /home/ke/bin/sicstus
    167166
    168167The documentation can be accessed locally by opening the URL:
    169168
    170    file:/home/ke/opt/sicstus/lib/sicstus-3.12.10patch1/doc/html/
     169   file:/home/ke/lib/sicstus-3.12.11/doc/html/
    171170
    172171or on the SICStus website:
     
    174173   http://www.sics.se/sicstus/docs/
    175174
    176 Uninstall by running /home/ke/install/sp-3.12.10patch1-x86-linux-glibc2.3/UnInstallSICStus
     175Uninstall by running /home/ke/install/sp-3.12.11-x86-linux-glibc2.5/UnInstallSICStus
    177176}}}
    178177