Author: piumarta Date: 2012-07-30 12:28:56 -0700 (Mon, 30 Jul 2012) New Revision: 2569
Modified: trunk/platforms/unix/plugins/UUIDPlugin/config.cmake Log: disable uuid plugin if not uuid generator can be found
Modified: trunk/platforms/unix/plugins/UUIDPlugin/config.cmake =================================================================== --- trunk/platforms/unix/plugins/UUIDPlugin/config.cmake 2012-07-30 19:17:45 UTC (rev 2568) +++ trunk/platforms/unix/plugins/UUIDPlugin/config.cmake 2012-07-30 19:28:56 UTC (rev 2569) @@ -23,6 +23,10 @@ CHECK_FUNCTION_EXISTS (uuid_generate HAVE_UUID_GENERATE) CONFIG_DEFINE (HAVE_UUID_GENERATE)
+IF (NOT HAVE_UUIDGEN AND NOT HAVE_UUID_GENERATE) + PLUGIN_DISABLE () +ENDIF (NOT HAVE_UUIDGEN AND NOT HAVE_UUID_GENERATE) + # IF (UUID_UUID_GENERATE) # SET (HAVE_UUID_GENERATE 1) # PLUGIN_LINK_LIBRARIES (uuid)
vm-dev@lists.squeakfoundation.org