1DOLLY 72PACKAGE seven-kingdoms3REQUIRES HOST runtime@04REQUIRES HOST display@05REQUIRES HOST input@06REQUIRES HOST audio@07REQUIRES HOST touch@08REQUIRES HOST download@09REQUIRES HOST http@01011# Seven Kingdoms as rts-build compiled it, and its arena: rts-arena runs matches12# between agents, rts-viewer shows one.13FROM /v0.1.5/demos/pi/Dollyfile-pi-runtime 40e8183b225e483ce2f556f39cf00de406e472dbad951682b10446158da3147814USE /v0.1.5/demos/sdl2/Dollyfile-sdl2 cd864c7c3220d915822ca58199fe4df7c7f2e5fb21d34c77a6aa86f77ed466dc15COPY /v0.1.5/demos/rts/Dollyfile-rts-build 20059acb93403a48386abeb4458557761f161a95ba0001b9452749f38ffe2979 /usr/bin/seven-kingdoms /usr/bin/seven-kingdoms16COPY /v0.1.5/demos/rts/Dollyfile-rts-build 20059acb93403a48386abeb4458557761f161a95ba0001b9452749f38ffe2979 /usr/share/7kaa /usr/share/7kaa17COPY /v0.1.5/demos/rts/Dollyfile-rts-build 20059acb93403a48386abeb4458557761f161a95ba0001b9452749f38ffe2979 /usr/src/7kaa /usr/src/7kaa18COPY /v0.1.5/demos/rts/Dollyfile-rts-build 20059acb93403a48386abeb4458557761f161a95ba0001b9452749f38ffe2979 /usr/src/dolly/rts /usr/src/dolly/rts19COPY /v0.1.5/demos/rts/Dollyfile-rts-build 20059acb93403a48386abeb4458557761f161a95ba0001b9452749f38ffe2979 /usr/share/licenses/7kaa /usr/share/licenses/7kaa20EXPORTS TOOL seven-kingdoms21REQUIRES HEADER cpp22REQUIRES HEADER quickjs-runner23REQUIRES HEADER sdl224REQUIRES LIB dolly-js25REQUIRES LIB quickjs26REQUIRES LIB SDL227REQUIRES TOOL cc28REQUIRES TOOL c++29REQUIRES TOOL seven-kingdoms30REQUIRES TOOL rm31REQUIRES TOOL tar32REQUIRES TOOL gzip33REQUIRES TOOL mkdir3435SOURCE /v0.1.5/dist/static/rts/arena.tar c80826279f631eb735d2e76e0109a2ee6f94e9a6985295f77075aec0ac7b328e /tmp/rts-arena/source.tar36SOURCE /v0.1.5/dist/static/default/stb_truetype.h ecd30b05e0dd4fea3a13c26810dd9e1992dc379049482c393d5a19e6b5090aab /tmp/rts-arena/stb_truetype.h37SLOP tar -xf /tmp/rts-arena/source.tar -C /38SLOP mkdir -p /usr/share/dolly/rts39SLOP gzip -dc /tmp/rts-arena/demo.tar.gz | tar -xf - -C /usr/share/dolly/rts40FOLDER /usr/share/dolly/rts41SLOP c++ -O1 -std=c++11 -I/usr/include/SDL2 -I/tmp/rts-arena \42  /usr/src/dolly/rts/spectator/viewer.cpp -o /usr/bin/rts-viewer -lSDL2 -lm43SLOP cc -std=gnu11 -I/usr/include/dolly -DEMSCRIPTEN=1 -D_GNU_SOURCE \44  -DQUICKJS_NG_BUILD -DNDEBUG -funsigned-char \45  /usr/src/dolly/rts/spectator/launch.c -ldolly-js -lquickjs -o /usr/bin/rts-arena4647EXPORTS TOOL rts-viewer48EXPORTS TOOL rts-arena49FILE /usr/share/man/cat1/rts-arena.150    rts-arena [[PROVIDER::]MODEL_1 [PROVIDER::]MODEL_2 [SECONDS] [USD]]51    A Seven Kingdoms match between two models, 600 s and $1 of reported cost by52    default; without arguments, the launcher.53    rts-arena --replay /workspace/rts-matches/MATCH   replays a match54    seven-kingdoms -noaudio -win [-replay FILE.RPL]   the game itself55    rts-viewer                                        the match's spectator56FOLDER /usr/src/dolly/rts57SLOP rm -rf /tmp/rts-arena58