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