Starting with version 1.5 of ProB, how the parser resolves files references from machines can be customized.
By default ProB will try to find files referenced from a machine (using SEES, INCLUDES, DEFINITON-files, etc) resolving paths as releative 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 a custom location.
The search path can be extended 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.