WARNING: You must use the uninstall instructions valid for
your version of snark05.The following instructions are going to work
only with the version of snark05 where $SNARK05ROOT environment variable is set
and pointing to the location where snark05 is installed. You can check by typing
the following at the command prompt
$ echo $SNARK05ROOT
It should print the location of snark05 installation directory. Otherwise use
the uninstall instructions that came with your your snark05 version .
During SNARK05 installation, a SNARK05 uninstall script
('snark05uninstall') should have been installed in the same directory as
the other
SNARK05 executables ('snark05',
'snark05Experimenter',
'snark05GetUserAlg',
'snark05GetExperimenter',
and 'snark05GetExamples'). It
is assumed that this directory is included in the user's PATH variable.
Thus, to uninstall SNARK05, please follow these steps. (Note: in the
example commands listed below, the dollar symbol
'$' signifies the command
prompt. Please type only that which follows the dollar symbol.)
1. If installation was carried out by superuser (as would have been
done to install in system directories), then it is necessary to first
log in as root/superuser before initiating uninstallation. You can do
so by typing '
su' at the command prompt:
$ su
Password: <root password>
However, if installation was done locally, without having first logged in as superuser,
then uninstallation can likewise be done without superuser privileges. In this case, skip
this first step, and start with step two.
2. Invoke the uninstallation script by typing
the following at the
command prompt:
$ snark05uninstall
After deleting most of snark05, this script will ask whether or not it should
remove the DIG* and xerces libraries because it is possible that these libraries
may be used by other programs. If you know that this is not the case, answer yes
to the prompts.
3. As the script finishes, it will output instructions on how to remove
'SNARK05uninstall' itself (since it can't remove itself during the
uninstallation process that it carries out). For instance, given
the output
To complete uninstallation, you may
now remove the uninstall script by typing the
following at the command prompt:
rm -f /usr/bin/snark05uninstall
You would have to type the following in order to remove
'SNARK05uninstall':
$ rm -f /usr/bin/snark05uninstall
4. If SNARK05 was installed in its own separate directory (such as
in the default directory,
/usr/local/snark05/),
and if this directory is no longer necessary (which should be the case
assuming the user allowed the uninstallation process to remove all
shared object files installed by the 'SNARK05install'), then
you may want to remove this installation root directory
(along with the subdirectories nested within). Rather than remove
the root and nested directories all at once by using
rm -Rf $SNARK05ROOT
it may be wiser and safer to first remove each subdirectory separately,
followed by the installation root
directory, using 'rmdir' (which
will not allow removal of any directory still containing any files
and/or subdirectories).Use the following
command sequence:
rmdir $SNARK05ROOT/bin
rmdir $SNARK05ROOT/include
rmdir $SNARK05ROOT/lib
rmdir $SNARK05ROOT/src
rmdir $SNARK05ROOT
5. Finally, assuming all SNARK05 executables and shared object files
have now been uninstalled, you can remove the installation directories
from the SNARK05ROOT,PATH and LD_LIBRARY_PATH environmental variables by reversing
any modifications you may have made during the
installation process.
NOTE: Removing '
snark05uninstall'
(step 3 above) is not absolutely
necessary, but doing so makes the
uninstallation process as clean as
possible. The same is true for removing the directory
$SNARK05ROOT and its
subdirectories (step 4 above).
During the process of uninstallation, the SNARK05 and SNARK05Experimenter
executables, along with
the
'snark05GetUserAlg','snark05GetExperimenter, and snark05GetExamples
scripts, will be removed from their installation
directory
(such as '/usr/bin/' or wherever else they were located).
Additionally, all other files installed to system directories will be
removed. This
includes the SNARK05 source files and header files, as well as any
shared object files
installed specifically for SNARK05. (Any libraries installed by the
SNARK05 installation
will not be removed without a prompt for the user to agree to removal.)
NOTE: Upon completion of uninstallation, any user who had set up a
'SNARK05UserAlg' directory locally will no longer be able to compile
local SNARK05 executables incorporating user-defined algorithms.
Similarly, any user who had set up a 'snark05Experimenter' directory
locally will no longer be able to compile local SNARK05Experimenter
executables incorporating user-defined figures of merit.
Even if the user had already compiled such executables prior to system-wide
SNARK05 uninstallation, the executable will no longer execute properly if
any of it's dependencies were removed during uninstallation.
Thus, it is
important that
all users of SNARK05 are notified prior to SNARK05 uninstallation.