e32e5f2
# Make sure GDL_PATH is set
Orion Poplawski 9658ff8
[ -z "$GDL_PATH" ] && GDL_PATH="+/usr/share/gnudatalanguage"
e32e5f2
export GDL_PATH