Properly detect Linux 64 bits with CMake

diff --git a/salome_adm/cmake_files/FindPLATFORM.cmake b/salome_adm/cmake_files/FindPLATFORM.cmake
index 6b21c22383e28806de810c34b1fed257583be6a5..d5efae4d6c80fefc6199cbd2a068acf3ea8ffda6 100644 (file)
--- a/salome_adm/cmake_files/FindPLATFORM.cmake
+++ b/salome_adm/cmake_files/FindPLATFORM.cmake
@@ -19,6 +19,8 @@
 
 IF(WINDOWS)
   SET(MACHINE WINDOWS)
+ELSEIF(CMAKE_SIZEOF_VOID_P EQUAL 8)
+  SET(MACHINE PCLINUX64)
 ELSE(WINDOWS)
   SET(MACHINE PCLINUX)
 ENDIF(WINDOWS)