PROBPATH: Difference between revisions

No edit summary
No edit summary
Line 11: Line 11:
  PROBPATH=~/myproject/common:~/myotherproject/common probcli model.mch
  PROBPATH=~/myproject/common:~/myotherproject/common probcli model.mch
will resolved referenced files relative to model.mch, then in ~/myproject/common then in ~/myotherproject/common and finally in the standard library of ProB, stopping as soon as a file with the name being looked up is found.
will resolved referenced files relative to model.mch, then in '''~/myproject/common''' then in '''~/myotherproject/common''' and finally in the standard library of ProB, stopping as soon as a file with the name being looked up is found.

Revision as of 11:17, 20 February 2015


Starting with version 1.5 of ProB, how the parser resolves referenced can be customized.

By default ProB will try to find files referenced from a machine (using SEES, INCLUDES, DEFINITON-files, etc) resolving paths as relative to the current machine or within the ProB standard library.

Commonly used files can be placed in a shared location, e.g. in the standard library (the stdlib directory in the ProB distribution) or any custom location.

The search path can be customized by defining a PROBPATH environment variable that contains a “:” separated list of directories to be searched, e.g.:

PROBPATH=~/myproject/common:~/myotherproject/common probcli model.mch

will resolved referenced files relative to model.mch, then in ~/myproject/common then in ~/myotherproject/common and finally in the standard library of ProB, stopping as soon as a file with the name being looked up is found.