Merge PR rocq-prover#20282: [CI] Fix jasmin

Reviewed-by: SkySkimmer
Co-authored-by: SkySkimmer <SkySkimmer@users.noreply.github.com>

Author: coqbot-app[bot]

.gitlab-ci.yml

@@ -878,6 +878,16 @@ library:ci-mczify:
   - library:ci-mathcomp
   stage: build-3+
 
+library:ci-algebra_tactics:
+  extends: .ci-template-flambda
+  needs:
+  - build:edge+flambda
+  - library:ci-stdlib+flambda
+  - plugin:ci-elpi_hb
+  - library:ci-mathcomp
+  - library:ci-mczify
+  stage: build-3+
+
 library:ci-finmap:
   extends: .ci-template-flambda
   needs:
@@ -1027,6 +1037,8 @@ library:ci-jasmin:
   - plugin:ci-elpi_hb
   - library:ci-mathcomp
   - library:ci-mathcomp_word
+  - library:ci-mczify
+  - library:ci-algebra_tactics
   stage: build-3+
 
 library:ci-http:

Makefile.ci

@@ -28,6 +28,7 @@ CI_PLATFORM_FULL= \
     ci-mathcomp \
     ci-mathcomp_word \
     ci-mczify \
+    ci-algebra_tactics \
     ci-finmap \
     ci-bigenough \
     ci-analysis \
@@ -173,6 +174,7 @@ ci-fourcolor: ci-mathcomp
 ci-oddorder: ci-mathcomp
 ci-fcsl_pcm: ci-mathcomp
 ci-mczify: ci-mathcomp
+ci-algebra_tactics: ci-mczify
 ci-mathcomp_test: ci-mathcomp
 ci-mathcomp_word: ci-mathcomp
 ci-finmap: ci-mathcomp
@@ -193,7 +195,7 @@ ci-ext_lib: ci-stdlib
 
 ci-itauto: ci-stdlib
 
-ci-jasmin: ci-mathcomp_word
+ci-jasmin: ci-mathcomp_word ci-algebra_tactics
 
 ci-autosubst: ci-stdlib
 ci-iris: ci-autosubst

dev/ci/ci-basic-overlay.sh

@@ -77,6 +77,9 @@ project oddorder "https://github.com/math-comp/odd-order" "master"
 project mczify "https://github.com/math-comp/mczify" "master"
 # Contact @pi8027 on github
 
+project algebra_tactics "https://github.com/math-comp/algebra-tactics" "master"
+# Contact @pi8027, @proux01 on github
+
 project finmap "https://github.com/math-comp/finmap" "master"
 # Contact @CohenCyril on github
 

dev/ci/scripts/ci-algebra_tactics.sh

@@ -0,0 +1,15 @@
+#!/usr/bin/env bash
+
+set -e
+
+ci_dir="$(dirname "$0")"
+. "${ci_dir}/ci-common.sh"
+
+git_download algebra_tactics
+
+if [ "$DOWNLOAD_ONLY" ]; then exit 0; fi
+
+( cd "${CI_BUILD_DIR}/algebra_tactics"
+  make
+  make install
+)