[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Arch setup (was: Re: [Demexp-dev] voting tools)
From: |
David MENTRE |
Subject: |
Arch setup (was: Re: [Demexp-dev] voting tools) |
Date: |
Thu, 23 Sep 2004 19:08:40 +0200 |
User-agent: |
Gnus/5.1006 (Gnus v5.10.6) Emacs/21.3 (gnu/linux) |
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
I'll try to make a more detailed example of how to setup an Arch
repository.
Yours,
d.
--
David MENTRÉ <address@hidden>
- Re: [Demexp-dev] voting tools, (continued)
- Re: [Demexp-dev] voting tools, David MENTRE, 2004/09/21
- 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 <=
- Re: Arch setup (was: Re: [Demexp-dev] voting tools), skaller, 2004/09/23
- [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