> I can think of ways to make this even simpler and more robust, but
> just a few
> days ago I've found our "quick-start from 0 to 100" from the
> repository
> exceedingly straight-forward compared to software distributions by
> our
> colleagues with OCaml or Haskell background.
I agree, once
On 12/03/2021 14:57, Peter Lammich wrote:
> On Fri, 2021-03-12 at 14:28 +0100, Makarius wrote:
>>
>> What does "isabelle components -l" say?
>
> It listed a few components as available, and none as missing. Java was
> in neither list!
>
> (As I have fixed the problem now, I cannot reproduce the
On Fri, 2021-03-12 at 14:28 +0100, Makarius wrote:
> On 12/03/2021 13:34, 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
> >
On 12/03/2021 14:00, Peter Lammich wrote:
> On Fri, 2021-03-12 at 13:54 +0100, Manuel Eberl wrote:
>> Note that this is documented in ~~/README_REPOSITORY.
>
> Oh, I overlooked README_REPOSITORY. I checked README, but there is no
> reference to README_REPOSITORY in there, though it knows that it
On 12/03/2021 13:34, 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$
On Fri, 2021-03-12 at 13:54 +0100, Manuel Eberl wrote:
> Note that this is documented in ~~/README_REPOSITORY.
Oh, I overlooked README_REPOSITORY. I checked README, but there is no
reference to README_REPOSITORY in there, though it knows that it is a
repository version!
"
Version information
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,
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 +, Peter Lammich wrote:
> On Fri, 2021-03-12 at 13:24 +0100, Manuel Eberl wrote:
> > Have you done the
You probably need to initialize the user settings first with "isabelle
components -I" if it's a new machine.
Fabian
On 3/12/21 1:34 PM, 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
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
Have you done the usual "isabelle components -a"?
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 --
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
12 matches
Mail list logo
