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. 
-- 
debian-science-maintainers mailing list
[email protected]
https://alioth-lists.debian.net/cgi-bin/mailman/listinfo/debian-science-maintainers

Reply via email to