10 Oct
2014
10 Oct
'14
21:27
On Oct 10, 2014, at 9:05 PM, Bradley Lucier lucier@math.purdue.edu wrote:
On Oct 10, 2014, at 9:01 PM, Marc Feeley feeley@iro.umontreal.ca wrote:
Hmmm… are you sure you did
cd contrib/GambitREPL make ios
because the error messages don’t seem to indicate you were in the right directory (note that my previous message incorrectly had a dash in the name GambitREPL, so maybe your “cd” failed).
Here’s the entire log:
It seems that the file gambit-c.info-3 is missing and this is causing the “make dist” to fail. I don’t know why it is not being generated on your system. As a quick fix you could “touch doc/gambit-c.info-3” and try again.
Marc