The current version of DomainFinder is 2.0.4.
There are four distributions of DomainFinder:
- The DomainFinder source code
with an installation script. On a system on which all the
prerequisites (see list below) are installed, installation
of DomainFinder from this distribution takes only a few seconds.
Use this if you already have most of the prerequisites.
- A double-clickable
application for MacOS 10.3, which should also work with MacOS 10.4.
There is nothing else to install.
- An all-in-one
distribution containing all simulation software from
our group plus all the prerequisites. If you do not have
most of the prerequisites, this distribution is
the easiest one to install. Make sure you have enough
disk space: on a Linux/Intel machine, the installation
takes 40 MB of disk space, and an additional 100 MB are
needed temporarily during installation.
- A source RPM file for
any RPM-based Linux distribution. Use this instead of
the standard source code distribution if you are
familiar with RPM installation. You can download the
prerequisites in this format as well, see below.
DomainFinder should work with all major Unix varieties. Porting to
non-Unix platforms should be easy, but I cannot provide any support
The DomainFinder distribution contains the full Python source code, which
is covered by the GNU
DomainFinder relies on several other software packages, which must be
installed before DomainFinder itself:
For users of RedHat Linux 7.x on Intel processors, we provide
binary RPM files for all these components (other than the Python
interpreter, which is part of the RedHat distribution):
For installation, download all of these files plus the binary RPM for
DomainFinder, and copy them into an empty directory. Then change to that
directory and type, as root, rpm -ivh *.
For users of other RPM-based Linux versions, we provide
source RPM files for these components:
For installation, compile and install the packages one by one in the
order given above, followed by the source RPM for DomainFinder. Compilation
is done by the command rpm --rebuild followed by the source RPM
file name. At the end of the compilation, the path where the binary
RPM has been created is displayed. Install the binary RPM (as root)
using rpm -ivh.