[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
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

 David MENTRÉ <address@hidden>

reply via email to

[Prev in Thread] Current Thread [Next in Thread]