Minotaur does not run in the Docker image (v20.0)

[sourcedennis]

After following the instructions in the README, I successfully built the Minotaur Docker image, which depends on the llvmorg-20.1.8-patched LLVM branch and v20.0 branch of alive2.

When running Minotaur inside the Docker image, either by loading the online.so pass explicitly or by executing minotaur-cc, I get the following error:

error: unable to load plugin '/home/dev/minotaur/build/online.so': '/home/dev/minotaur/build/online.so: undefined symbol: _ZTVN2IR14X86IntrinBinOpE'

I haven't been able to find out what libraries or flags are missing. Do you know how to fix this?

[KiSchulz]

The following change fixed the issue for me.

17c17
<   set(ALIVE_LIBS ${ALIVE2_IR_LIBS} ${ALIVE2_LLVM_UTIL} ${ALIVE2_SMT_LIBS} ${ALIVE2_TOOLS_LIBS} ${ALIVE2_UTIL_LIBS})
---
>   set(ALIVE_LIBS ${ALIVE2_LLVM_UTIL} ${ALIVE2_SMT_LIBS} ${ALIVE2_TOOLS_LIBS} ${ALIVE2_UTIL_LIBS} ${ALIVE2_IR_LIBS})

The reason seems to be that libllvm_util.a requires IR::X86IntrinBinOp as seen when running nm alive2/build/libllvm_util.a | grep ".*IR.*X86IntrinBinOpE.*" which gives U _ZTVN2IR14X86IntrinBinOpE and also occurs in online.so.
IR::X86IntrinBinOp is defined in libir.a (nm alive2/build/libir.a | grep ".*IR.*X86IntrinBinOpE.*" -> 0000000000000000 D _ZTVN2IR14X86IntrinBinOpE). Therefore switching the order of the libraries seems help link everything correctly.