On Jan 2, 2016, at 7:35 PM, Marc Feeley feeley@iro.umontreal.ca wrote:
First of all happy new year to you and all the other members of this list!
Yes separate compilation is supported by the linker (the -link option to gsc). Here is an example. Please do a “git pull;make from-scratch;make install” to use the latest Gambit.
“make update” should do a “git pull; make -j <whatever> from-scratch” where <whatever> comes from a configure setting (or default).
Brad