From e0e52394252969df69f237bf31dc2c6315b62cb3 Mon Sep 17 00:00:00 2001
From: "Jens A. Koch" <jakoch@web.de>
Date: Tue, 4 Feb 2025 23:48:13 +0100
Subject: [PATCH] update IKOS to v3.5, prep release v1.0.8

---
 .devcontainer/debian/bookworm/Dockerfile | 12 ++++++------
 .devcontainer/debian/trixie/Dockerfile   |  2 +-
 CHANGELOG.md                             |  8 +++++++-
 3 files changed, 14 insertions(+), 8 deletions(-)

diff --git a/.devcontainer/debian/bookworm/Dockerfile b/.devcontainer/debian/bookworm/Dockerfile
index 8c8d1c4..cd4d187 100644
--- a/.devcontainer/debian/bookworm/Dockerfile
+++ b/.devcontainer/debian/bookworm/Dockerfile
@@ -46,7 +46,7 @@ FROM debian:bookworm-slim AS downloader
 
 # Reuse global arguments
 ARG VULKAN_VERSION
-ARG IKOS_VERSION=3.4
+ARG IKOS_VERSION=3.5
 
 ENV DEBIAN_FRONTEND=noninteractive \
     DEBCONF_NOWARNINGS="yes" \
@@ -174,7 +174,7 @@ RUN echo "IKOS" && \
     python3 -m build --no-isolation --outdir "/opt/ikos/dist/" --wheel "analyzer/python" && \
     find /opt/ikos/dist -name "*.whl" -exec ls -la {} + && \
 	echo "Install Python Module" && \
-    python3 -m pip install --no-cache-dir "/opt/ikos/dist/ikos-3.4-py3-none-any.whl" --target "/opt/ikos/python-module" && \
+    python3 -m pip install --no-cache-dir $(find /opt/ikos/dist -name "ikos-*.whl") --target "/opt/ikos/python-module" && \
     export PYTHONPATH="/opt/ikos/python-module" && \
     echo "Test" && \
     #ls -lahr /opt/ikos/bin && \
@@ -423,10 +423,10 @@ RUN apt-get update && apt-get install --no-install-recommends --assume-yes \
     apt-get autoremove -y && \
     apt-get clean autoclean && \
     rm -rf /var/lib/apt/lists/* /tmp/* /var/tmp/* && \
-    # Install IKOS Python module
-	python3 -m pip install --no-cache-dir "/opt/ikos/dist/ikos-3.4-py3-none-any.whl" --target "/opt/ikos/python-module"
-	# Test
-	#ikos --version
+    # Install IKOS Python module (* for dynamic version)
+	python3 -m pip install --no-cache-dir $(find /opt/ikos/dist -name "ikos-*.whl") --target "/opt/ikos/python-module" && \
+    # Test
+	ikos --version
 
 #
 #  888      888      888     888 888b     d888
diff --git a/.devcontainer/debian/trixie/Dockerfile b/.devcontainer/debian/trixie/Dockerfile
index 3792244..0971269 100644
--- a/.devcontainer/debian/trixie/Dockerfile
+++ b/.devcontainer/debian/trixie/Dockerfile
@@ -65,7 +65,7 @@ FROM debian:trixie-slim AS downloader
 #ARG GCC_VERSION
 ARG VULKAN_VERSION
 ARG MESA_VERSION
-ARG IKOS_VERSION=3.4
+ARG IKOS_VERSION=3.5
 
 ENV DEBIAN_FRONTEND=noninteractive \
     DEBCONF_NOWARNINGS="yes" \
diff --git a/CHANGELOG.md b/CHANGELOG.md
index aa53cf1..3b56cb2 100644
--- a/CHANGELOG.md
+++ b/CHANGELOG.md
@@ -11,6 +11,11 @@ and this project adheres to [Semantic Versioning](https://semver.org/spec/v2.0.0
 
 - "It was a bright day in April, and the clocks were striking thirteen." - 1984
 
+## [1.0.8] - 2025-02-04
+
+**Changed**
+- bookworm & trixie image: updated IKOS to v3.5
+
 ## [1.0.7] - 2025-01-26
 
 **Changed**
@@ -141,7 +146,8 @@ and this project adheres to [Semantic Versioning](https://semver.org/spec/v2.0.0
 
 <!-- Section for Reference Links -->
 
-[vNext]: https://github.com/jakoch/cpp-devbox/compare/v1.0.7...HEAD
+[vNext]: https://github.com/jakoch/cpp-devbox/compare/v1.0.8...HEAD
+[1.0.8]: https://github.com/jakoch/cpp-devbox/releases/tag/v1.0.8
 [1.0.7]: https://github.com/jakoch/cpp-devbox/releases/tag/v1.0.7
 [1.0.6]: https://github.com/jakoch/cpp-devbox/releases/tag/v1.0.6
 [1.0.5]: https://github.com/jakoch/cpp-devbox/releases/tag/v1.0.5