# HG changeset patch
# User haftmann
# Date 1224677742 -7200
# Node ID 54091ba1448ffae603ad4cb300d94664509ddebb
# Parent  b4fd14ae8b8a0f66e15a5cc60b7929e5bbaa0b42
fixed

diff -r b4fd14ae8b8a -r 54091ba1448f lib/Tools/codegen
--- 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
+