Include booster backend in pom.xml build

[ehildenb]

Similar to how the haskell-backend is built, we need to:

• Clone the booster repo
• Build with stack build in a similar way to haskell-backend/pom.xml
• Modify the k-distribution/src/main/assembly/bin.xml to look for the appropriate binaries using the assemblies path.
• Add a CI test that the booster is launchable with the installed Ubuntu package.

[Robertorosmaninho]

Hey @ehildenb, could you give more details about the last task?

[ehildenb]

@Robertorosmaninho maybe you could just call the booster binary with --version to make sure it works on the installed package?

For example, here:

k/.github/workflows/release.yml

Line 84 in ba7873e

test-package: package/debian/test-package

, we call tests that are supposed to work on the debian package. That is this script:

k/package/debian/test-package

Line 12 in ba7873e

apt-get install --yes make

. Which calls this script: https://github.com/runtimeverification/k/blob/ba7873e2e5daf8ed8be3d010ae8091c832396052/package/test-package. So you could add a line to that final test-package script saying:

kore-rpc-booster --help

To make sure that the booster is on PATH in the installed package. See the booster README here: https://github.com/runtimeverification/hs-backend-booster.

[Robertorosmaninho]

Closed by: #3475