> ##os-configure-command-string-saved
"./configure '--enable-single-host'"
> ##os-system-type-string-saved
"x86_64-unknown-linux-gnu"
>

I don't recall the steps I went through to build Gambit.  Is the make trace stored somewhere automatically?


From: Marc Feeley <feeley@iro.umontreal.ca>
To: Steve Graham <jsgrahamus@yahoo.com>
Cc: Gambit List <Gambit-list@iro.umontreal.ca>
Sent: Tuesday, March 19, 2013 10:17 AM
Subject: Re: [gambit-list] Running gambit program


On 2013-03-19, at 12:07 PM, Steve Graham <jsgrahamus@yahoo.com> wrote:

> steve@steve-Satellite-L555D ~/Desktop $ gsi a b c
> Gambit v4.6.7
>
> > (command-line)
> ("./gsi")
> >

Now that we've established that the command-line processing is the problem, can you explain how you built Gambit?  Did you use any special options or notice a problem?

Also, can you evaluate

  ##os-configure-command-string-saved

and

  ##os-system-type-string-saved

and also send a trace of the "make".

Marc