Hi,
* Marc Feeley feeley@iro.umontreal.ca [200112 09:39]:
This issue was fixed yesterday (commit 6f5b2058eeff6b1fbbd2c282d4e040182478da8f) for Ubuntu, and I would expect this to also fix the issue on Debian. Perhaps you made a clone just before the issue was fixed. Could you try again?
Yes, that fixed it. After a `git pull` Gambit built without complaint:
cd gambit git pull [...] ./configure --enable-single-host [...] make [...] make modules [...] sudo make install [...] gsi Gambit v4.9.3
>
It seems that renameat2 is only accessible through “syscall” on Ubuntu and maybe it is the same with Debian: https://stackoverflow.com/questions/41655386/no-renameat2-system-call-fu nction-on-ubuntu-16-04
Marc
Thanks,
John