Build failure on Alpine Linux

[kit-ty-kate]

Trying to build a unikernel containing mirage-crypto on an Alpine Linux/x86_64 machine, results in the following error:

File "duniverse/mirage-crypto/ec/dune", line 7, characters 9-19:
7 |   (names p256_stubs np256_stubs p384_stubs np384_stubs p521_stubs np521_stubs
             ^^^^^^^^^^
Context: solo5
cc1: error: attribute 'target' argument 'avx512er' is unknown
In file included from /home/kit_ty_kate/.opam/default/include/x86_64-solo5-none-static/immintrin.h:57,
                 from /home/kit_ty_kate/.opam/default/include/x86_64-solo5-none-static/x86intrin.h:32,
                 from ../src/native/mirage_crypto.h:14,
                 from native/p256_stubs.c:1:
/home/kit_ty_kate/.opam/default/include/x86_64-solo5-none-static/avx512erintrin.h: In function '_mm512_exp2a23_round_pd':
/home/kit_ty_kate/.opam/default/include/x86_64-solo5-none-static/avx512erintrin.h:54:20: error: implicit declaration of function '__builtin_ia32_exp2pd_mask'; did you mean '__builtin_ia32_cmpsd_mask'? [-Wimplicit-function-declaration]
   54 |   return (__m512d) __builtin_ia32_exp2pd_mask ((__v8df) __A,
      |                    ^~~~~~~~~~~~~~~~~~~~~~~~~~
      |                    __builtin_ia32_cmpsd_mask

[Firobe]

IIUC this might hint that there's a mismatch between the compiler versions between when you installed solo5 and now. Could you:

• give us your compiler version (and maybe alpine branch version)
• compare the content of /home/kit_ty_kate/.opam/default/include/x86_64-solo5-none-static and the content of the directory indicated by cc --print-file-name=include. Do both contain the avx512erintrin.h file?
• if there is a discrepancy, try to reinstall solo5

It might also be useful to extract from the dune log the list of flags that were passed to cc during the compilation of mirage-crypto

[kit-ty-kate]

give us your compiler version (and maybe alpine branch version)

The current latest version of Alpine: 3.23.3 and GCC 15.2.0

The problem is indeed a discrepancy between /home/kit_ty_kate/.opam/default/include/x86_64-solo5-none-static and /usr/lib/gcc/x86_64-alpine-linux-musl/15.2.0/include, however trying to reinstall solo5 i now hit:

- __V=1 /home/kit_ty_kate/.opam/default/.opam-switch/build/solo5.0.10.0/toolchain/bin/x86_64-solo5-none-static-cc -z solo5-abi=hvt test_blk.o manifest.o -o test_blk.hvt
- + exec cc -nostdinc '-mstack-protector-guard=global' -isystem /home/kit_ty_kate/.opam/default/.opam-switch/build/solo5.0.10.0/toolchain/bin/../include/x86_64-solo5-none-static -I /home/kit_ty_kate/.opam/default/.opam-switch/build/solo5.0.10.0/toolchain/bin/../include/solo5 -ffreestanding -fstack-protector-strong '-Wl,--build-id=none' -nostdlib -L /home/kit_ty_kate/.opam/default/.opam-switch/build/solo5.0.10.0/toolchain/bin/../lib/x86_64-solo5-none-static -Wl,-T,solo5_hvt.lds -l :solo5_hvt.o -z 'max-page-size=0x1000' -static test_blk.o manifest.o -o test_blk.hvt
- /usr/lib/gcc/x86_64-alpine-linux-musl/15.2.0/../../../../x86_64-alpine-linux-musl/bin/ld: /home/kit_ty_kate/.opam/default/.opam-switch/build/solo5.0.10.0/toolchain/bin/../lib/x86_64-solo5-none-static/solo5_hvt.o: relocation R_X86_64_32S against `.text' can not be used when making a PIE object; recompile with -fPIE
- /usr/lib/gcc/x86_64-alpine-linux-musl/15.2.0/../../../../x86_64-alpine-linux-musl/bin/ld: failed to set dynamic section sizes: bad value
- collect2: error: ld returned 1 exit status
- make[2]: *** [../Makefile.tests:49: test_blk.hvt] Error 1
- make[2]: Leaving directory '/home/kit_ty_kate/.opam/default/.opam-switch/build/solo5.0.10.0/tests/test_blk'
- make[1]: *** [GNUmakefile:38: test_blk] Error 2
- make[1]: Leaving directory '/home/kit_ty_kate/.opam/default/.opam-switch/build/solo5.0.10.0/tests'
- make: *** [GNUmakefile:82: tests] Error 2
[ERROR] The compilation of solo5.0.10.0 failed at "make V=1".

[hannesm]

I guess this is solo5 related, and is tracked there instead of here? If I'm wrong, and there needs to be something done at mirage-crypto, please reopen.