[gambit-list] Running gambit program
Steve Graham
jsgrahamus at yahoo.com
Tue Mar 19 13:18:43 EDT 2013
Sorry, got ahead of myself. Went ahead and executed the following:
git clone https://github.com/feeley/gambit.git
(Downloaded it to my home directory and moved it to /usr/src)
cd gambit
sudo ./configure --enable-single-host
sudo make bootstrap
sudo make bootclean
sudo make
sudo make check
sudo make install
steve at steve-Satellite-L555D ~/Desktop $ ./a.out a b c
./a.out
a
b
c
steve at steve-Satellite-L555D ~/Desktop $ cat a.c
#include <stdio.h>
int main(int argc, char *argv[]) {
char **p = argv;
while (*p != NULL) printf("%s\n", *p++);
return 0;
}
steve at steve-Satellite-L555D ~/Desktop $ gsi
Gambit v4.6.7
> ##os-configure-command-string-saved
"./configure '--enable-single-host'"
> ##os-system-type-string-saved
"x86_64-unknown-linux-gnu"
> ,q
steve at steve-Satellite-L555D ~/Desktop $ gsi
Gambit v4.6.7
> (command-line)
("./gsi")
> ,q
steve at steve-Satellite-L555D ~/Desktop $ gsi a b c
Gambit v4.6.7
> (command-line)
("./gsi")
> ,q
steve at steve-Satellite-L555D ~/Desktop $
________________________________
From: Marc Feeley <feeley at iro.umontreal.ca>
To: Steve Graham <jsgrahamus at yahoo.com>
Cc: Gambit List <Gambit-list at iro.umontreal.ca>
Sent: Tuesday, March 19, 2013 10:58 AM
Subject: Re: [gambit-list] Running gambit program
On 2013-03-19, at 12:35 PM, Steve Graham <jsgrahamus at yahoo.com> wrote:
> > ##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?
>
Just
make clean
make
Also, can you compile this simple C program:
#include <stdio.h>
int main(int argc, char *argv[]) {
char **p = argv;
while (*p != NULL) printf("%s\n", *p++);
return 0;
}
and then do
./a.out a b c
If that doesn't work then we have a problem.
Marc
More information about the Gambit-list
mailing list