From 0b6db9e46aacd97772733d790be62f6c266a0eb6 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Fran=C3=A7ois=20Dupressoir?= <fdupress@gmail.com>
Date: Tue, 5 Aug 2025 19:53:35 +0100
Subject: [PATCH 1/3] add Jasmin dependencies to build docker

---
 scripts/docker/Dockerfile.build | 1 +
 1 file changed, 1 insertion(+)

diff --git a/scripts/docker/Dockerfile.build b/scripts/docker/Dockerfile.build
index d3d9ec776..050e09daf 100644
--- a/scripts/docker/Dockerfile.build
+++ b/scripts/docker/Dockerfile.build
@@ -4,6 +4,7 @@ FROM ./Dockerfile.base as base-build
 
 RUN \
 	sudo apt-get -q -y install wget curl python3 python3-pip python3-yaml && \
+  sudo apt-get -q -y install libmpfr-dev libppl-dev && \
 	sudo apt-get -q -y clean
 
 RUN \

From 6bb26b20eeb96230dd7c42e62e6ac0d77d4e2cc2 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Fran=C3=A7ois=20Dupressoir?= <fdupress@gmail.com>
Date: Tue, 5 Aug 2025 19:53:43 +0100
Subject: [PATCH 2/3] add jasmin installation to external CI jobs

---
 .github/workflows/ci.yml | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index b340a3f5a..94c6bb808 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -125,8 +125,9 @@ jobs:
           -b ${{ steps.branch_name.outputs.REPO_BRANCH }} \
           ${{ matrix.target.repository }} \
           project/${{ matrix.target.name }}
-    - name: Install EasyCrypt dependencies
+    - name: Install Jasmin and EasyCrypt dependencies
       run: |
+        opam install jasmin
         opam pin add -n easycrypt easycrypt
         opam install --deps-only easycrypt
     - name: Compile & Install EasyCrypt

From b110239d44149d1e665a978110da1c8812e3520c Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Fran=C3=A7ois=20Dupressoir?= <fdupress@gmail.com>
Date: Wed, 6 Aug 2025 17:06:19 +0100
Subject: [PATCH 3/3] REVERT ME

This forces the use of the EasyCrypt+Jasmin docker image
to measure CI performance impact. It should be reverted if
and when we decide to include Jasmin in the main docker image.
---
 .github/workflows/ci.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index 94c6bb808..afec19a73 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -99,7 +99,7 @@ jobs:
     needs: [compile-opam, fetch-external-matrix]
     runs-on: ubuntu-24.04
     container:
-      image: ghcr.io/easycrypt/ec-build-box
+      image: ghcr.io/easycrypt/ec-build-box:jasmin
     strategy:
       fail-fast: false
       matrix: