Project

General

Profile

Download (108 Bytes) Statistics
| Branch: | Tag: | Revision:

lustrec/include/z3librc.in @ 971a4d81

1 
export LD_LIBRARY_PATH=@Z3LIBPATH@:$LD_LIBRARY_PATH
2 
export DYLD_LIBRARY_PATH=@Z3LIBPATH@:$DYLD_LIBRARY_PATH
(18-18/18)