bug-aris
[Top][All Lists]
Advanced

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [Bug-aris] ARIS


From: Ian Dunn
Subject: Re: [Bug-aris] ARIS
Date: Tue, 18 Apr 2017 20:14:16 -0400
User-agent: mu4e 0.9.19; emacs 26.0.50

garbel writes:

> Hello Ian Dunn? & whomever else will actually receive this email,
>
> I am part of a group of people from RPI in Bram's logic class that are 
> planning
> on improving ARIS to a point in which it can replace FITCH as the program used
> in the logic curriculum (or at least rival it). We currently ran into the
> problem of not having the 'configure' file or the 'configure.ac' file used in
> rebuilding ARIS after changes are made. I was wondering if it would be 
> possible
> to get those from one of you who have actually worked on it.

Hi!

Where did you get the source you're using?  It should've included the 
configure.ac or configure files.  If not, you may want to use an official 
release or clone from the mercurial repository:

Release: http://ftp.gnu.org/gnu/aris/aris-2.2.tar.bz2

Repository: hg clone https://hg.savannah.gnu.org/hgweb/aris/

If you need any help going through Aris's code, I'd be happy to help as best I 
can.  When you're finished, I'd appreciate it if you sent a patch of your 
changes.  Maybe I can commit them upstream.

-- 
Ian Dunn



reply via email to

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