guile-z3/env.in

env.in

1
#!/bin/sh
2
3
if test -z "$GUILE_LOAD_PATH"; then
4
  export GUILE_LOAD_PATH="@abs_top_srcdir@"
5
else
6
  export GUILE_LOAD_PATH="@abs_top_srcdir@":$GUILE_LOAD_PATH
7
fi
8
9
if test -z "$GUILE_LOAD_COMPILED_PATH"; then
10
  export GUILE_LOAD_COMPILED_PATH="@abs_top_builddir@"
11
else
12
  export GUILE_LOAD_COMPILED_PATH="@abs_top_builddir@":$GUILE_LOAD_COMPILED_PATH
13
fi
14
15
exec "$@"
16
17