ocaml-dumpobj

gistfile1.txt

#/bin/bash
OCAML_DIRECTORY=${HOME}/.opt/ocaml/ocaml-4.04.2/
OCAML_BYTERUN=${OCAML_DIRECTORY}/byterun/ocamlrun
OCAML_DUMPOBJ=${OCAML_DIRECTORY}/tools/dumpobj

if [ $# != 2 ]; then
    echo "usage: $0 <input> <output>" 1>&2
    exit 0
fi

SOURCE_FILE="$1"
OBJECT_FILE="$(basename $1 ".ml")"
RESULT_FILE="$2"
ocamlc ${SOURCE_FILE} -o "${OBJECT_FILE}.out"
${OCAML_BYTERUN} ${OCAML_DUMPOBJ} "${OBJECT_FILE}.out" &> ${RESULT_FILE}
rm ${OBJECT_FILE}{.cmi,.cmo,.out}