[ 0:01] + cat
[ 0:01] + cmake -DCMAKE_C_COMPILER=dioscc -DCMAKE_CXX_COMPILER=dioscc .
[ 0:01] CMake Warning (dev) in CMakeLists.txt:
[ 0:01]   No project() command is present.  The top-level CMakeLists.txt file must
[ 0:01]   contain a literal, direct call to the project() command.  Add a line of
[ 0:01]   code such as
[ 0:01] 
[ 0:01]     project(ProjectName)
[ 0:01] 
[ 0:01]   near the top of the file, but after cmake_minimum_required().
[ 0:01] 
[ 0:01]   CMake is pretending there is a "project(Project)" command on the first
[ 0:01]   line.
[ 0:01] This warning is for project developers.  Use -Wno-dev to suppress it.
[ 0:01] 
[ 0:01] -- The C compiler identification is Clang 7.0.0
[ 0:01] -- The CXX compiler identification is Clang 7.0.0
[ 0:01] -- Detecting C compiler ABI info
[ 0:01] -- Detecting C compiler ABI info - done
[ 0:01] -- Check for working C compiler: /var/obj/divine-nightly/semidbg/tools/dioscc - skipped
[ 0:01] -- Detecting C compile features
[ 0:01] -- Detecting C compile features - done
[ 0:01] -- Detecting CXX compiler ABI info
[ 0:01] -- Detecting CXX compiler ABI info - done
[ 0:01] -- Check for working CXX compiler: /var/obj/divine-nightly/semidbg/tools/dioscc - skipped
[ 0:01] -- Detecting CXX compile features
[ 0:01] -- Detecting CXX compile features - done
[ 0:01] -- Looking for pthread.h
[ 0:01] -- Looking for pthread.h - found
[ 0:02] -- Performing Test CMAKE_HAVE_LIBC_PTHREAD
[ 0:02] -- Performing Test CMAKE_HAVE_LIBC_PTHREAD - Failed
[ 0:02] -- Looking for pthread_create in pthreads
[ 0:02] -- Looking for pthread_create in pthreads - not found
[ 0:02] -- Looking for pthread_create in pthread
[ 0:02] -- Looking for pthread_create in pthread - found
[ 0:03] -- Found Threads: TRUE  
[ 0:03] -- Configuring done
[ 0:03] -- Generating done
[ 0:03] -- Build files have been written to: /var/obj/divine-nightly/semidbg/test/__test_work_dir.3
[ 0:03] + check debris
[ 0:03] + test -e warning