diff options
Diffstat (limited to 'src/set_dev_environment.sh')
| -rwxr-xr-x | src/set_dev_environment.sh | 8 |
1 files changed, 0 insertions, 8 deletions
diff --git a/src/set_dev_environment.sh b/src/set_dev_environment.sh deleted file mode 100755 index 63031123..00000000 --- a/src/set_dev_environment.sh +++ /dev/null @@ -1,8 +0,0 @@ -#!/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:`pwd`/libs/gui/.libs:`pwd`/libs/client/.libs:`pwd`/bindings/.libs" -export INGEN_GLADE_PATH="`pwd`/libs/gui/ingen_gui.glade" |