| changeset 28660 | 54091ba1448f |
| parent 28650 | a7ba12e0d3b7 |
| child 29143 | 72c960b2b83e |
| 28659:b4fd14ae8b8a | 28660:54091ba1448f |
|---|---|
32 CMD="$1" |
32 CMD="$1" |
33 |
33 |
34 |
34 |
35 ## main |
35 ## main |
36 |
36 |
37 CMD=$(echo $CMD | sed -e 's/\\/\\\\"/g; s/"/\\\"/g') |
37 THY=$(echo $THY | sed -e 's/\\/\\\\"/g; s/"/\\\"/g') |
38 FULL_CMD="Code_Target.shell_command \"$THY\" \"$CMD\";" |
38 ISAR="theory Codegen imports \"$THY\" begin export_code $CMD end" |
39 |
39 |
40 "$ISABELLE_PROCESS" -q -e "$FULL_CMD" "$IMAGE" || exit 1 |
40 echo "$ISAR" | "$ISABELLE_PROCESS" -I "$IMAGE" || exit 1 |
41 |