From 7a20c33db67eeff0e4d59f542d913a2cbe855202 Mon Sep 17 00:00:00 2001
From: Adrien Morison <adrien.morison@gmail.com>
Date: Tue, 7 Jul 2026 18:31:57 +0100
Subject: [PATCH] build against dev version of jasmine core

---
 pom.xml                |  2 +-
 update-jasmine-test.sh | 15 +++++++++++++++
 2 files changed, 16 insertions(+), 1 deletion(-)
 create mode 100755 update-jasmine-test.sh

diff --git a/pom.xml b/pom.xml
index d21399d37..d3408acc3 100644
--- a/pom.xml
+++ b/pom.xml
@@ -126,7 +126,7 @@
 		<dependency>
 			<groupId>com.github.jasmineRepo</groupId>
 			<artifactId>JAS-mine-core</artifactId>
-            <version>5.1.0</version>
+            <version>8dd7543389a82fb9a70c62bb8625a4cdd5b4a7bf</version> <!--JASMINE-->
 			<scope>compile</scope>
 		</dependency>
 		<!-- Modern replacement for xmlParserAPIs -->
diff --git a/update-jasmine-test.sh b/update-jasmine-test.sh
new file mode 100755
index 000000000..0c8b7f2a1
--- /dev/null
+++ b/update-jasmine-test.sh
@@ -0,0 +1,15 @@
+#!/bin/bash
+
+# usually develop
+ON_BRANCH="develop"
+
+git switch --quiet ${ON_BRANCH} || exit
+git pull --quiet || exit
+git switch --quiet am/against-jasmine-dev || exit
+git rebase --quiet ${ON_BRANCH} || exit
+git -C ../JAS-mine-core show --no-patch || exit
+HASH=$(git -C ../JAS-mine-core rev-parse HEAD)
+sed -i "s|^            <version>.*</version> <!--JASMINE-->$|            <version>${HASH}</version> <!--JASMINE-->|" pom.xml
+echo
+git diff
+git commit --quiet -a --amend --no-edit