Upon completion of SNARK05 installation, various
executable binaries and scripts
will be located in the system directory that you either specified or
allowed the install script to choose for you. (The default
installation location for these executables is
'
/usr/local/snark05/bin/'.)
One such script is
'
snark05GetExamples',
described briefly below.
'
snark05GetExamples':
'
snark05GetExamples' may be
used by any
user to create a local copy of the directory
containing all example input files and reference output files that come
with the SNARK05 installation.
'
snark05GetExamples' creates
a directory called
'
snark05Examples/',
which
contains subdirectories (
'
b1/',
'
b2/',
'
b3/',
'
b4/',
'
b5/',
'
b6/',
'
b7/',
'
b8/',
'
b9/',
'
b10/') for each of of the ten examples.
Each of these ten example subdirectories contains a script,
'
run', which may be invoked by typing at the
command prompt (within the example's subdirectory):
$ ./run
'
run' executes
'
SNARK05'
on the given example's input file.
For example, to set up the SNARK05 examples
in your home directory, and then run example b1, you would do the
following:
1. Move to your home directory:
$ cd ~/
2. Invoke the script
'
snark05GetExamples':
$snark05GetExamples
(As long as the installation directory is in the
system's PATH variable,
'
snark05Get
Examples
'
can be invoked
from anywhere in the system.)
3. Respond to the script's prompt (asking for a location to set up the
'
snark05Examples' directory) by typing:
./
4. Move into example b1's subdirectory:
$ cd snark05Examples/b1
5. Run example b1:
./run
You may of course decide to set up the
'
snark05Examples'
directory
wherever you desire. Simply respond to the
'
snark05GetExamples'
script's prompt accordingly.