Hi --
You can just make your own directory, grab ACL2 from the web as
follows
wget http://www.cs.utexas.edu/users/moore/acl2/v3-4/distrib/acl2.tar.gz
and then, after extracting with "tar xfz acl2.tar.gz", type
make LISP=
in your source directory.
Actually, if you want to build ACL2 *exactly*
Greetings, and thanks! And the acl2 source location, and any special
build instructions?
Take care,
Matt Kaufmann writes:
> Forwarding to gcl-devel:
>
> From: "David A. Kotz"
> Subject: Re: interrupts in 64-bit GCL
> To: Matt Kaufmann
> CC: c...@maguirefamily.org, gr...@cs.utexas.edu, gcl-de
On Tue, Feb 24, 2009 at 11:54 AM, Gabriel Dos Reis
wrote:
> On Mon, Feb 23, 2009 at 9:11 PM, Camm Maguire wrote:
>> Greetings, and my apologies! Forgot to commit the configure script,
>> as opposed to configure.in. Please try again and let me know if you
>> have problems.
>
> I updated and it b
Forwarding to gcl-devel:
--- Start of forwarded message ---
Date: Wed, 25 Feb 2009 14:10:58 -0600
From: "David A. Kotz"
To: Matt Kaufmann
CC: c...@maguirefamily.org, gr...@cs.utexas.edu, gcl-devel@gnu.org
Subject: Re: interrupts in 64-bit GCL
In-Reply-To: <200902252007.n1pk7mv5025...@lhu
Great! Thank you. Dave, if you send me your build instructions, I'll
forward them along since you're (I'm guessing) not on the gcl-devel
list, which only allows posts from members.
Thanks --
-- Matt
Cc: dk...@cs.utexas.edu, gr...@cs.utexas.edu, gcl-devel@gnu.org
From: Camm Maguire
Date
Greetings! OK, suprisingly enough I think I might have indirectly
deduced what is going on. It is verifiably independent of SGC, but
appears related to 64bit only by the enhanced time window possible in
which to receive SIGINT.
In short, could you please send me (and post to gcl-devel) the
instr
