Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Print install doc IGNORED if it is necessary.
authornavarrop <navarrop@48e7efb5-ca39-0410-a469-dd3cf9ba447f>
Tue, 18 May 2010 07:44:04 +0000 (07:44 +0000)
committernavarrop <navarrop@48e7efb5-ca39-0410-a469-dd3cf9ba447f>
Tue, 18 May 2010 07:44:04 +0000 (07:44 +0000)
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@7763 48e7efb5-ca39-0410-a469-dd3cf9ba447f

buildtools/Cmake/src/CMakeDistrib.txt
buildtools/Cmake/src/install_doc.sh.in [new file with mode: 0644]

index 630aa79..fae05e5 100755 (executable)
@@ -240,9 +240,11 @@ add_custom_command(TARGET install-simgrid
        WORKING_DIRECTORY "${PROJECT_DIRECTORY}"
 )
 
        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
 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}"
 )
 
        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 (file)
index 0000000..c699fd7
--- /dev/null
@@ -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