fixed
authorhaftmann
Wed Oct 22 14:15:42 2008 +0200 (2008-10-22)
changeset 2866054091ba1448f
parent 28659 b4fd14ae8b8a
child 28661 a287d0e8aa9d
fixed
lib/Tools/codegen
     1.1 --- a/lib/Tools/codegen	Tue Oct 21 23:54:42 2008 +0200
     1.2 +++ b/lib/Tools/codegen	Wed Oct 22 14:15:42 2008 +0200
     1.3 @@ -34,7 +34,8 @@
     1.4  
     1.5  ## main
     1.6  
     1.7 -CMD=$(echo $CMD | sed -e 's/\\/\\\\"/g; s/"/\\\"/g')
     1.8 -FULL_CMD="Code_Target.shell_command \"$THY\" \"$CMD\";"
     1.9 +THY=$(echo $THY | sed -e 's/\\/\\\\"/g; s/"/\\\"/g')
    1.10 +ISAR="theory Codegen imports \"$THY\" begin export_code $CMD end"
    1.11  
    1.12 -"$ISABELLE_PROCESS" -q -e "$FULL_CMD" "$IMAGE" || exit 1
    1.13 +echo "$ISAR" | "$ISABELLE_PROCESS" -I "$IMAGE" || exit 1
    1.14 +