Console Output

Triggered by Gerrit: http://git.eclipse.org/r/#/c/89716
Checkout:workspace / /home/hudson/genie.efm/.hudson/jobs/efm-symbex-gerrit/workspace - hudson.remoting.LocalChannel@13ef5a0f
Using strategy: Gerrit Trigger
Git Exe: git
Last Built Revision: Revision c3bc2888a8083f03f8951cda1f859bc3e31c7159 (null)
Checkout:workspace / /home/hudson/genie.efm/.hudson/jobs/efm-symbex-gerrit/workspace - hudson.remoting.LocalChannel@13ef5a0f
Fetching changes from the remote Git repository
Fetching upstream changes from /gitroot/efm/org.eclipse.efm-symbex.git
Commencing build of Revision 76f49526ba8b573d186569a95a8930a0a7ed2728 (null)
Checking out Revision 76f49526ba8b573d186569a95a8930a0a7ed2728 (null)
[workspace] $ /bin/sh -xe /tmp/hudson6661602640268731525.sh
+ rm -d -r -f build/
+ mkdir build
+ cd build
+ cmake -G 'Unix Makefiles' ../HippTest/
-- The CXX compiler identification is GNU 4.8.5
-- The C compiler identification is GNU 4.8.5
-- Check for working CXX compiler: /usr/bin/c++
-- Check for working CXX compiler: /usr/bin/c++ -- works
-- Detecting CXX compiler ABI info
-- Detecting CXX compiler ABI info - done
-- Check for working C compiler: /usr/bin/cc
-- Check for working C compiler: /usr/bin/cc -- works
-- Detecting C compiler ABI info
-- Detecting C compiler ABI info - done
-- ****** Looking for system information ******
-- Check if the system is big endian
-- Searching 16 bit integer
-- Looking for sys/types.h
-- Looking for sys/types.h - found
-- Looking for stdint.h
-- Looking for stdint.h - found
-- Looking for stddef.h
-- Looking for stddef.h - found
-- Check size of unsigned short
-- Check size of unsigned short - done
-- Using unsigned short
-- Check if the system is big endian - little endian
-- Check size of int
-- Check size of int - done
-- Check size of short
-- Check size of short - done
-- Check size of long
-- Check size of long - done
-- Check size of char
-- Check size of char - done
-- System            : Linux-3.12.51-52.39-default-x86_64
-- System (CMake var): WIN32=  MINGW= UNIX=1 MSYS= CYGWIN=
-- Big-endian        : No
-- Types size (bytes): int=4  shortint=2  longint=8 char=1
-- Nb of processors  : 16
-- ****** Looking for toolchain information ******
-- C++ compiler: /usr/bin/c++, version 4.8.5
-- C compiler: /usr/bin/cc, version 4.8.5
-- Linker: /usr/bin/ld
-- Found Git: /usr/local/bin/git (found version "1.9.0") 
-- Git 1.9.0 found : /usr/local/bin/git
-- Could NOT find Hg (missing:  HG_EXECUTABLE) 
-- Mercurial not found
-- ****** Looking for git commit id ******
-- Commit id : hudson-efm-symbex-gerrit-7-0-g76f4952
-- ****** Setting options for Linux/GCC ******
 .............................. CMAKE_EXE_LINKER_FLAGS   -lrt
-- ****** Looking for mandatory prerequisites ******
-- ****  Looking for GMP  ****
CMake Error at /usr/share/cmake/Modules/FindPackageHandleStandardArgs.cmake:108 (message):
  Could NOT find GMP (missing: lib_gmp_c lib_gmp_cxx gmp_includedir
  gmpxx_includedir) (Required is at least version "4.1.0")
Call Stack (most recent call first):
  /usr/share/cmake/Modules/FindPackageHandleStandardArgs.cmake:315 (_FPHSA_FAILURE_MESSAGE)
  cmake/FindGMP.cmake:28 (find_package_handle_standard_args)
  cmake/LookForMandatoryPrereq.cmake:34 (find_package)
  CMakeLists.txt:38 (include)


-- Configuring incomplete, errors occurred!
See also "/jobs/genie.efm/efm-symbex-gerrit/workspace/build/CMakeFiles/CMakeOutput.log".
See also "/jobs/genie.efm/efm-symbex-gerrit/workspace/build/CMakeFiles/CMakeError.log".
Finished: FAILURE