diff options
Diffstat (limited to 'src/set_dev_environment.sh')
| -rwxr-xr-x | src/set_dev_environment.sh | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/src/set_dev_environment.sh b/src/set_dev_environment.sh new file mode 100755 index 00000000..09807f5c --- /dev/null +++ b/src/set_dev_environment.sh @@ -0,0 +1,8 @@ +#!/usr/bin/env sh + +# Source this file (e.g ". set_dev_environment.sh") to set up a development +# environment so dynamic modules in the source tree will be found and the +# executables can be run directly, or in gdb/valgrind/etc. + +export INGEN_MODULE_PATH="`pwd`/libs/engine/.libs:`pwd`/libs/serialisation/.libs" + |