Installation Instructions
Use of Σοφία is governed by the
University of Nebraska Open Academic License.
You must read and accept all of the terms and conditions of this license prior
to downloading, installing and/or using the software.
The current version of Σοφία can be downloaded here:
SIR Tools
The Σοφία Java analysis system is written entirely in Java,
so it is theoretically possible to install and run the system on any architecture
for which the Java2 SDK/JRE version 1.5 or greater is available. The system has
been extensively tested on Solaris (SunOS), SuSE Linux 9.1, and to a lesser extent on
Red Hat Linux 9.0, Fedora Core 4, Gentoo 2006.0, and Windows 2000/XP.
This software requires a library called BCEL which can be downloaded
here. After downloading
BCEL, do the following to install Σοφία.
Install BCEL
- Choose where to extract the BCEL system.
- Unzip the package using gunzip:
gunzip bcel-5.2.tar.gz
- Extract the resulting archive:
tar -xvf bcel-5.2.tar
- All the files should be extracted into subdirectories in the "bcel-5.2" directory.
This directory is the root directory for the BCEL library.
- Add the location of the BCEL library to your Java classpath. Suppose you extracted BCEL
into your home directory. Then you would execute the following command (in csh/tcsh):
setenv CLASSPATH "${CLASSPATH}":${HOME}/bcel-5.2/bcel-5.2.jar
You may prefer to add this to your classpath in your shell's startup script.
Install Σοφία
- Choose where to extract the Σοφία system. On extraction,
a directory called "sofya" will be created in this location.
- Unzip the package using gunzip:
gunzip sofya.tar.gz
- Extract the resulting archive:
tar -xvf sofya.tar
- All the files should be extracted into subdirectories in the "sofya" directory. This directory
is the root directory for the entire system.
- Create a directory named ".sofyadb" in your home directory. This will act as the database
for Σοφία, where it will store most of its outputs.
- Add the location of Σοφία to your Java classpath. Suppose you
extracted Σοφία into a directory named "tools" in your
home directory. Then you would execute the following command (in csh/tcsh):
setenv CLASSPATH "${CLASSPATH}":${HOME}/tools
You may prefer to add this to your classpath in your shell's startup script.
- Add the libraries to your classpath:
setenv CLASSPATH "${CLASSPATH}":${HOME}/tools/sofya/lib/commons-collections.jar:${HOME}/tools/sofya/lib/trove/lib/trove.jar
Page last updated by Alex Kinneer: 08/08/2006