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