From 2365e94d1bd62b0361725600e7e966747e0eb4ad Mon Sep 17 00:00:00 2001
From: Remco de Boer <29308176+redeboer@users.noreply.github.com>
Date: Wed, 16 Oct 2024 12:33:53 +0200
Subject: [PATCH] DX: define Binder configuration

---
 .binder/apt.txt     | 1 +
 .binder/postBuild   | 7 +++++++
 .binder/runtime.txt | 1 +
 3 files changed, 9 insertions(+)
 create mode 100644 .binder/apt.txt
 create mode 100755 .binder/postBuild
 create mode 100644 .binder/runtime.txt

diff --git a/.binder/apt.txt b/.binder/apt.txt
new file mode 100644
index 00000000..4d956093
--- /dev/null
+++ b/.binder/apt.txt
@@ -0,0 +1 @@
+graphviz
diff --git a/.binder/postBuild b/.binder/postBuild
new file mode 100755
index 00000000..87299c9d
--- /dev/null
+++ b/.binder/postBuild
@@ -0,0 +1,7 @@
+#!/bin/bash
+set -ex
+curl -LsSf https://astral.sh/uv/install.sh | sh
+uv sync \
+  --extra jupyter \
+  --extra notebooks
+source .venv/bin/activate
diff --git a/.binder/runtime.txt b/.binder/runtime.txt
new file mode 100644
index 00000000..67ebc4e9
--- /dev/null
+++ b/.binder/runtime.txt
@@ -0,0 +1 @@
+python-3.11