[gambit-list] Re --enable-auto-forcing: Scope, how/where implemented, how build (with) it properly?
Bradley Lucier
lucier at math.purdue.edu
Fri Jul 14 12:41:20 EDT 2017
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/1homFLxKQnlcP85KH6ygKE6lEkPYiKxcHhttZ-GD8a4kbxAqz92WpuVjIm6ikIv6UPxFW5clU4WZjJdIxlmbhNR0baXZR0vJAt4Z8JLeUlHXGKOILBkDBSjGt317Y2kqUNI7KeGx154F3IhNZrTta_58NQ7wxSItoMSjKHkHKlzC2sd0pYjzv8MoquuM7aX_GqZEHOEIIyTBULxwYRCYr_6tRG4ok7DUpsX528uh7N99_N0P2QJpcQjApry7sLOhOR_iW1PDDl7QTwMNdheuaXLqcqElrl_n1Lmdd70nBf4vusB_9p799fwCttJElIskMR2HhrFIk1vCWmhwsXBHyStv75-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/1homFLxKQnlcP85KH6ygKE6lEkPYiKxcHhttZ-GD8a4kbxAqz92WpuVjIm6ikIv6UPxFW5clU4WZjJdIxlmbhNR0baXZR0vJAt4Z8JLeUlHXGKOILBkDBSjGt317Y2kqUNI7KeGx154F3IhNZrTta_58NQ7wxSItoMSjKHkHKlzC2sd0pYjzv8MoquuM7aX_GqZEHOEIIyTBULxwYRCYr_6tRG4ok7DUpsX528uh7N99_N0P2QJpcQjApry7sLOhOR_iW1PDDl7QTwMNdheuaXLqcqElrl_n1Lmdd70nBf4vusB_9p799fwCttJElIskMR2HhrFIk1vCWmhwsXBHyStv75-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.
>
>
> 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
More information about the Gambit-list
mailing list