diff options
| -rw-r--r-- | isa/interface | 8 | ||||
| -rw-r--r-- | isar/interface | 8 |
2 files changed, 16 insertions, 0 deletions
diff --git a/isa/interface b/isa/interface index 46ac8a7f..71a922f5 100644 --- a/isa/interface +++ b/isa/interface @@ -161,6 +161,14 @@ do [ -f "$FILE" ] && ARGS="$ARGS -l '$FILE'" done +case "$LOGIC" in + /*) + ;; + */*) + LOGIC="$PWD/$LOGIC" + ;; +esac + PROOFGENERAL_HOME="$SUPER" PROOFGENERAL_ASSISTANTS="$KIND" PROOFGENERAL_LOGIC="$LOGIC" diff --git a/isar/interface b/isar/interface index 46ac8a7f..71a922f5 100644 --- a/isar/interface +++ b/isar/interface @@ -161,6 +161,14 @@ do [ -f "$FILE" ] && ARGS="$ARGS -l '$FILE'" done +case "$LOGIC" in + /*) + ;; + */*) + LOGIC="$PWD/$LOGIC" + ;; +esac + PROOFGENERAL_HOME="$SUPER" PROOFGENERAL_ASSISTANTS="$KIND" PROOFGENERAL_LOGIC="$LOGIC" |