cmake_modules/FindGMP.cmake
author sheepluva
Wed, 05 Sep 2012 12:36:47 +0200
changeset 7673 e06b83cbde74
parent 2401 2a694ea2a437
permissions -rw-r--r--
fix a segfault related to tcp servers deleting themselves without removing themselves from the internal server list first. (e.g. happens if game fails to start due to missing hwengine binary. a second start attempt will lead to a segfault, even if you correctly install the binary.)

FIND_PATH(GMP_INCLUDE_DIR gmp.h)

FIND_LIBRARY(GMP_LIBRARY NAMES GMP gmp)

IF (GMP_INCLUDE_DIR AND GMP_LIBRARY)
   SET(GMP_FOUND TRUE)
   ENDIF (GMP_INCLUDE_DIR AND GMP_LIBRARY)

   IF (GMP_FOUND)
      IF (NOT GMP_FIND_QUIETLY)
            MESSAGE(STATUS "Found GMP: ${GMP_LIBRARY}")
      ENDIF (NOT GMP_FIND_QUIETLY)
   ELSE (GMP_FOUND)
   IF (GMP_FIND_REQUIRED)
      MESSAGE(FATAL_ERROR "Could not find GMP")
   ENDIF (GMP_FIND_REQUIRED)
ENDIF (GMP_FOUND)