This manual describes the implementation and source-code organization of Seal, for those who might wish to modify it.
In this chapter, the source directory for Seal is referred to as $SEAL. It is created by unpacking a tar file or by cloning from the git repository, and is usually named seal or seal-x.x.x. It has the following toplevel listing:
Makefile cx doc python configure data examples scripts
The directory into which Seal is installed is referred to as $DEST. By default it is the same as $SEAL, but it can specified by passing --prefix=dir to the configure script.
The examples assume the following environment variable settings:
The python examples assume that one has done:
>>> import seal
A first test:
>>> seal.hello() Hello. This is Seal ...
The actual output will have the version number in place of ... .
For full functionality, go to the $SEAL directory and do:
$ ./configure $ make
Installation in an external directory is not necessary, provided that $SEAL/python is included on PYTHONPATH. If installation in an external directory is desired, one may specify it when calling configure:
$ ./configure --prefix=/usr/local $ make $ make install