Skip to content

Commit 50b7530

Browse files
committed
chore: expand Codex environment setup
1 parent eb76a69 commit 50b7530

File tree

3 files changed

+14
-3
lines changed

3 files changed

+14
-3
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+
*~

0 commit comments

Comments
 (0)