export.sh revision 7bbfb15142ab4286dfc6fcde2fc94a5512297e41
067b7cf571968fe8e91212059da1590c2dfa741aJonathan von Schroeder# ISABELLE_BIN_PATH (if isabelle is not located in PATH)
067b7cf571968fe8e91212059da1590c2dfa741aJonathan von Schroederif [ -z $1 ]; then
067b7cf571968fe8e91212059da1590c2dfa741aJonathan von Schroeder echo "Nothing to translate!"
7bbfb15142ab4286dfc6fcde2fc94a5512297e41Jonathan von Schroederif [ ! -z $2 ]; then
067b7cf571968fe8e91212059da1590c2dfa741aJonathan von Schroeder echo "Cannot read file $TRANS.thy"
067b7cf571968fe8e91212059da1590c2dfa741aJonathan von Schroeder ISABELLE="$ISABELLE_BIN_PATH/isabelle"
067b7cf571968fe8e91212059da1590c2dfa741aJonathan von Schroeder if [ ! -e $ISABELLE ]; then
067b7cf571968fe8e91212059da1590c2dfa741aJonathan von Schroeder echo "Cannot find isabelle executable. Maybe you didn't specify ISABELLE_BIN_PATH correctly?"
22b772f8753f0cdb4508ba460356c238de2ee375Jonathan von Schroeder echo "Cannot find isabelle executable. Maybe you need to specify ISABELLE_BIN_PATH?"
067b7cf571968fe8e91212059da1590c2dfa741aJonathan von Schroederif [ ! -x $ISABELLE ]; then
067b7cf571968fe8e91212059da1590c2dfa741aJonathan von Schroeder echo "$ISABELLE is not executable"
4d4ee5ef6601170c9d419da9fe8742c506507d11Jonathan von Schroeder echo "imports \"$TRANS\" Wellfounded"
6516023b9db74939c0a0f79fd6cc5bc7d9bab382Jonathan von Schroeder echo "uses \"$SCRIPTPATH/export_helper.ml\""
067b7cf571968fe8e91212059da1590c2dfa741aJonathan von Schroeder echo "val T = Thy_Info.get_theory \"$TRANS_T\";
255a89789d3d5b19f6a8c96bf6c260a96158ef6dJonathan von Schroederval xml = ExportHelper.tinfo2xml T \"$TRANS_T\"