diff -rupN --no-dereference gmsh-4.9.4-source/CMakeLists.txt gmsh-4.9.4-source-new/CMakeLists.txt
--- gmsh-4.9.4-source/CMakeLists.txt 2022-02-04 08:50:19.020185295 +0100
+++ gmsh-4.9.4-source-new/CMakeLists.txt 2022-02-04 08:50:19.248185786 +0100
@@ -1892,7 +1892,7 @@ endif()
if(ENABLE_BUILD_LIB OR ENABLE_BUILD_SHARED OR ENABLE_BUILD_DYNAMIC)
install(FILES ${GMSH_API} DESTINATION ${GMSH_INC})
install(FILES ${GMSH_PY} DESTINATION ${PYTHON3_SITE_PACKAGES})
- install(FILES ${GMSH_JL} DESTINATION ${GMSH_LIB})
+ install(FILES ${GMSH_JL} DESTINATION share/gmsh)
if(ENABLE_PRIVATE_API)
install(FILES ${GMSH_PRIVATE_API} DESTINATION ${GMSH_INC}/gmsh)
if(HAVE_CONTRIB_EIGEN) # the private API depends on Eigen