[isabelle-dev] "No such file" in build

Lars Hupel hupel at in.tum.de
Wed Apr 12 17:27:48 CEST 2017

Previous message (by thread): [isabelle-dev] "No such file" in build
Next message (by thread): [isabelle-dev] "No such file" in build
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

> For the moment it should work if you use an absolute path like -d
> "$PWD/Lem".

Yes, that works.

Previous message (by thread): [isabelle-dev] "No such file" in build
Next message (by thread): [isabelle-dev] "No such file" in build
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the isabelle-dev mailing list