[gambit-list] Re --enable-auto-forcing: Scope, how/where implemented, how build (with) it properly?

Adam adam.mlmb at gmail.com
Fri Jul 14 04:56:37 EDT 2017


2017-06-15 2:28 GMT+08:00 Bradley Lucier <lucier at math.purdue.edu>:

> On 06/11/2017 05:08 AM, Adam wrote:
>
>> so the following is how to properly switch it on right?:
>>
>>
>> git clone https://github.com/gambit/gambit.git
>> cd gambit
>> ./configure --enable-auto-force
>> make -j4
>> mv gsc/gsc gsc-boot
>> make bootclean
>> make -j4
>> sudo make install
>>
>> Or do you suggest any other sequence or way? Should I use "from-scratch"
>> instead of "make bootclean" + "make"?
>>
>>
> This appears to build an executable:
>
>     29  18:34   git clone https://github.com/gambit/gambit.git
>     30  18:34   cd gambit
>     31  18:34   ./configure
>     32  18:34   make -j4 current-gsc-boot
>     35  18:37   ./configure --enable-single-host --enable-auto-forcing
>     36  18:37   make -j 8 from-scratch
>
> It fails Test 1 of "make check", but I don't know whether that's relevant.
>
> Brad
>

Brad,

What you suggested now would be how to build the current beta SMP Gambit,
currently during its period of lots of deep changes, which is a transitory
period, right? -


Let's nail how to do it in the 'ordinary' case too, so that would be in a
while from now, and, for older Gambit versions. Would it be like this?:

./configure --enable-auto-forcing
make from-scratch
cp gsc/gsc ./gsc-boot
make clean
make
sudo make install
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mailman.iro.umontreal.ca/pipermail/gambit-list/attachments/20170714/eaa6db21/attachment.htm>


More information about the Gambit-list mailing list