The new version of Seed7 seed7_05_20070507.tgz does exactly
that. The *.s7i files are in the 'seed7/lib' directory and
there is an internal search path for include files in the
'hi' interpreter. The place where the 'hi' interpreter is
compiled determines also the main place for the *.s7i files.
If you compile under /usr/local/src/seed7/src the directory
/usr/local/src/seed7/lib is added to the include file search
path.
as the title says, I think it is clear in the released files
Hello
The new version of Seed7 seed7_05_20070507.tgz does exactly
that. The *.s7i files are in the 'seed7/lib' directory and
there is an internal search path for include files in the
'hi' interpreter. The place where the 'hi' interpreter is
compiled determines also the main place for the *.s7i files.
If you compile under /usr/local/src/seed7/src the directory
/usr/local/src/seed7/lib is added to the include file search
path.
Greetings Thomas Mertes
Homepage: http://seed7.sourceforge.net
Project page: http://sourceforge.net/projects/