Skip to content

Commit 63bf376

Browse files
authored
Codex/create setup script for codex environment (#20)
This is the same as PR #18, I just restructured the commits to merge to main directly independently from the other changes in the other PRs
2 parents eb76a69 + 7975591 commit 63bf376

File tree

4 files changed

+21
-14
lines changed

4 files changed

+21
-14
lines changed

.agents/codex-setup

Lines changed: 10 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -1,7 +1,15 @@
11
#!/usr/bin/env bash
2+
set -euo pipefail
3+
4+
# Install the tooling required to build and test the CodeTracer project.
5+
# The list of packages is derived from `Justfile` and `flake.nix`.
26

37
AGENTS_DIR=$(cd "$(dirname "${BASH_SOURCE[0]}")" && pwd)
4-
cd $AGENTS_DIR
8+
cd "$AGENTS_DIR"
59

610
apt-get update
7-
apt-get install -y --no-install-recommends just
11+
DEBIAN_FRONTEND=noninteractive apt-get install -y --no-install-recommends \
12+
python3 python3-pip python3-venv python3-dev \
13+
cargo rustc just pkg-config capnproto
14+
15+
pip3 install --no-cache-dir --break-system-packages maturin uv
Lines changed: 2 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,2 @@
1+
--- FOLLOW UP TASK ---
2+
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.

.gitignore

Lines changed: 2 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -3,4 +3,5 @@
33
.aider*
44
.venv/
55
**/target/
6-
build
6+
build
7+
*~

AGENTS.md

Lines changed: 7 additions & 11 deletions
Original file line numberDiff line numberDiff line change
@@ -5,20 +5,16 @@ This repository contains two related projects:
55
- codetracer-pure-python-recorder — the original pure-Python tracer.
66
- codetracer-python-recorder — a Rust-backed Python module built with PyO3 and maturin.
77

8-
To run the Python test suite for the pure-Python tracer, execute:
8+
To build the modules in development mode run:
99

10-
```
11-
just test
12-
```
10+
```sh
11+
just venv 3.13 dev #You can use any other Python version >=3.12
12+
``
1313

14-
The tester executes a number of sample programs in `tests/programs` and compares their outputs to the fixtures in `tests/fixtures`.
14+
Then to run the tests do
1515

16-
To build and locally develop-install the Rust-backed module:
17-
18-
```
19-
just build-rust
20-
# or:
21-
maturin develop -m crates/codetracer-python-recorder/Cargo.toml
16+
```sh
17+
just test
2218
```
2319

2420
# Code quality guidelines

0 commit comments

Comments
 (0)