Getting closer...

CHERIoT-Platform · Jan 15, 2025 · 28b93a1 · 28b93a1
1 parent f52f370
commit 28b93a1
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
@@ -40,7 +40,7 @@ jobs:
            docker pull ghcr.io/cheriot-platform/book-build-container:main
       - name: Build book
         run: |
-          docker run --mount type=bind,src=$(pwd),target=/mnt --rm ghcr.io/cheriot-platform/book-build-container:main sh -c 'cd /mnt && sh devcontainer/install_dependencies.sh && cd text && make -j2 IGK_PATH=/igk/bin IGK_LIB_PATH=/igk/lib/ IGK_LUA_PATH=/igk/share/igk-lua html cheriot-programmers-guide.pdf'
+          docker run --mount type=bind,src=$(pwd),target=/mnt --rm ghcr.io/cheriot-platform/book-build-container:main sh -c 'cd /mnt && sh devcontainer/install_dependencies.sh && cd text && luarocks --lua-version 5.1 --tree lua_modules install resilient.sile && make -j2 IGK_PATH=/igk/bin IGK_LIB_PATH=/igk/lib/ IGK_LUA_PATH=/igk/share/igk-lua html cheriot-programmers-guide.pdf'
           mv text/_site .
           cp text/cheriot-programmers-guide.pdf _site/
           ls -lahR _site