DL Visualize v2.5 - Installation Instructions
The following systems (and later versions) are supported in this release of DLV.
- Linux (32-bit) glibc v2.3.2 (e.g. RedHat v9.0/SuSE v9.0)
- Microsoft Windows (built on Windows 2000)
(64-bit Linux will be supported in the next release).
It is recommended that machines have at least 64MB memory, twice that in swap
space and at least 16bit graphics. For reasonable interactive manipulation of
3D objects in the viewer you should have some form of hardware acceleration
for 3D graphics (ideally 24bit).
Unix Installation
- Choose and create an installation directory. From now on this will be
referred to as $DLV_ROOT.
- Copy the distribution file to $DLV_ROOT.
- Change directory to $DLV_ROOT.
- Unpack the distribution file.
gzip -dc dlv-2.5.tar.gz | tar xvf -
- Remove the distribution files dlv.tar.gz.
- Edit the script file, $DLV_ROOT/bin/dlv, provided with DLV,
setting the DLV_ROOT variable to the value of $DLV_ROOT.
-
If you are going to use CRYSTAL, GULP or DL_EXCURV, but are not
using a DLV package containing versions of these codes then you
must configure them. If you intend
to use the CRYSTAL03 interface then you should also set the
DLV_DEF_CRYSTAL variable to the location of your CRYSTAL
executables. For the GULP interface the DLV_DEF_GULP variable
should be set to the directory containing the GULP package, and
for DL_EXCURV set DLV_DEF_EXCURV to the directory containing the
executable.
Windows Installation
- Choose and create an installation directory. From now on this will be
referred to as $DLV_ROOT.
- Copy the distribution file to $DLV_ROOT.
- Change directory to $DLV_ROOT.
- Unpack the distribution file with your favourite windows zip
program, e.g.
unzip dlv-pc-2.5.zip
- Remove the distribution file.
- Edit the batch file, $DLV_ROOT\dlv.bat, provided with DLV,
setting the DLV_ROOT variable to the value of $DLV_ROOT.
-
If you are going to use CRYSTAL, GULP or DL_EXCURV, but are not
using a DLV package containing versions of these codes then you
must configure them. If you intend
to use the CRYSTAL03 interface then you should also set the
DLV_DEF_CRYSTAL variable to the location of your CRYSTAL
executables. For the GULP interface the DLV_DEF_GULP variable
should be set to the directory containing the GULP package, and
for DL_EXCURV set DLV_DEF_EXCURV to the directory containing the
executable.