[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Arch setup (was: Re: [Demexp-dev] voting tools)
From: |
skaller |
Subject: |
Re: Arch setup (was: Re: [Demexp-dev] voting tools) |
Date: |
24 Sep 2004 03:39:07 +1000 |
On Fri, 2004-09-24 at 03:08, David MENTRE wrote:
> Hello John,
>
> skaller <address@hidden> writes:
>
> > Scrub that request, my tla is crashing itself
> > with a botched invariant making an archive.
>
> I'm not sure you have provided the proper information to tla.
>
> address@hidden /usr/local/src/tlarchs>tla make-archive
> address@hidden demexp
> /usr/local/src/tla-1.2.1/src/tla/libarch/pfs-fs.c:87:botched invariant
> !!uri
> PANIC: exiting on botched invariant
>
>
> Have you created the folder "demexp" to store the archive?
>
> Shouldn't you give an absolute or relative path?
>
> I would try:
>
> mkdir ~/demexp
> tla make-archive address@hidden ~/demexp
address@hidden /usr/local/src/tlarchs>mkdir demexp
address@hidden /usr/local/src/tlarchs>tla make-archive
address@hidden demexp
/usr/local/src/tla-1.2.1/src/tla/libarch/pfs-fs.c:87:botched invariant
!!uri
PANIC: exiting on botched invariant
address@hidden /usr/local/src/tlarchs>
> I'll try to make a more detailed example of how to setup an Arch
> repository.
I followed the online instructions. Considering that the
regression test failed .. I'm not surprised.
A botched invariant indicates a logic error in the code.
No serious program gives that kind of error due to
faulty user input. Something went wrong in the build.
I didn't grab the latest tarball: I got 1.2.1, there were
also 1.2.2pre0, pre1, etc files with later dates -- I assumed
these were less stable pre-release versions.
Maybe I can find a Linux/x86 binary somewhere.. I'm running
Redhat so and rpm might work too.
--
John Skaller, mailto:address@hidden
voice: 061-2-9660-0850,
snail: PO BOX 401 Glebe NSW 2037 Australia
Checkout the Felix programming language http://felix.sf.net
- Re: [Demexp-dev] voting tools, (continued)
- Re: [Demexp-dev] voting tools, skaller, 2004/09/22
- Re: [Demexp-dev] voting tools, David MENTRE, 2004/09/22
- Re: [Demexp-dev] voting tools, David MENTRE, 2004/09/22
- Re: [Demexp-dev] voting tools, David MENTRE, 2004/09/22
- Re: [Demexp-dev] voting tools, skaller, 2004/09/22
- Re: [Demexp-dev] voting tools, David MENTRE, 2004/09/22
- Re: [Demexp-dev] voting tools, David MENTRE, 2004/09/22
- Re: [Demexp-dev] voting tools, skaller, 2004/09/23
- Re: [Demexp-dev] voting tools, skaller, 2004/09/23
- Arch setup (was: Re: [Demexp-dev] voting tools), David MENTRE, 2004/09/23
- Re: Arch setup (was: Re: [Demexp-dev] voting tools),
skaller <=
- [Demexp-dev] Re: Arch setup, David MENTRE, 2004/09/23
- [Demexp-dev] Re: Arch setup, David MENTRE, 2004/09/23
- [Demexp-dev] Re: Arch setup, skaller, 2004/09/23
- demexp software use (was: Re: [Demexp-dev] Thoughts on voting machines), David MENTRE, 2004/09/21
- Re: [Demexp-dev] Thoughts on voting machines, skaller, 2004/09/21
- Formal verification (was: Re: [Demexp-dev] Thoughts on voting machines), David MENTRE, 2004/09/21
- Target audience and security (was: Re: [Demexp-dev] Thoughts on voting machines), David MENTRE, 2004/09/21
- Re: Target audience and security (was: Re: [Demexp-dev] Thoughts on voting machines), William Neumann, 2004/09/21
- Re: Target audience and security (was: Re: [Demexp-dev] Thoughts on voting machines), skaller, 2004/09/22
- [Demexp-dev] Re: Target audience and security, David MENTRE, 2004/09/22