$set_file_env

Synopsis

$set_file_env environment_variable

Description

$set_file_env takes the name of an environment variable that is defined for the current process and turns that environment variable and its value into a "file variable" used by AVS/Express. AVS/Express resolves the definition of file variables whenever it opens a V file or data file.

Examples

% setenv MY_FILE /tmp/foo.v
% express
OM(Root) -> $set_file_env MY_FILE
OM(Root) -> $include $MY_FILE