[gambit-list] Re --enable-auto-forcing: Scope, how/where implemented, how build (with) it properly?
Adam
adam.mlmb at gmail.com
Tue Jul 25 04:57:35 EDT 2017
Hi Brad,
2017-07-15 0:41 GMT+08:00 Bradley Lucier <lucier at math.purdue.edu>:
> On 07/14/2017 04:56 AM, Adam wrote:
>
>> 2017-06-15 2:28 GMT+08:00 Bradley Lucier <lucier at math.purdue.edu <mailto:
>> 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
>> <https://secure-web.cisco.com/1homFLxKQnlcP85KH6ygKE6lEkPYiK
>> xcHhttZ-GD8a4kbxAqz92WpuVjIm6ikIv6UPxFW5clU4WZjJdIxlmbhNR0ba
>> XZR0vJAt4Z8JLeUlHXGKOILBkDBSjGt317Y2kqUNI7KeGx154F3IhNZrTta_
>> 58NQ7wxSItoMSjKHkHKlzC2sd0pYjzv8MoquuM7aX_GqZEHOEIIyTBULxwYR
>> CYr_6tRG4ok7DUpsX528uh7N99_N0P2QJpcQjApry7sLOhOR_iW1PDDl7QTw
>> MNdheuaXLqcqElrl_n1Lmdd70nBf4vusB_9p799fwCttJElIskMR2HhrFIk1
>> vCWmhwsXBHyStv75-j7cpQVkpJ9X16ElNg/https%3A%2F%2Fgithub.com%
>> 2Fgambit%2Fgambit.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
>> <https://secure-web.cisco.com/1homFLxKQnlcP85KH6ygKE6lEkPYiK
>> xcHhttZ-GD8a4kbxAqz92WpuVjIm6ikIv6UPxFW5clU4WZjJdIxlmbhNR0ba
>> XZR0vJAt4Z8JLeUlHXGKOILBkDBSjGt317Y2kqUNI7KeGx154F3IhNZrTta_
>> 58NQ7wxSItoMSjKHkHKlzC2sd0pYjzv8MoquuM7aX_GqZEHOEIIyTBULxwYR
>> CYr_6tRG4ok7DUpsX528uh7N99_N0P2QJpcQjApry7sLOhOR_iW1PDDl7QTw
>> MNdheuaXLqcqElrl_n1Lmdd70nBf4vusB_9p799fwCttJElIskMR2HhrFIk1
>> vCWmhwsXBHyStv75-j7cpQVkpJ9X16ElNg/https%3A%2F%2Fgithub.com%
>> 2Fgambit%2Fgambit.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? -
>>
>
> I don't understand this, sorry.
(Nevermind.)
> 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
>>
>
> Again, I'm a bit confused. I recommend the sequence of commands I already
> gave to build with --enable-auto-forcing:
>
> git clone https://github.com/gambit/gambit.git
> cd gambit
> ./configure
> make -j 4 current-gsc-boot
> ./configure --enable-single-host --enable-auto-forcing
> make -j 4 from-scratch
> make -j 4 doc
> sudo make install
>
Ah, great.
The "current-gsc-boot" basically builds Gambit and then puts that
particular Gambit (./gsc/gsc) in ./gsc-boot (
https://github.com/gambit/gambit/blob/08730be98e86d15eae9da5e5de8cf1d2f9c353f0/makefile.in#L158).
Neat.
And the "from-scratch" makes a really deep wipe i.e. including the
pregenerated .C files, and then a total build (
https://github.com/gambit/gambit/blob/08730be98e86d15eae9da5e5de8cf1d2f9c353f0/makefile.in#L109
).
Neat.
Thanks for clarifying.
So this is the long term best practice, and any change of that at any point
would evoke discussion here on the ML.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mailman.iro.umontreal.ca/pipermail/gambit-list/attachments/20170725/8d3da82f/attachment.htm>
More information about the Gambit-list
mailing list