/usr/bin/safe_camlp4 is in ocaml-findlib 1.2.7+debian-1build3.
This file is owned by root:root, with mode 0o755.
The actual contents of the file can be viewed below.
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 | #! /bin/sh
# Call camlp4 with fallback method if dynamic loading is not supported
dl_string="dynamic loading not supported on this platform"
fn_string="The external function .* is not available"
tmp_stderr="tmp.safe_camlp4_stderr.$$"
tmp_camlp4="tmp.safe_camlp4_camlp4.$$"
trap "rm -f $tmp_stderr $tmp_camlp4" 0
print_stderr=1
code=0
camlp4 "$@" 2>$tmp_stderr || {
code=$?
grep "$dl_string" $tmp_stderr >/dev/null 2>&1; t1=$?
grep "$fn_string" $tmp_stderr >/dev/null 2>&1; t2=$?
if [ $t1 -eq 0 -o $t2 -eq 0 ]; then
# Fallback:
print_stderr=0
cp4_mods=""
cp4_args=""
i=0
for arg in "$@"; do
if [ $i -gt 0 ]; then
cp4_mods="$cp4_mods -I $arg"
cp4_args="$cp4_args -I $arg"
i=0
else
case "$arg" in
*.cma|*.cmo)
cp4_mods="$cp4_mods $arg" ;;
-I)
i=1 ;;
*)
cp4_args="$cp4_args $arg" ;;
esac
fi
done
mkcamlp4 -o $tmp_camlp4 $cp4_mods || exit
./$tmp_camlp4 $cp4_args || exit
code=0
fi
}
if [ $print_stderr -gt 0 ]; then
cat $tmp_stderr >&2
fi
exit $code
|