Note that this is documented in ~~/README_REPOSITORY. Manuel
On 12/03/2021 13:41, Peter Lammich wrote: > Apparently, a > > isabelle components -I > > is required to set up the whole thing. > The error message when there is no such setup could be better, though. > > -- > Peter > > On Fri, 2021-03-12 at 12:34 +0000, Peter Lammich wrote: >> On Fri, 2021-03-12 at 13:24 +0100, Manuel Eberl wrote: >>> Have you done the usual "isabelle components -a"? >> >> I would like to, but it has no effect. Produces no output, and >> returns >> with exit-code 0. >> >> peter@peterXps:~/devel/Isabelle-devel$ ./bin/isabelle components -a >> peter@peterXps:~/devel/Isabelle-devel$ echo $? >> 0 >> >> >>> Manuel >>> >>> >>> On 12/03/2021 13:23, Peter Lammich wrote: >>>> Hi, >>>> >>>> I'm trying to start the Isabelle repo version, but only get as >>>> far >>>> as >>>> >>>> peter@peterXps:~/devel/Isabelle-devel$ ./bin/isabelle >>>> ### Building Isabelle/Scala ... >>>> Unknown JAVA_HOME -- Java unavailable >>>> Failed to compile sources >>>> peter@peterXps:~/devel/Isabelle-devel$ echo $JAVA_HOME >>>> /usr/lib/jvm/java-14-openjdk-amd64 >>>> >>>> >>>> My machine is brand new, so I might be lacking some >>>> prerequisites? >>>> Isabelle2021 runs without problems. >>>> >>>> >>>> -- >>>> Peter >>>> >>>> >>>> peter@peterXps:~/devel/Isabelle-devel$ hg tip >>>> changeset: 73411:1f1366966296 >>>> tag: tip >>>> user: haftmann >>>> date: Thu Mar 11 07:05:38 2021 +0000 >>>> summary: avoid name clash >>>> >>>> _______________________________________________ >>>> isabelle-dev mailing list >>>> [email protected] >>>> https://mailman46.in.tum.de/mailman/listinfo/isabelle-dev >>>> >>> >>> _______________________________________________ >>> isabelle-dev mailing list >>> [email protected] >>> https://mailman46.in.tum.de/mailman/listinfo/isabelle-dev >> >> _______________________________________________ >> isabelle-dev mailing list >> [email protected] >> https://mailman46.in.tum.de/mailman/listinfo/isabelle-dev >
smime.p7s
Description: S/MIME Cryptographic Signature
_______________________________________________ isabelle-dev mailing list [email protected] https://mailman46.in.tum.de/mailman/listinfo/isabelle-dev
