Install the libraries carefully so that we have a link from .so to .so.version

[simgrid.git] / buildtools / Cmake / src / CMakeDistrib.txt

diff --git a/buildtools/Cmake/src/CMakeDistrib.txt b/buildtools/Cmake/src/CMakeDistrib.txt
index 67492b6..35b5fe9 100755 (executable)
--- a/buildtools/Cmake/src/CMakeDistrib.txt
+++ b/buildtools/Cmake/src/CMakeDistrib.txt
@@ -52,6 +52,8 @@ string(REPLACE "./" "${prefix}/" uninstall_HEADERS "${install_HEADERS}")
 
 
 
+#SET(CMAKE_VERBOSE_MAKEFILE 1)
+
 add_custom_target(install-simgrid
 COMMAND mkdir -p $ENV{DESTDIR}${prefix}
 COMMAND mkdir -p $ENV{DESTDIR}${prefix}/bin
@@ -73,7 +75,19 @@ COMMAND mkdir -p $ENV{DESTDIR}${prefix}/include/instr
 COMMAND cp ${install_bins} $ENV{DESTDIR}${prefix}/bin
 COMMAND cp ${PROJECT_DIRECTORY}/tools/MSG_visualization/colorize.pl $ENV{DESTDIR}${prefix}/bin/simgrid-colorizer
 COMMAND echo "install bin           OK"
-COMMAND cp ${install_libs} $ENV{DESTDIR}${prefix}/lib
+
+  COMMAND cp ${PROJECT_DIRECTORY}/src/.libs/libsimgrid.so.${release_version} $ENV{DESTDIR}${prefix}/lib
+  COMMAND ln -sf $ENV{DESTDIR}${prefix}/lib/libsimgrid.so.${release_version} $ENV{DESTDIR}${prefix}/lib/libsimgrid.so
+
+  COMMAND cp ${PROJECT_DIRECTORY}/src/.libs/libsimgrid_static.a $ENV{DESTDIR}${prefix}/lib/libsimgrid.a
+
+  COMMAND cp ${PROJECT_DIRECTORY}/src/.libs/libgras.so.${release_version} $ENV{DESTDIR}${prefix}/lib
+  COMMAND ln -sf $ENV{DESTDIR}${prefix}/lib/libgras.so.${release_version} $ENV{DESTDIR}${prefix}/lib/libgras.so
+
+  # FIXME: this should be copied only if enable_smpi is true
+  COMMAND cp ${PROJECT_DIRECTORY}/src/.libs/libsmpi.so.${release_version} $ENV{DESTDIR}${prefix}/lib || true
+  COMMAND ln -sf $ENV{DESTDIR}${prefix}/lib/libsmpi.so.${release_version} $ENV{DESTDIR}${prefix}/lib/libsmpi.so
+
 COMMAND echo "install lib           OK"
 WORKING_DIRECTORY "${PROJECT_DIRECTORY}/"
 )
@@ -169,12 +183,9 @@ add_custom_command(TARGET install-simgrid
        COMMAND echo "install doc/examples  OK"
        WORKING_DIRECTORY "${PROJECT_DIRECTORY}"
 )
-if(NOT EXISTS ${PROJECT_DIRECTORY}/doc/html/)
-       file(MAKE_DIRECTORY ${PROJECT_DIRECTORY}/doc/html/)
-endif(NOT EXISTS ${PROJECT_DIRECTORY}/doc/html/)
 
 add_custom_command(TARGET install-simgrid
-       COMMAND cp ${PROJECT_DIRECTORY}/doc/html/* $ENV{DESTDIR}${prefix}/doc/simgrid/html/
+       COMMAND cp ${PROJECT_DIRECTORY}/doc/html/* $ENV{DESTDIR}${prefix}/doc/simgrid/html/ || true
        COMMAND echo "install doc/html      OK"
        WORKING_DIRECTORY "${PROJECT_DIRECTORY}"
 )