creating a static version of libsmpi version to link against HPL benchmark

[simgrid.git] / buildtools / Cmake / Distrib.cmake

diff --git a/buildtools/Cmake/Distrib.cmake b/buildtools/Cmake/Distrib.cmake
index a762f21..f22e55c 100755 (executable)
--- a/buildtools/Cmake/Distrib.cmake
+++ b/buildtools/Cmake/Distrib.cmake
@@ -36,6 +36,9 @@ install(FILES ${CMAKE_BINARY_DIR}/lib/libsimgrid_static.a
 if(enable_smpi)        
   install(TARGETS smpi
           DESTINATION $ENV{DESTDIR}${prefix}/lib/)
+  install(FILES ${CMAKE_BINARY_DIR}/lib/libsmpi_static.a 
+        RENAME libsmpi.a
+        DESTINATION $ENV{DESTDIR}${prefix}/lib/)
 endif(enable_smpi)     
 
 # include files