-
Notifications
You must be signed in to change notification settings - Fork 7
switch libpath
Norbert Preining edited this page Oct 6, 2017
·
1 revision
Possible values: list of strings.
The switch libpath contains a list of directories where CafeOBJ
searches for include files. Addition and removal of directories can be
done with
set libpath + <path1>:<path2>:...
set libpath - <path1>:<path2>:...
or the full libpath reset by set libpath <path1>:<path2>:...
The current directory has a privileged status: It is always searched first and cannot be suppressed.
CafeOBJ Reference Manual (c) 2015-2018 CafeOBJ Development Team