Cannot install HAMR

[podhrmic]

Following the instructions here and specifically the section Installing FMIDE+HAMR I get the following error:

${SIREUM_HOME}/bin/install/fmide.cmd --verbose+
...
tar: Ignoring unknown extended header keyword 'LIBARCHIVE.creationtime'
Error encountered when running: /opt/Sireum/bin/linux/fmide/osate -nosplash -console -consoleLog --launcher.suppressErrors -application org.eclipse.equinox.p2.director -repository https://raw.githubusercontent.com/sireum/osate-update-site/master/1.2024.11051400.1c0b1259 -installIU org.sireum.aadl.osate.feature.feature.group, exit code: 13
SLF4J: Failed to load class "org.slf4j.impl.StaticLoggerBinder".
SLF4J: Defaulting to no-operation (NOP) logger implementation
SLF4J: See http://www.slf4j.org/codes.html#StaticLoggerBinder for further details.
Unable to load repositories.
There were errors. See log file: /opt/Sireum/bin/linux/fmide/configuration/1736278975381.log

Tested on Ubuntu 22.04, installed default-jre and maven packages.

I installed Sireum with:

wget https://github.com/sireum/kekinian/releases/download/4.20241212.3e630db/sireum-ive-linux-amd64.tar.xz
tar -xf sireum-ive-linux-amd64.tar.xz -C /opt
SIREUM_HOME=/opt/Sireum

and then updated system path. I didn't use the provided install command, because I need to install Sireum in a specific directory (/opt/Sireum)

How can I get HAMR to install?

[jasonbelt]

I pushed a new plugins release a few days ago and apparently deleted the 1.2024.11051400.1c0b1259 plugin release that the fmide.cmd script from Sireum version 4.20241212.3e630db requires. I restored that and was able to get FMIDE installed following your steps.

Thanks for reporting this and sorry for the inconvenience

Related to your previous issue, Collins updated their plugins that are installed via fmide.cmd such that OSATE 2.13 is now used. 2.13 does have an ARM build so you can now install FMIDE on macOS ARM machines.