#!/bin/sh
# Start ocaml{,c,dep} with the right -I options
what=$1
shift
exec ocaml$what -I ../extraction -I ../caml -I ../cil/obj/x86_LINUX -I ../cil/obj/ppc_DARWIN "$@"