GLX changes
[llpp.git] / doocaml
blobdd0f22998407bbc47641e65d86d46eccdd1252fe
1 #!/bin/sh
2 set -e
4 out="$(basename "$1")"
5 dir="$(dirname "$1")"
6 expr >/dev/null "$2" : "/.*" && src="$2" || src="$PWD/$2"
7 shift 2
8 expr >/dev/null "$*" : '.* -pp ' && {
9 ef=$(mktemp)
10 trap 'test -n "$ef" && rm -f "$ef"' 0
11 cd >/dev/null $dir && ocamlc 2>$ef "$@" -o $out $src
12 rc=$?
13 sed 1>&2 "s;File \"\([^\"]*\)\"\(.*\)$;File $src\2;" $ef
14 exit $rc
15 } || {
16 cd >/dev/null $dir && ocamlc "$@" -o $out $src