On 12/04/17 17:05, Makarius wrote:
> On 12/04/17 16:14, Lars Hupel wrote:
>> I've just updated Isabelle (f3cd78ba687c) and am getting an odd error
>> message for "isabelle build":
>>
>> *** No such file:
>> "/home/lars/work/reify/verified-codegen/Lem/Lem/Lem_pervasives.thy"
>> *** The error(s)
> For the moment it should work if you use an absolute path like -d
> "$PWD/Lem".
Yes, that works.
___
isabelle-dev mailing list
isabelle-...@in.tum.de
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
On 12/04/17 16:14, Lars Hupel wrote:
> I've just updated Isabelle (f3cd78ba687c) and am getting an odd error
> message for "isabelle build":
>
> *** No such file:
> "/home/lars/work/reify/verified-codegen/Lem/Lem/Lem_pervasives.thy"
> *** The error(s) above occurred for theory "Lem_pervasives"
>