Project

General

Profile

Download (108 Bytes) Statistics
| Branch: | Tag: | Revision:
1 5275a6fd ploc
export LD_LIBRARY_PATH=@Z3LIBPATH@:$LD_LIBRARY_PATH
2 e491c34a ploc
export DYLD_LIBRARY_PATH=@Z3LIBPATH@:$DYLD_LIBRARY_PATH