cmake_modules/FindGMP.cmake
author dag10
Mon, 21 Jan 2013 02:21:04 -0500
changeset 8416 e691acd778f5
parent 2401 2a694ea2a437
permissions -rw-r--r--
It is now possible to start a game even if not all players are "ready"; a confirmation prompt is shown. This commit updates the server. Unless the official server is updated, this commit will do nothing new.
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
2401
2a694ea2a437 fixes & co.
koda
parents:
diff changeset
     1
FIND_PATH(GMP_INCLUDE_DIR gmp.h)
2a694ea2a437 fixes & co.
koda
parents:
diff changeset
     2
2a694ea2a437 fixes & co.
koda
parents:
diff changeset
     3
FIND_LIBRARY(GMP_LIBRARY NAMES GMP gmp)
2a694ea2a437 fixes & co.
koda
parents:
diff changeset
     4
2a694ea2a437 fixes & co.
koda
parents:
diff changeset
     5
IF (GMP_INCLUDE_DIR AND GMP_LIBRARY)
2a694ea2a437 fixes & co.
koda
parents:
diff changeset
     6
   SET(GMP_FOUND TRUE)
2a694ea2a437 fixes & co.
koda
parents:
diff changeset
     7
   ENDIF (GMP_INCLUDE_DIR AND GMP_LIBRARY)
2a694ea2a437 fixes & co.
koda
parents:
diff changeset
     8
2a694ea2a437 fixes & co.
koda
parents:
diff changeset
     9
   IF (GMP_FOUND)
2a694ea2a437 fixes & co.
koda
parents:
diff changeset
    10
      IF (NOT GMP_FIND_QUIETLY)
2a694ea2a437 fixes & co.
koda
parents:
diff changeset
    11
            MESSAGE(STATUS "Found GMP: ${GMP_LIBRARY}")
2a694ea2a437 fixes & co.
koda
parents:
diff changeset
    12
      ENDIF (NOT GMP_FIND_QUIETLY)
2a694ea2a437 fixes & co.
koda
parents:
diff changeset
    13
   ELSE (GMP_FOUND)
2a694ea2a437 fixes & co.
koda
parents:
diff changeset
    14
   IF (GMP_FIND_REQUIRED)
2a694ea2a437 fixes & co.
koda
parents:
diff changeset
    15
      MESSAGE(FATAL_ERROR "Could not find GMP")
2a694ea2a437 fixes & co.
koda
parents:
diff changeset
    16
   ENDIF (GMP_FIND_REQUIRED)
2a694ea2a437 fixes & co.
koda
parents:
diff changeset
    17
ENDIF (GMP_FOUND)