GCI2012: Improve Game Configuration Widget - Refactored mapmodel+datamanager to have two separate map models for static and mission maps, and then three static MapInfos in MapModel for the three special maps (random, maze, drawn). - Created theme selector dialog. - Created seed view/edit dialog. - Enlarged start icon on pagemultiplayer and pagenetgame, and added Start.png. - Moved "Settings" button on pagemultiplayer and pagenetgame from middle of page to page footer. - Added "load drawing" button to mapcontainer widget. - Map preview is no longer the randomize button; The randomize functionality is now in a button of its own. - Map preview no longer grays out (isn't disabled) when in slave mode. - Seed is now viewable and copyable when in slave mode -- but not editable. - You should now use the property master (isMaster() and setMaster()) on gamecfgwidget and mapcontainer instead of the enabled property. This is because some widgets (e.g. "view/edit seed" button and map preview) shouldn't be disabled, when all other widgets should be. - Added mission map descriptions w/ locale support in INI format in mapname/desc.txt if applicable. Use '|' for line break.

     1

FIND_PATH(GMP_INCLUDE_DIR gmp.h)

     2

     3

FIND_LIBRARY(GMP_LIBRARY NAMES GMP gmp)

     4

     5

IF (GMP_INCLUDE_DIR AND GMP_LIBRARY)

     6

   SET(GMP_FOUND TRUE)

     7

   ENDIF (GMP_INCLUDE_DIR AND GMP_LIBRARY)

     8

     9

   IF (GMP_FOUND)

    10

      IF (NOT GMP_FIND_QUIETLY)

    11

            MESSAGE(STATUS "Found GMP: ${GMP_LIBRARY}")

    12

      ENDIF (NOT GMP_FIND_QUIETLY)

    13

   ELSE (GMP_FOUND)

    14

   IF (GMP_FIND_REQUIRED)

    15

      MESSAGE(FATAL_ERROR "Could not find GMP")

    16

   ENDIF (GMP_FIND_REQUIRED)

    17

ENDIF (GMP_FOUND)