1DOLLY 72TOOLCHAIN lean-stage03REQUIRES HOST runtime@04REQUIRES HOST display@05REQUIRES HOST http@06REQUIRES HOST input@07REQUIRES HOST stack@08REQUIRES HOST threads@0910# The first lean of Lean's bootstrap: upstream's stage0/, its copy of the11# C++ runtime and the C the release before emitted, compiled inside Dolly12# (lean-dolly.mk, lean-dolly.patch) and rewritten by stack-wrap; lean-std,13# lean-meta and lean compile the release with it.14FROM /v0.1.5/Dollyfile-system-tools 39e8ad7c80d06b7a0c420bbeaae2e6b2423e7e633d38640e82d72a73c20e232a15INSTALL /v0.1.5/Dollyfile-stack-wrap d5685e9304b556ce1a035dd269ddf0aeb30cd9b310183847118bcff0c276505e16INSTALL /v0.1.5/demos/cmake/Dollyfile-libuv 066e772a7a8c660560af765731d055c77bac33cb8fbcb22b034f5df2d24b65251718REQUIRES HEADER libc19REQUIRES HEADER uv20REQUIRES LIB uv21REQUIRES TOOL ar22REQUIRES TOOL c++23REQUIRES TOOL cc24REQUIRES TOOL find25REQUIRES TOOL gzip26REQUIRES TOOL make27REQUIRES TOOL patch28REQUIRES TOOL sed29REQUIRES TOOL stack-wrap30REQUIRES TOOL tar3132SOURCE /v0.1.5/dist/static/lean/lean.tar.gz ef83239912f7c218c5f0e937de704b7da807b9802b05216414b59b9dec42e0da /tmp/lean.tar.gz33SOURCE /v0.1.5/dist/static/lean/port.tar 1716710f88ccdd478709b75533ef1686ff39e381ad7d66ff65caff992e2dd1a6 /tmp/lean-port.tar34SLOP gzip -dc /tmp/lean.tar.gz | tar -xf - -C / && rm /tmp/lean.tar.gz35SLOP tar -xf /tmp/lean-port.tar -C /36SLOP CWD /tmp/lean/stage0 patch -p1 < ../dolly/lean-dolly.patch37SLOP CWD /tmp/lean make -f dolly/lean-dolly.mk -j438SLOP mkdir -p /usr/lib/lean-stage0 && cp /tmp/lean/build/stage0/bin/lean /usr/lib/lean-stage0/lean39SLOP /usr/lib/lean-stage0/lean --version4041FILE /usr/lib/lean-stage0/lean4243ENTRY /bin/foreground -i /bin/slop44