From 28622d9fe2d70e1c3762b4cba27159d9a9476d49 Mon Sep 17 00:00:00 2001 From: Thomas Arp <357770+welcor@users.noreply.github.com> Date: Sun, 19 Apr 2026 02:03:34 +0200 Subject: [PATCH] Add initialization and build instructions to AGENTS.md (#166) Added instructions for initializing and building the repository for agents --- AGENTS.md | 14 ++++++++++++++ 1 file changed, 14 insertions(+) create mode 100644 AGENTS.md diff --git a/AGENTS.md b/AGENTS.md new file mode 100644 index 0000000..887cd67 --- /dev/null +++ b/AGENTS.md @@ -0,0 +1,14 @@ +# To initialize the repository: + +Run these commands from the project directory. + +```shell +./configure && touch src/.accepted # the src/.accepted file must exist to build. +``` + +# To build the code: + +```shell +cd src # make must be run from the src dir +make # builds all changed source files. +```