Project

General

Profile

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

lustrec/include/z3librc.in @ aaa8e454

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