From efc3169b480f87023d83208cb82a7f6ee46e4949 Mon Sep 17 00:00:00 2001 From: navarrop Date: Tue, 18 May 2010 07:44:04 +0000 Subject: [PATCH] Print install doc IGNORED if it is necessary. git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@7763 48e7efb5-ca39-0410-a469-dd3cf9ba447f --- buildtools/Cmake/src/CMakeDistrib.txt | 4 +++- buildtools/Cmake/src/install_doc.sh.in | 7 +++++++ 2 files changed, 10 insertions(+), 1 deletion(-) create mode 100644 buildtools/Cmake/src/install_doc.sh.in diff --git a/buildtools/Cmake/src/CMakeDistrib.txt b/buildtools/Cmake/src/CMakeDistrib.txt index 630aa7965c..fae05e5e78 100755 --- a/buildtools/Cmake/src/CMakeDistrib.txt +++ b/buildtools/Cmake/src/CMakeDistrib.txt @@ -240,9 +240,11 @@ add_custom_command(TARGET install-simgrid WORKING_DIRECTORY "${PROJECT_DIRECTORY}" ) +configure_file(${PROJECT_DIRECTORY}/buildtools/Cmake/src/install_doc.sh.in ${PROJECT_DIRECTORY}/buildtools/Cmake/src/install_doc.sh @ONLY) + add_custom_command(TARGET install-simgrid COMMAND cp ${PROJECT_DIRECTORY}/doc/html/* $ENV{DESTDIR}${prefix}/doc/simgrid/html/ || true - COMMAND echo "install doc/html OK" + COMMAND sh ${PROJECT_DIRECTORY}/buildtools/Cmake/src/install_doc.sh WORKING_DIRECTORY "${PROJECT_DIRECTORY}" ) diff --git a/buildtools/Cmake/src/install_doc.sh.in b/buildtools/Cmake/src/install_doc.sh.in new file mode 100644 index 0000000000..c699fd7487 --- /dev/null +++ b/buildtools/Cmake/src/install_doc.sh.in @@ -0,0 +1,7 @@ +#!/bin/bash + +if [ -e @prefix@/doc/simgrid/html/index.html ]; then + echo "install doc/html OK" +else + echo "install doc/html IGNORED" +fi -- 2.20.1