diff options
Diffstat (limited to 'debian/patches/openmp-soname.diff')
| -rw-r--r-- | debian/patches/openmp-soname.diff | 14 |
1 files changed, 14 insertions, 0 deletions
diff --git a/debian/patches/openmp-soname.diff b/debian/patches/openmp-soname.diff new file mode 100644 index 0000000..ed6bbdc --- /dev/null +++ b/debian/patches/openmp-soname.diff @@ -0,0 +1,14 @@ +Index: llvm-toolchain-snapshot_8~svn342269/openmp/runtime/CMakeLists.txt +=================================================================== +--- llvm-toolchain-snapshot_8~svn342269.orig/openmp/runtime/CMakeLists.txt ++++ llvm-toolchain-snapshot_8~svn342269/openmp/runtime/CMakeLists.txt +@@ -355,7 +355,8 @@ else() + set(LIBOMP_INSTALL_KIND ARCHIVE) + endif() + +-set(LIBOMP_LIB_FILE ${LIBOMP_LIB_NAME}${LIBOMP_LIBRARY_SUFFIX}) ++set(LIBOMP_LIB_FILE ${LIBOMP_LIB_NAME}${CMAKE_SHARED_LIBRARY_SUFFIX}.${LIBOMP_VERSION_MAJOR}) ++ + + # Optional backwards compatibility aliases. + set(LIBOMP_INSTALL_ALIASES TRUE CACHE BOOL |