Re: [Seed7-users] Library search path
Interpreter and compiler for the Seed7 programming language.
Brought to you by:
thomas_mertes
From: Thomas M. <tho...@gm...> - 2011-03-18 20:43:52
|
At Fri, 18 Mar 2011 14:02:13 +0000"Milo Mirate" <mm...@ym...> wrote: > The new FAQ entry explains it very well, thank you. The only question I > have is how to set the path in method 2 when compiling. There is not a method 2. The 4 numbered paragraphs describe in which directories the search for an include file happens. The hardcoded library directory described in paragraph 2 is determined in the corresponding makefile and in "seed7/src/infile.c". Interpreter and compiler use the same strategy to search for an include file. BTW.: I have improved the FAQ. Please take a look at http://seed7.sourceforge.net/faq.htm#lib_path and tell me your opinion about it. Interpreter and compiler may have problems to find the include directory in two situations: 1. The directory "seed7/lib" was move to a different place after the Seed7 interpreter was compiled. 2. The binary release of Seed7 is used and the current working directory is not "seed7/prg". In both cases the problem can be solved with the environment variable SEED7_LIBRARY. Just set SEED7_LIBRARY to the path of the directory containing the include/library files (without surrounding quotes). E.g.: /home/abc/seed7/lib How to set an environment variable depends on the operating system and shell (see: http://en.wikipedia.org/wiki/Environment_variable ). Currently there is a restriction for the environment variable SEED7_LIBRARY: The path must consist of ASCII characters (LATIN-1 characters might work also, but I have not tested it). Greetings Thomas Mertes -- Seed7 Homepage: http://seed7.sourceforge.net Seed7 - The extensible programming language: User defined statements and operators, abstract data types, templates without special syntax, OO with interfaces and multiple dispatch, statically typed, interpreted or compiled, portable, runs under linux/unix/windows. -- GMX DSL Doppel-Flat ab 19,99 Euro/mtl.! Jetzt mit gratis Handy-Flat! http://portal.gmx.net/de/go/dsl |