author | haftmann |
Wed, 22 Oct 2008 14:15:42 +0200 | |
changeset 28660 | 54091ba1448f |
parent 28659 | b4fd14ae8b8a |
child 28661 | a287d0e8aa9d |
lib/Tools/codegen | file | annotate | diff | comparison | revisions |
--- a/lib/Tools/codegen Tue Oct 21 23:54:42 2008 +0200 +++ b/lib/Tools/codegen Wed Oct 22 14:15:42 2008 +0200 @@ -34,7 +34,8 @@ ## main -CMD=$(echo $CMD | sed -e 's/\\/\\\\"/g; s/"/\\\"/g') -FULL_CMD="Code_Target.shell_command \"$THY\" \"$CMD\";" +THY=$(echo $THY | sed -e 's/\\/\\\\"/g; s/"/\\\"/g') +ISAR="theory Codegen imports \"$THY\" begin export_code $CMD end" -"$ISABELLE_PROCESS" -q -e "$FULL_CMD" "$IMAGE" || exit 1 +echo "$ISAR" | "$ISABELLE_PROCESS" -I "$IMAGE" || exit 1 +