#! /bin/sh

ARCH="`$CADP/com/arch`"

echo "bcg_kappa \"$@"\"
$CADP_TIME bcg_kappa "$@"

OPTION_READ=0
while true
do
	case "$1" in
	-strong )
		OPTION_READ=1
		shift
		;;
	-* )
		OPTION_READ=1
		BCG_MIN_OPTIONS="$BCG_MIN_OPTIONS $1"
		shift
		;;
	* )
		if [ $OPTION_READ -eq 0 ]
		then
			shift
		else
			shift
			break
		fi
		;;
	esac
done

BCG_FILE="$1"

echo "bcg_min -divbranching $BCG_MIN_OPTIONS \"$BCG_FILE\""
$CADP_TIME bcg_min -divbranching $BCG_MIN_OPTIONS "$BCG_FILE"

printf "hide\n\":kappa:\"\n" > _.hid
echo "bcg_labels -hide _.hid \"$BCG_FILE\""
$CADP_TIME bcg_labels -hide _.hid "$BCG_FILE"
rm _.hid

