solo5-kernel-muen 0.3.1

Error log

The package failed to build. The error log from opam follows.

The following actions will be performed:
=== install 2 packages
  - install conf-pkg-config   2
  - install solo5-kernel-muen 0.3.1 (deprecated)

The following system packages will first need to be installed:
    pkg-config

<><> Handling external dependencies <><><><><><><><><><><><><><><><><><><><><><>

opam believes some required external dependencies are missing. opam can:
> 1. Run apt-get to install them (may need root/sudo access)
  2. Display the recommended apt-get command and wait while you run it manually (e.g. in another terminal)
  3. Continue anyway, and, upon success, permanently register that this external dependency is present, but not detectable
  4. Abort the installation

[1/2/3/4] 1

+ /usr/bin/sudo "apt-get" "install" "-qq" "-yy" "pkg-config"
- debconf: delaying package configuration, since apt-utils is not installed
- Selecting previously unselected package libpkgconf3:amd64.
- (Reading database ... 
(Reading database ... 5%
(Reading database ... 10%
(Reading database ... 15%
(Reading database ... 20%
(Reading database ... 25%
(Reading database ... 30%
(Reading database ... 35%
(Reading database ... 40%
(Reading database ... 45%
(Reading database ... 50%
(Reading database ... 55%
(Reading database ... 60%
(Reading database ... 65%
(Reading database ... 70%
(Reading database ... 75%
(Reading database ... 80%
(Reading database ... 85%
(Reading database ... 90%
(Reading database ... 95%
(Reading database ... 100%
(Reading database ... 18776 files and directories currently installed.)
- Preparing to unpack .../libpkgconf3_1.8.1-1_amd64.deb ...
- Unpacking libpkgconf3:amd64 (1.8.1-1) ...
- Selecting previously unselected package pkgconf-bin.
- Preparing to unpack .../pkgconf-bin_1.8.1-1_amd64.deb ...
- Unpacking pkgconf-bin (1.8.1-1) ...
- Selecting previously unselected package pkgconf:amd64.
- Preparing to unpack .../pkgconf_1.8.1-1_amd64.deb ...
- Unpacking pkgconf:amd64 (1.8.1-1) ...
- Selecting previously unselected package pkg-config:amd64.
- Preparing to unpack .../pkg-config_1.8.1-1_amd64.deb ...
- Unpacking pkg-config:amd64 (1.8.1-1) ...
- Setting up libpkgconf3:amd64 (1.8.1-1) ...
- Setting up pkgconf-bin (1.8.1-1) ...
- Setting up pkgconf:amd64 (1.8.1-1) ...
- Setting up pkg-config:amd64 (1.8.1-1) ...
- Processing triggers for libc-bin (2.36-9+deb12u9) ...

<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
-> retrieved solo5-kernel-muen.0.3.1  (cached)
-> installed conf-pkg-config.2
[ERROR] The compilation of solo5-kernel-muen.0.3.1 failed at "make muen".

#=== ERROR while compiling solo5-kernel-muen.0.3.1 ============================#
# context              2.3.0 | linux/x86_64 | ocaml-base-compiler.5.1.1 | file:///src
# path                 ~/.opam/5.1/.opam-switch/build/solo5-kernel-muen.0.3.1
# command              /usr/bin/make muen
# exit-code            2
# env-file             ~/.opam/log/solo5-kernel-muen-113-794b2e.env
# output-file          ~/.opam/log/solo5-kernel-muen-113-794b2e.out
### output ###
# ./configure.sh
# ./configure.sh: Only 'gcc' 4.x+ is supported on Linux
# Makefile.common:22: /home/opam/.opam/5.1/.opam-switch/build/solo5-kernel-muen.0.3.1/Makeconf: No such file or directory
# make: *** [GNUmakefile:21: /home/opam/.opam/5.1/.opam-switch/build/solo5-kernel-muen.0.3.1/Makeconf] Error 1



<><> Error report <><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><>
+- The following actions failed
| - build solo5-kernel-muen 0.3.1
+- 
+- The following changes have been performed
| - install conf-pkg-config 2
+- 

<><> solo5-kernel-muen.0.3.1 troubleshooting ><><><><><><><><><><><><><><><><><>
=> Note: This package is deprecated.
# To update the current shell environment, run: eval $(opam env)

The former state can be restored with:
    /usr/bin/opam switch import "/home/opam/.opam/5.1/.opam-switch/backup/state-20250204023223.export"