Build problem with KAT_and_DRA/ROOT

isabelle-utp / utp-main

An implementation of Hoare and He's Unifying Theories of Programming in Isabelle

Other

34 stars 10 forks source link

Build problem with KAT_and_DRA/ROOT #9

Open loganrjmurphy opened 4 years ago

loganrjmurphy commented 4 years ago

Running into this problem using Isabelle2019

./bin/build.sh
Checking and obtaining Isabelle/UTP AFP dependencies... 
...
AFP entry Show is already installed.
AFP entry Transformer_Semantics is already installed.
AFP entry Triangle is already installed.
AFP entry Trie is already installed.

Building Isabelle/UTP sessions... 

*** [line 4 of "/home/logan_rj/Isabelle2019/src/utp-main-master/contrib/KAT_and_DRA/ROOT"] error: bad input
*** 
*** 
*** ^

rsoeldner commented 3 years ago

@loganrjmurphy Have you been able to resolve this issue; I just encountered the same issue.