diff --git a/.agents/codex-setup b/.agents/codex-setup index 6c11900..81b23ae 100755 --- a/.agents/codex-setup +++ b/.agents/codex-setup @@ -1,7 +1,15 @@ #!/usr/bin/env bash +set -euo pipefail + +# Install the tooling required to build and test the CodeTracer project. +# The list of packages is derived from `Justfile` and `flake.nix`. AGENTS_DIR=$(cd "$(dirname "${BASH_SOURCE[0]}")" && pwd) -cd $AGENTS_DIR +cd "$AGENTS_DIR" apt-get update -apt-get install -y --no-install-recommends just +DEBIAN_FRONTEND=noninteractive apt-get install -y --no-install-recommends \ + python3 python3-pip python3-venv python3-dev \ + cargo rustc just pkg-config capnproto + +pip3 install --no-cache-dir --break-system-packages maturin uv diff --git a/.agents/tasks/2025/08/15-1323-initial-test-suite b/.agents/tasks/2025/08/15-1323-initial-test-suite new file mode 100644 index 0000000..135e510 --- /dev/null +++ b/.agents/tasks/2025/08/15-1323-initial-test-suite @@ -0,0 +1,2 @@ +--- FOLLOW UP TASK --- +Create a script which will be used in future to set-up the Codex environment for development and testing of this project. Base this on what you see in Justfile and flake.nix. Note that not all packages described in flake.nix will be needed in the Codex environment, but we do care about building the project and running the tests. diff --git a/.gitignore b/.gitignore index 48ffc7e..de5bba0 100644 --- a/.gitignore +++ b/.gitignore @@ -3,4 +3,5 @@ .aider* .venv/ **/target/ -build \ No newline at end of file +build +*~ diff --git a/AGENTS.md b/AGENTS.md index feee796..c56a4c1 100644 --- a/AGENTS.md +++ b/AGENTS.md @@ -5,20 +5,16 @@ This repository contains two related projects: - codetracer-pure-python-recorder — the original pure-Python tracer. - codetracer-python-recorder — a Rust-backed Python module built with PyO3 and maturin. -To run the Python test suite for the pure-Python tracer, execute: +To build the modules in development mode run: -``` -just test -``` +```sh +just venv 3.13 dev #You can use any other Python version >=3.12 +`` -The tester executes a number of sample programs in `tests/programs` and compares their outputs to the fixtures in `tests/fixtures`. +Then to run the tests do -To build and locally develop-install the Rust-backed module: - -``` -just build-rust -# or: -maturin develop -m crates/codetracer-python-recorder/Cargo.toml +```sh +just test ``` # Code quality guidelines