Update ROBOT to version 1.9.7.

gouttegd · gouttegd · commit 96083d561203 · 2024-12-03T16:06:42.000Z
diff --git a/docker/odklite/Dockerfile b/docker/odklite/Dockerfile
@@ -1,7 +1,7 @@
 FROM ubuntu:24.04
 LABEL maintainer="obo-tools@googlegroups.com"
 
-ENV ROBOT_VERSION=1.9.6
+ENV ROBOT_VERSION=1.9.7
 ENV DOSDP_VERSION=0.19.3
 ENV OWLTOOLS_VERSION=2020-04-06
 ENV AMMONITE_VERSION=2.5.9
diff --git a/docker/robot/Dockerfile b/docker/robot/Dockerfile
@@ -3,7 +3,7 @@ LABEL maintainer="obo-tools@googlegroups.com"
 
 WORKDIR /tools
 
-ENV ROBOT v1.9.6
+ENV ROBOT=v1.9.7
 ARG ROBOT_JAR=https://github.com/ontodev/robot/releases/download/$ROBOT/robot.jar
 ENV ROBOT_JAR ${ROBOT_JAR}
 
diff --git a/docker/robot/Makefile b/docker/robot/Makefile
@@ -1,6 +1,6 @@
 
 # Building docker image
-VERSION = "v1.9.6"
+VERSION = "v1.9.7"
 IM=obolibrary/robot
 
 CACHE=
