doocaml.sh

   1 #!/bin/sh
   2 set -e
   3
   4 compiler="$1"
   5 out="$2"
   6 in="$3"
   7 outdir="$(dirname "$out")"
   8 srcdir="$(pwd -P)"
   9 shift 3
  10
  11 test "x" = "x$pp" || {
  12     ef=$(mktemp)
  13     trap 'test -n "$ef" && rm -f "$ef"' 0
  14     (cd >/dev/null $outdir && $compiler -pp "$pp" $incs 2>$ef "$@" -o $out $in)
  15     rc=$?
  16     if test "$rc" != 0; then
  17         sed 1>&2 "s;File \"\([^\"]*\)\"\(.*\)$;File $in\2;" $ef
  18     fi
  19     exit $rc
  20 } && {
  21     cd >/dev/null $outdir && $compiler "$@" $incs -o $out $in
  22 }