#!/bin/bash
# Usage: ./check -src s_1 ... s_m -dst d_1 ... d_n < in_file

PARSE='./parser/parse'
MCMT='./mcmt/mcmt'
MCMT_OPTS=""

# Unsafely created TEMPFILE but with a predictable name
TEMPFILE=./models/mcmt.in

INFILE="$(tempfile)"

# Save input model to INFILE
cat /dev/stdin > "$INFILE"

# Copy commented out original model to MCMT output file
echo "MCMT model is saved in $TEMPFILE"
rm -f "$TEMPFILE"
echo ":comment Input model:" > "$TEMPFILE"
sed 's/^/:comment | /' "$INFILE" >> "$TEMPFILE"
echo >> "$TEMPFILE"

# Run MCMT
$PARSE $@ <"$INFILE" >>"$TEMPFILE" && $MCMT $MCMT_OPTS <"$TEMPFILE"

# Clean up
rm -f "$INFILE"
