From 7ef35f1a96f2c8c6973ace70b716701fabf9e2bf Mon Sep 17 00:00:00 2001
From: Federico Perini <federico.perini@gmail.com>
Date: Wed, 15 Mar 2023 12:04:22 +0100
Subject: [PATCH] update `VERSION` field in fpm.toml with current version

---
 ci/fpm-deployment.sh | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/ci/fpm-deployment.sh b/ci/fpm-deployment.sh
index bdd3c2b6e..684612c58 100644
--- a/ci/fpm-deployment.sh
+++ b/ci/fpm-deployment.sh
@@ -20,7 +20,6 @@ fi
 
 # Additional files to include
 include=(
-  "ci/fpm.toml"
   "LICENSE"
   "VERSION"
 )
@@ -54,6 +53,9 @@ find example -name "example_*.f90" -exec cp {} "$destdir/example/" \;
 # Include additional files
 cp "${include[@]}" "$destdir/"
 
+# Update version in the manifest (not all systems support sed -i)
+sed -E "s,version = \"VERSION\",version = \"$major.$minor.$patch\",g" ci/fpm.toml > "$destdir/fpm.toml"
+
 # Source file workarounds for fpm; ignore missing files
 rm "${prune[@]}"