Hi Jochen,
sorry, I didn't find the issue you linked. If you want, you can close this one.

/lib is a symlink to usr/lib

$ ls -l /lib
lrwxrwxrwx 1 root root 7 Apr 22 15:08 /lib -> usr/lib

I can also reproduce the issue using the single-line CMakeLists.txt. I couldn't 
test using mmdebstrap because of an unrelated error during setup of 
libhdf5-openmpi. 

Reply via email to