FailedConsole Output

Started by GitHub push by lausdahl
Building on master in workspace /var/lib/jenkins/workspace/vdm2c-vdmlib
 > /usr/bin/git rev-parse --is-inside-work-tree # timeout=10
Fetching changes from the remote Git repository
 > /usr/bin/git config remote.origin.url https://github.com/overturetool/vdm2c.git # timeout=10
Fetching upstream changes from https://github.com/overturetool/vdm2c.git
 > /usr/bin/git --version # timeout=10
 > /usr/bin/git -c core.askpass=true fetch --tags --progress https://github.com/overturetool/vdm2c.git +refs/heads/development:refs/remotes/origin/development
 > /usr/bin/git rev-parse refs/remotes/origin/development^{commit} # timeout=10
 > /usr/bin/git rev-parse refs/remotes/origin/refs/heads/development^{commit} # timeout=10
Checking out Revision a884621b7f0e6225c756f070bcd775538402447e (refs/remotes/origin/development)
 > /usr/bin/git config core.sparsecheckout # timeout=10
 > /usr/bin/git checkout -f a884621b7f0e6225c756f070bcd775538402447e
 > /usr/bin/git rev-list 3b0e3e36c03a65bba8af6f9d25bc3c1e27167c53 # timeout=10
 > /usr/bin/git remote # timeout=10
 > /usr/bin/git submodule init # timeout=10
 > /usr/bin/git submodule sync # timeout=10
 > /usr/bin/git config --get remote.origin.url # timeout=10
 > /usr/bin/git submodule update --init --recursive
[vdm2c-vdmlib] $ /bin/sh -xe /tmp/hudson8178249822116959231.sh
+ cd c
+ cmake .
-- CPP files: 
-- C_GEN_FILES:  
-- Configuring done
-- Generating done
-- Build files have been written to: /var/lib/jenkins/workspace/vdm2c-vdmlib/c
+ make -j4
/usr/bin/cmake -H/var/lib/jenkins/workspace/vdm2c-vdmlib/c -B/var/lib/jenkins/workspace/vdm2c-vdmlib/c --check-build-system CMakeFiles/Makefile.cmake 0
/usr/bin/cmake -E cmake_progress_start /var/lib/jenkins/workspace/vdm2c-vdmlib/c/CMakeFiles /var/lib/jenkins/workspace/vdm2c-vdmlib/c/CMakeFiles/progress.marks
make -f CMakeFiles/Makefile2 all
make[1]: Entering directory `/var/lib/jenkins/workspace/vdm2c-vdmlib/c'
make -f third_party/googletest/googletest/CMakeFiles/gtest.dir/build.make third_party/googletest/googletest/CMakeFiles/gtest.dir/depend
make[2]: Entering directory `/var/lib/jenkins/workspace/vdm2c-vdmlib/c'
cd /var/lib/jenkins/workspace/vdm2c-vdmlib/c && /usr/bin/cmake -E cmake_depends "Unix Makefiles" /var/lib/jenkins/workspace/vdm2c-vdmlib/c /var/lib/jenkins/workspace/vdm2c-vdmlib/c/third_party/googletest/googletest /var/lib/jenkins/workspace/vdm2c-vdmlib/c /var/lib/jenkins/workspace/vdm2c-vdmlib/c/third_party/googletest/googletest /var/lib/jenkins/workspace/vdm2c-vdmlib/c/third_party/googletest/googletest/CMakeFiles/gtest.dir/DependInfo.cmake --color=
make[2]: Leaving directory `/var/lib/jenkins/workspace/vdm2c-vdmlib/c'
make -f third_party/googletest/googletest/CMakeFiles/gtest.dir/build.make third_party/googletest/googletest/CMakeFiles/gtest.dir/build
make[2]: Entering directory `/var/lib/jenkins/workspace/vdm2c-vdmlib/c'
make[2]: Nothing to be done for `third_party/googletest/googletest/CMakeFiles/gtest.dir/build'.
make[2]: Leaving directory `/var/lib/jenkins/workspace/vdm2c-vdmlib/c'
/usr/bin/cmake -E cmake_progress_report /var/lib/jenkins/workspace/vdm2c-vdmlib/c/CMakeFiles  39
[  2%] Built target gtest
make -f third_party/googletest/googletest/CMakeFiles/gtest_main.dir/build.make third_party/googletest/googletest/CMakeFiles/gtest_main.dir/depend
make[2]: Entering directory `/var/lib/jenkins/workspace/vdm2c-vdmlib/c'
cd /var/lib/jenkins/workspace/vdm2c-vdmlib/c && /usr/bin/cmake -E cmake_depends "Unix Makefiles" /var/lib/jenkins/workspace/vdm2c-vdmlib/c /var/lib/jenkins/workspace/vdm2c-vdmlib/c/third_party/googletest/googletest /var/lib/jenkins/workspace/vdm2c-vdmlib/c /var/lib/jenkins/workspace/vdm2c-vdmlib/c/third_party/googletest/googletest /var/lib/jenkins/workspace/vdm2c-vdmlib/c/third_party/googletest/googletest/CMakeFiles/gtest_main.dir/DependInfo.cmake --color=
make[2]: Leaving directory `/var/lib/jenkins/workspace/vdm2c-vdmlib/c'
make -f third_party/googletest/googletest/CMakeFiles/gtest_main.dir/build.make third_party/googletest/googletest/CMakeFiles/gtest_main.dir/build
make[2]: Entering directory `/var/lib/jenkins/workspace/vdm2c-vdmlib/c'
make[2]: Nothing to be done for `third_party/googletest/googletest/CMakeFiles/gtest_main.dir/build'.
make[2]: Leaving directory `/var/lib/jenkins/workspace/vdm2c-vdmlib/c'
/usr/bin/cmake -E cmake_progress_report /var/lib/jenkins/workspace/vdm2c-vdmlib/c/CMakeFiles  40
[  5%] Built target gtest_main
make -f c-examples/CMakeFiles/c-examples.dir/build.make c-examples/CMakeFiles/c-examples.dir/depend
make -f generator-test/CMakeFiles/generator-test.dir/build.make generator-test/CMakeFiles/generator-test.dir/depend
make[2]: Entering directory `/var/lib/jenkins/workspace/vdm2c-vdmlib/c'
cd /var/lib/jenkins/workspace/vdm2c-vdmlib/c && /usr/bin/cmake -E cmake_depends "Unix Makefiles" /var/lib/jenkins/workspace/vdm2c-vdmlib/c /var/lib/jenkins/workspace/vdm2c-vdmlib/c/generator-test /var/lib/jenkins/workspace/vdm2c-vdmlib/c /var/lib/jenkins/workspace/vdm2c-vdmlib/c/generator-test /var/lib/jenkins/workspace/vdm2c-vdmlib/c/generator-test/CMakeFiles/generator-test.dir/DependInfo.cmake --color=
make[2]: Entering directory `/var/lib/jenkins/workspace/vdm2c-vdmlib/c'
cd /var/lib/jenkins/workspace/vdm2c-vdmlib/c && /usr/bin/cmake -E cmake_depends "Unix Makefiles" /var/lib/jenkins/workspace/vdm2c-vdmlib/c /var/lib/jenkins/workspace/vdm2c-vdmlib/c/c-examples /var/lib/jenkins/workspace/vdm2c-vdmlib/c /var/lib/jenkins/workspace/vdm2c-vdmlib/c/c-examples /var/lib/jenkins/workspace/vdm2c-vdmlib/c/c-examples/CMakeFiles/c-examples.dir/DependInfo.cmake --color=
Scanning dependencies of target generator-test
make[2]: Leaving directory `/var/lib/jenkins/workspace/vdm2c-vdmlib/c'
make -f generator-test/CMakeFiles/generator-test.dir/build.make generator-test/CMakeFiles/generator-test.dir/build
make[2]: Entering directory `/var/lib/jenkins/workspace/vdm2c-vdmlib/c'
/usr/bin/cmake -E cmake_progress_report /var/lib/jenkins/workspace/vdm2c-vdmlib/c/CMakeFiles 38
[  7%] Building C object generator-test/CMakeFiles/generator-test.dir/__/c-examples/tests/typeoftest.c.o
cd /var/lib/jenkins/workspace/vdm2c-vdmlib/c/generator-test && /usr/bin/cc   -fmessage-length=0 -std=c11 -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c/generator-test -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c/generator-test/../c-examples -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c/generator-test/../c-examples/lib -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c/third_party/googletest/googletest/include -I/usr/include/glib-2.0 -I/usr/lib/x86_64-linux-gnu/glib-2.0/include    -o CMakeFiles/generator-test.dir/__/c-examples/tests/typeoftest.c.o   -c /var/lib/jenkins/workspace/vdm2c-vdmlib/c/c-examples/tests/typeoftest.c
In file included from /var/lib/jenkins/workspace/vdm2c-vdmlib/c/c-examples/tests/typeoftest.c:29:0:
/var/lib/jenkins/workspace/vdm2c-vdmlib/c/generator-test/../c-examples/classes/A.h:33:24: fatal error: TypedValue.h: No such file or directory
 #include "TypedValue.h"
                        ^
compilation terminated.
Scanning dependencies of target c-examples
make[2]: Leaving directory `/var/lib/jenkins/workspace/vdm2c-vdmlib/c'
make -f c-examples/CMakeFiles/c-examples.dir/build.make c-examples/CMakeFiles/c-examples.dir/build
make[2]: *** [generator-test/CMakeFiles/generator-test.dir/__/c-examples/tests/typeoftest.c.o] Error 1
make[2]: Leaving directory `/var/lib/jenkins/workspace/vdm2c-vdmlib/c'
make[1]: *** [generator-test/CMakeFiles/generator-test.dir/all] Error 2
make[1]: *** Waiting for unfinished jobs....
make[2]: Entering directory `/var/lib/jenkins/workspace/vdm2c-vdmlib/c'
/usr/bin/cmake -E cmake_progress_report /var/lib/jenkins/workspace/vdm2c-vdmlib/c/CMakeFiles 1
/usr/bin/cmake -E cmake_progress_report /var/lib/jenkins/workspace/vdm2c-vdmlib/c/CMakeFiles 2
/usr/bin/cmake -E cmake_progress_report /var/lib/jenkins/workspace/vdm2c-vdmlib/c/CMakeFiles 3
/usr/bin/cmake -E cmake_progress_report /var/lib/jenkins/workspace/vdm2c-vdmlib/c/CMakeFiles 4
[ 10%] [ 12%] [ 15%] [ 17%] Building C object c-examples/CMakeFiles/c-examples.dir/classes/A.c.o
cd /var/lib/jenkins/workspace/vdm2c-vdmlib/c/c-examples && /usr/bin/cc   -fmessage-length=0 -std=c11 -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c/c-examples -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c/c-examples/../vdmclib/src -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c/c-examples/classes -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c/third_party/googletest/googletest/include -I/usr/include/glib-2.0 -I/usr/lib/x86_64-linux-gnu/glib-2.0/include    -o CMakeFiles/c-examples.dir/classes/A.c.o   -c /var/lib/jenkins/workspace/vdm2c-vdmlib/c/c-examples/classes/A.c
Building C object c-examples/CMakeFiles/c-examples.dir/classes/C.c.o
cd /var/lib/jenkins/workspace/vdm2c-vdmlib/c/c-examples && /usr/bin/cc   -fmessage-length=0 -std=c11 -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c/c-examples -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c/c-examples/../vdmclib/src -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c/c-examples/classes -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c/third_party/googletest/googletest/include -I/usr/include/glib-2.0 -I/usr/lib/x86_64-linux-gnu/glib-2.0/include    -o CMakeFiles/c-examples.dir/classes/C.c.o   -c /var/lib/jenkins/workspace/vdm2c-vdmlib/c/c-examples/classes/C.c
Building C object c-examples/CMakeFiles/c-examples.dir/classes/B.c.o
cd /var/lib/jenkins/workspace/vdm2c-vdmlib/c/c-examples && /usr/bin/cc   -fmessage-length=0 -std=c11 -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c/c-examples -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c/c-examples/../vdmclib/src -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c/c-examples/classes -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c/third_party/googletest/googletest/include -I/usr/include/glib-2.0 -I/usr/lib/x86_64-linux-gnu/glib-2.0/include    -o CMakeFiles/c-examples.dir/classes/B.c.o   -c /var/lib/jenkins/workspace/vdm2c-vdmlib/c/c-examples/classes/B.c
Building C object c-examples/CMakeFiles/c-examples.dir/__/vdmclib/src/VdmSet.c.o
cd /var/lib/jenkins/workspace/vdm2c-vdmlib/c/c-examples && /usr/bin/cc   -fmessage-length=0 -std=c11 -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c/c-examples -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c/c-examples/../vdmclib/src -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c/c-examples/classes -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c/third_party/googletest/googletest/include -I/usr/include/glib-2.0 -I/usr/lib/x86_64-linux-gnu/glib-2.0/include    -o CMakeFiles/c-examples.dir/__/vdmclib/src/VdmSet.c.o   -c /var/lib/jenkins/workspace/vdm2c-vdmlib/c/vdmclib/src/VdmSet.c
/usr/bin/cmake -E cmake_progress_report /var/lib/jenkins/workspace/vdm2c-vdmlib/c/CMakeFiles 5
/usr/bin/cmake -E cmake_progress_report /var/lib/jenkins/workspace/vdm2c-vdmlib/c/CMakeFiles 6
[ 20%] [ 22%] Building C object c-examples/CMakeFiles/c-examples.dir/__/vdmclib/src/VdmClass.c.o
Building C object c-examples/CMakeFiles/c-examples.dir/__/vdmclib/src/VdmProduct.c.o
cd /var/lib/jenkins/workspace/vdm2c-vdmlib/c/c-examples && /usr/bin/cc   -fmessage-length=0 -std=c11 -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c/c-examples -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c/c-examples/../vdmclib/src -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c/c-examples/classes -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c/third_party/googletest/googletest/include -I/usr/include/glib-2.0 -I/usr/lib/x86_64-linux-gnu/glib-2.0/include    -o CMakeFiles/c-examples.dir/__/vdmclib/src/VdmClass.c.o   -c /var/lib/jenkins/workspace/vdm2c-vdmlib/c/vdmclib/src/VdmClass.c
cd /var/lib/jenkins/workspace/vdm2c-vdmlib/c/c-examples && /usr/bin/cc   -fmessage-length=0 -std=c11 -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c/c-examples -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c/c-examples/../vdmclib/src -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c/c-examples/classes -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c/third_party/googletest/googletest/include -I/usr/include/glib-2.0 -I/usr/lib/x86_64-linux-gnu/glib-2.0/include    -o CMakeFiles/c-examples.dir/__/vdmclib/src/VdmProduct.c.o   -c /var/lib/jenkins/workspace/vdm2c-vdmlib/c/vdmclib/src/VdmProduct.c
/usr/bin/cmake -E cmake_progress_report /var/lib/jenkins/workspace/vdm2c-vdmlib/c/CMakeFiles 7
/usr/bin/cmake -E cmake_progress_report /var/lib/jenkins/workspace/vdm2c-vdmlib/c/CMakeFiles 8
/usr/bin/cmake -E cmake_progress_report /var/lib/jenkins/workspace/vdm2c-vdmlib/c/CMakeFiles 9
/usr/bin/cmake -E cmake_progress_report /var/lib/jenkins/workspace/vdm2c-vdmlib/c/CMakeFiles 10
[ 25%] [ 27%] [ 30%] [ 32%] Building C object c-examples/CMakeFiles/c-examples.dir/__/vdmclib/src/PrettyPrint.c.o
cd /var/lib/jenkins/workspace/vdm2c-vdmlib/c/c-examples && /usr/bin/cc   -fmessage-length=0 -std=c11 -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c/c-examples -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c/c-examples/../vdmclib/src -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c/c-examples/classes -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c/third_party/googletest/googletest/include -I/usr/include/glib-2.0 -I/usr/lib/x86_64-linux-gnu/glib-2.0/include    -o CMakeFiles/c-examples.dir/__/vdmclib/src/PrettyPrint.c.o   -c /var/lib/jenkins/workspace/vdm2c-vdmlib/c/vdmclib/src/PrettyPrint.c
Building C object c-examples/CMakeFiles/c-examples.dir/__/vdmclib/src/PatternBindMatch.c.o
cd /var/lib/jenkins/workspace/vdm2c-vdmlib/c/c-examples && /usr/bin/cc   -fmessage-length=0 -std=c11 -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c/c-examples -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c/c-examples/../vdmclib/src -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c/c-examples/classes -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c/third_party/googletest/googletest/include -I/usr/include/glib-2.0 -I/usr/lib/x86_64-linux-gnu/glib-2.0/include    -o CMakeFiles/c-examples.dir/__/vdmclib/src/PatternBindMatch.c.o   -c /var/lib/jenkins/workspace/vdm2c-vdmlib/c/vdmclib/src/PatternBindMatch.c
Building C object c-examples/CMakeFiles/c-examples.dir/__/vdmclib/src/VdmMap.c.o
Building C object c-examples/CMakeFiles/c-examples.dir/__/vdmclib/src/VdmBasicTypes.c.o
cd /var/lib/jenkins/workspace/vdm2c-vdmlib/c/c-examples && /usr/bin/cc   -fmessage-length=0 -std=c11 -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c/c-examples -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c/c-examples/../vdmclib/src -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c/c-examples/classes -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c/third_party/googletest/googletest/include -I/usr/include/glib-2.0 -I/usr/lib/x86_64-linux-gnu/glib-2.0/include    -o CMakeFiles/c-examples.dir/__/vdmclib/src/VdmMap.c.o   -c /var/lib/jenkins/workspace/vdm2c-vdmlib/c/vdmclib/src/VdmMap.c
cd /var/lib/jenkins/workspace/vdm2c-vdmlib/c/c-examples && /usr/bin/cc   -fmessage-length=0 -std=c11 -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c/c-examples -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c/c-examples/../vdmclib/src -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c/c-examples/classes -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c/third_party/googletest/googletest/include -I/usr/include/glib-2.0 -I/usr/lib/x86_64-linux-gnu/glib-2.0/include    -o CMakeFiles/c-examples.dir/__/vdmclib/src/VdmBasicTypes.c.o   -c /var/lib/jenkins/workspace/vdm2c-vdmlib/c/vdmclib/src/VdmBasicTypes.c
/usr/bin/cmake -E cmake_progress_report /var/lib/jenkins/workspace/vdm2c-vdmlib/c/CMakeFiles 11
[ 35%] Building C object c-examples/CMakeFiles/c-examples.dir/__/vdmclib/src/IOLib.c.o
cd /var/lib/jenkins/workspace/vdm2c-vdmlib/c/c-examples && /usr/bin/cc   -fmessage-length=0 -std=c11 -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c/c-examples -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c/c-examples/../vdmclib/src -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c/c-examples/classes -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c/third_party/googletest/googletest/include -I/usr/include/glib-2.0 -I/usr/lib/x86_64-linux-gnu/glib-2.0/include    -o CMakeFiles/c-examples.dir/__/vdmclib/src/IOLib.c.o   -c /var/lib/jenkins/workspace/vdm2c-vdmlib/c/vdmclib/src/IOLib.c
/usr/bin/cmake -E cmake_progress_report /var/lib/jenkins/workspace/vdm2c-vdmlib/c/CMakeFiles 12
[ 37%] /var/lib/jenkins/workspace/vdm2c-vdmlib/c/vdmclib/src/VdmMap.c: In function ‘print_iterator_short’:
/var/lib/jenkins/workspace/vdm2c-vdmlib/c/vdmclib/src/VdmMap.c:72:2: warning: format ‘%s’ expects argument of type ‘char *’, but argument 2 has type ‘gpointer’ [-Wformat=]
  printf("%s\n", item);
  ^
Building C object c-examples/CMakeFiles/c-examples.dir/__/vdmclib/src/TypedValue.c.o
cd /var/lib/jenkins/workspace/vdm2c-vdmlib/c/c-examples && /usr/bin/cc   -fmessage-length=0 -std=c11 -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c/c-examples -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c/c-examples/../vdmclib/src -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c/c-examples/classes -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c/third_party/googletest/googletest/include -I/usr/include/glib-2.0 -I/usr/lib/x86_64-linux-gnu/glib-2.0/include    -o CMakeFiles/c-examples.dir/__/vdmclib/src/TypedValue.c.o   -c /var/lib/jenkins/workspace/vdm2c-vdmlib/c/vdmclib/src/TypedValue.c
/usr/bin/cmake -E cmake_progress_report /var/lib/jenkins/workspace/vdm2c-vdmlib/c/CMakeFiles 13
/usr/bin/cmake -E cmake_progress_report /var/lib/jenkins/workspace/vdm2c-vdmlib/c/CMakeFiles 14
[ 40%] [ 42%] Building C object c-examples/CMakeFiles/c-examples.dir/__/vdmclib/src/VdmSeq.c.o
cd /var/lib/jenkins/workspace/vdm2c-vdmlib/c/c-examples && /usr/bin/cc   -fmessage-length=0 -std=c11 -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c/c-examples -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c/c-examples/../vdmclib/src -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c/c-examples/classes -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c/third_party/googletest/googletest/include -I/usr/include/glib-2.0 -I/usr/lib/x86_64-linux-gnu/glib-2.0/include    -o CMakeFiles/c-examples.dir/__/vdmclib/src/VdmSeq.c.o   -c /var/lib/jenkins/workspace/vdm2c-vdmlib/c/vdmclib/src/VdmSeq.c
Building C object c-examples/CMakeFiles/c-examples.dir/records/R1.c.o
cd /var/lib/jenkins/workspace/vdm2c-vdmlib/c/c-examples && /usr/bin/cc   -fmessage-length=0 -std=c11 -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c/c-examples -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c/c-examples/../vdmclib/src -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c/c-examples/classes -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c/third_party/googletest/googletest/include -I/usr/include/glib-2.0 -I/usr/lib/x86_64-linux-gnu/glib-2.0/include    -o CMakeFiles/c-examples.dir/records/R1.c.o   -c /var/lib/jenkins/workspace/vdm2c-vdmlib/c/c-examples/records/R1.c
/usr/bin/cmake -E cmake_progress_report /var/lib/jenkins/workspace/vdm2c-vdmlib/c/CMakeFiles 15
[ 45%] Building C object c-examples/CMakeFiles/c-examples.dir/tests/typeoftest.c.o
cd /var/lib/jenkins/workspace/vdm2c-vdmlib/c/c-examples && /usr/bin/cc   -fmessage-length=0 -std=c11 -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c/c-examples -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c/c-examples/../vdmclib/src -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c/c-examples/classes -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c/third_party/googletest/googletest/include -I/usr/include/glib-2.0 -I/usr/lib/x86_64-linux-gnu/glib-2.0/include    -o CMakeFiles/c-examples.dir/tests/typeoftest.c.o   -c /var/lib/jenkins/workspace/vdm2c-vdmlib/c/c-examples/tests/typeoftest.c
/usr/bin/cmake -E cmake_progress_report /var/lib/jenkins/workspace/vdm2c-vdmlib/c/CMakeFiles 16
/usr/bin/cmake -E cmake_progress_report /var/lib/jenkins/workspace/vdm2c-vdmlib/c/CMakeFiles 17
[ 47%] Building CXX object c-examples/CMakeFiles/c-examples.dir/tests/ClassPrivateCallABC_Tests.cpp.o
cd /var/lib/jenkins/workspace/vdm2c-vdmlib/c/c-examples && /usr/bin/c++    -std=c++11 -fmessage-length=0 -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c/c-examples -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c/c-examples/../vdmclib/src -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c/c-examples/classes -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c/third_party/googletest/googletest/include -I/usr/include/glib-2.0 -I/usr/lib/x86_64-linux-gnu/glib-2.0/include    -o CMakeFiles/c-examples.dir/tests/ClassPrivateCallABC_Tests.cpp.o -c /var/lib/jenkins/workspace/vdm2c-vdmlib/c/c-examples/tests/ClassPrivateCallABC_Tests.cpp
[ 50%] /usr/bin/cmake -E cmake_progress_report /var/lib/jenkins/workspace/vdm2c-vdmlib/c/CMakeFiles 18
[ 52%] Building CXX object c-examples/CMakeFiles/c-examples.dir/tests/HashTable_Tests.cpp.o
cd /var/lib/jenkins/workspace/vdm2c-vdmlib/c/c-examples && /usr/bin/c++    -std=c++11 -fmessage-length=0 -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c/c-examples -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c/c-examples/../vdmclib/src -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c/c-examples/classes -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c/third_party/googletest/googletest/include -I/usr/include/glib-2.0 -I/usr/lib/x86_64-linux-gnu/glib-2.0/include    -o CMakeFiles/c-examples.dir/tests/HashTable_Tests.cpp.o -c /var/lib/jenkins/workspace/vdm2c-vdmlib/c/c-examples/tests/HashTable_Tests.cpp
Building CXX object c-examples/CMakeFiles/c-examples.dir/tests/ClassPrivateFieldABC_Tests.cpp.o
cd /var/lib/jenkins/workspace/vdm2c-vdmlib/c/c-examples && /usr/bin/c++    -std=c++11 -fmessage-length=0 -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c/c-examples -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c/c-examples/../vdmclib/src -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c/c-examples/classes -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c/third_party/googletest/googletest/include -I/usr/include/glib-2.0 -I/usr/lib/x86_64-linux-gnu/glib-2.0/include    -o CMakeFiles/c-examples.dir/tests/ClassPrivateFieldABC_Tests.cpp.o -c /var/lib/jenkins/workspace/vdm2c-vdmlib/c/c-examples/tests/ClassPrivateFieldABC_Tests.cpp
/usr/bin/cmake -E cmake_progress_report /var/lib/jenkins/workspace/vdm2c-vdmlib/c/CMakeFiles 19
[ 55%] Building CXX object c-examples/CMakeFiles/c-examples.dir/tests/ClassBTest.cpp.o
cd /var/lib/jenkins/workspace/vdm2c-vdmlib/c/c-examples && /usr/bin/c++    -std=c++11 -fmessage-length=0 -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c/c-examples -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c/c-examples/../vdmclib/src -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c/c-examples/classes -I/var/lib/jenkins/workspace/vdm2c-vdmlib/c/third_party/googletest/googletest/include -I/usr/include/glib-2.0 -I/usr/lib/x86_64-linux-gnu/glib-2.0/include    -o CMakeFiles/c-examples.dir/tests/ClassBTest.cpp.o -c /var/lib/jenkins/workspace/vdm2c-vdmlib/c/c-examples/tests/ClassBTest.cpp
/var/lib/jenkins/workspace/vdm2c-vdmlib/c/c-examples/tests/ClassPrivateCallABC_Tests.cpp:27:21: fatal error: lib/Vdm.h: No such file or directory
 #include "lib/Vdm.h"
                     ^
compilation terminated.
/var/lib/jenkins/workspace/vdm2c-vdmlib/c/c-examples/tests/HashTable_Tests.cpp:29:21: fatal error: lib/Vdm.h: No such file or directory
 #include "lib/Vdm.h"
                     ^
compilation terminated.
/var/lib/jenkins/workspace/vdm2c-vdmlib/c/c-examples/tests/ClassBTest.cpp:34:21: fatal error: lib/Vdm.h: No such file or directory
 #include "lib/Vdm.h"
                     ^
compilation terminated.
/var/lib/jenkins/workspace/vdm2c-vdmlib/c/c-examples/tests/ClassPrivateFieldABC_Tests.cpp:27:21: fatal error: lib/Vdm.h: No such file or directory
 #include "lib/Vdm.h"
                     ^
compilation terminated.
make[2]: *** [c-examples/CMakeFiles/c-examples.dir/tests/HashTable_Tests.cpp.o] Error 1
make[2]: *** Waiting for unfinished jobs....
make[2]: *** [c-examples/CMakeFiles/c-examples.dir/tests/ClassPrivateCallABC_Tests.cpp.o] Error 1
make[2]: *** [c-examples/CMakeFiles/c-examples.dir/tests/ClassBTest.cpp.o] Error 1
make[2]: *** [c-examples/CMakeFiles/c-examples.dir/tests/ClassPrivateFieldABC_Tests.cpp.o] Error 1
make[2]: Leaving directory `/var/lib/jenkins/workspace/vdm2c-vdmlib/c'
make[1]: *** [c-examples/CMakeFiles/c-examples.dir/all] Error 2
make[1]: Leaving directory `/var/lib/jenkins/workspace/vdm2c-vdmlib/c'
make: *** [all] Error 2
Build step 'Execute shell' marked build as failure
Started calculate disk usage of build
Finished Calculation of disk usage of build in 0 seconds
Started calculate disk usage of workspace
Finished Calculation of disk usage of workspace in 0 seconds
Finished: FAILURE