summarylogtreecommitdiffstats
path: root/mono42-dev-env
diff options
context:
space:
mode:
authormalahx2016-09-18 01:35:06 +0200
committermalahx2016-09-18 01:35:06 +0200
commit9e5b00cdada2df823f6c4a2287da33c7e5926873 (patch)
treeff13e46b64305d3eadbaf3e3369eb66655a975ba /mono42-dev-env
parent60146a9788ca948b3e1e21375c796ffa81420c4e (diff)
downloadaur-9e5b00cdada2df823f6c4a2287da33c7e5926873.tar.gz
Parallel Mono Environments
Diffstat (limited to 'mono42-dev-env')
-rwxr-xr-xmono42-dev-env10
1 files changed, 10 insertions, 0 deletions
diff --git a/mono42-dev-env b/mono42-dev-env
new file mode 100755
index 000000000000..a99e3b3bda0d
--- /dev/null
+++ b/mono42-dev-env
@@ -0,0 +1,10 @@
+#!/bin/bash
+MONO_PREFIX=/opt/mono
+GNOME_PREFIX=/opt/gnome
+export DYLD_FALLBACK_LIBRARY_PATH=$MONO_PREFIX/lib:$DYLD_LIBRARY_FALLBACK_PATH
+export LD_LIBRARY_PATH=$MONO_PREFIX/lib:$LD_LIBRARY_PATH
+export C_INCLUDE_PATH=$MONO_PREFIX/include:$GNOME_PREFIX/include
+export ACLOCAL_PATH=$MONO_PREFIX/share/aclocal
+export PKG_CONFIG_PATH=$MONO_PREFIX/lib/pkgconfig:$GNOME_PREFIX/lib/pkgconfig
+export PATH=$MONO_PREFIX/bin:$PATH
+PS1="[mono42] \w @ " \ No newline at end of file