mirror of
https://github.com/Mercury-Language/mercury.git
synced 2025-12-17 23:05:21 +00:00
c42e44a9f6
*.sh: Allow the directory and file names to be overridden by environment variables. Various bug-fixes.
8 lines
203 B
Bash
8 lines
203 B
Bash
#!/bin/sh
|
|
|
|
INTDIR=${MERCURY_INT_DIR:-@LIBDIR@/ints}
|
|
DEPDIR=${MERCURY_DEP_DIR:-@LIBDIR@/deps}
|
|
MC=${MERCURY_COMPILER:-@LIBDIR@/nuprolog/@FULLARCH@/mercury_compile}
|
|
|
|
exec $MC -I "$INTDIR" -I "$DEPDIR" "$@"
|