From fecabe74f0a1fb456995b265498dbe3ddef6b36c Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Alexander=20Schulthei=C3=9F?= Date: Wed, 3 Jul 2024 12:23:24 +0200 Subject: [PATCH] README: add changes I forgot to save --- README.md | 2 ++ 1 file changed, 2 insertions(+) diff --git a/README.md b/README.md index 59aec9f3..607a6a60 100644 --- a/README.md +++ b/README.md @@ -497,11 +497,13 @@ Try to rerun the same command after closing other applications which might comsu In some cases it may also be necessary to disable some kind of out-of-memory killer (also known as OOM killer or OOM deamon) but use this option with caution. ### Failed to read library file ./libs/../agda-stdlib/standard-library.agda-lib. +The following error may occur when executing `make` after a manual setup: ```shell Failed to read library file ./libs/../agda-stdlib/standard-library.agda-lib. Reason: ./libs/../agda-stdlib/standard-library.agda-lib: openBinaryFile: does not exist (No such file or directory) make: *** [makefile:15: build] Error 42 ``` +This error occurs when the `agda-stdlib` git submodule has not been setup correctly. Executing `git submodule update --init` in the root of the repository should fix the problem. [agda-badge-version-svg]: https://img.shields.io/badge/agda-v2.6.4.3-blue.svg [agda-badge-version-url]: https://github.com/agda/agda/releases/tag/v2.6.4.3