cmake_modules/FindGMP.cmake
author unc0rr
Wed, 29 Feb 2012 23:44:49 +0400
changeset 6753 e95b1f62d0de
parent 2401 2a694ea2a437
permissions -rw-r--r--
Don't remove client's teams from teams list on "ROUNDFINISHED 0", just send team removal message to others. This should fix problems with ghost teams in frontend. Not tested at all, successfully built on first attempt, which is considered as a bad sign :D Server still thinks game proceeds, so restart isn't possible.
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)