From 928ac5884e284806cd10a4853626b98c8bcd5734 Mon Sep 17 00:00:00 2001 From: Roberto Rosmaninho Date: Wed, 4 Oct 2023 13:30:49 -0300 Subject: [PATCH] Adding version test to test-package --- package/test-package | 11 +++++++++++ 1 file changed, 11 insertions(+) diff --git a/package/test-package b/package/test-package index 704750337ac..bf46dd82212 100755 --- a/package/test-package +++ b/package/test-package @@ -23,5 +23,16 @@ sort_int = kllvm.ast.CompositeSort("SortInt") assert str(sort_int) == "SortInt{}" HERE +# Make sure that the version of the various components is correct comparing to +# the KServer version that uses JVM. +KOMPILE_VERSION=$(kompile --version | grep -oP 'v[0-9]+\.[0-9]+\.[0-9]+-[0-9]+-g[0-9a-z]+(-dirty)?') +KSERVER_VERSION=$(kserver --version | grep -oP 'v[0-9]+\.[0-9]+\.[0-9]+-[0-9]+-g[0-9a-z]+(-dirty)?') + +if [ "$KOMPILE_VERSION" != "$KSERVER_VERSION" ]; then + echo "KOMPILE_VERSION: $KOMPILE_VERSION" + echo "KSERVER_VERSION: $KSERVER_VERSION" + exit 1 +fi + # Make sure that the Haskell Backend Booster has been installed properly. kore-rpc-booster --help