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