use cmake to build klee - cmake

I'm newer in using Linux and cmake.
I have some trouble when I want to build a KLEE system in ubuntu14.04.
When I come to the 8th part as the official page said. see in this page: http://klee.github.io/build-llvm34/
There is something wrong with the standard of c++ it uses -std=14 but I don't know why my compiler doesn't support it.
So my question is that: 1. is it necessary to use C++ 14? 2. and if is not how can I change the version the compiler used to avoid this kind of error?
llvm is 3.4
clang is 3.4
/home/codefiring/Desktop/software/klee/klee/tools/klee/main.cpp: In function ‘int main(int, char**, char**)’:
/home/codefiring/Desktop/software/klee/klee/tools/klee/main.cpp:1352:18: error: ‘put_time’ is not a member of ‘std’
<< std::put_time(std::localtime(&startTime), "%Y-%m-%d %H:%M:%S") << '\n';
^
/home/codefiring/Desktop/software/klee/klee/tools/klee/main.cpp:1460:16: error: ‘put_time’ is not a member of ‘std’
<< std::put_time(std::localtime(&endTime), "%Y-%m-%d %H:%M:%S") << '\n'
^
make[2]: *** [tools/klee/CMakeFiles/klee.dir/main.cpp.o] Error 1
make[1]: *** [tools/klee/CMakeFiles/klee.dir/all] Error 2
make: *** [all] Error 2

Related

Error in building CGAL example Triangulation_2

I installed CGAL and tried to follow manual, but I failed to build example Triangulation_2. I used terminal in mac and run the code.
[ 50%] Building CXX object CMakeFiles/draw_triangulation_2.dir/draw_triangulation_2.cpp.o
In file included from /Users/janeh/Downloads/CGAL-5.0.2/examples/Triangulation_2/draw_triangulation_2.cpp:3:
/usr/local/include/CGAL/draw_triangulation_2.h:16:10: fatal error:
'CGAL/Qt/Basic_viewer_qt.h' file not found
#include <CGAL/Qt/Basic_viewer_qt.h>
^~~~~~~~~~~~~~~~~~~~~~~~~~~
1 error generated.
make[2]: *** [CMakeFiles/draw_triangulation_2.dir/draw_triangulation_2.cpp.o] Error 1
make[1]: *** [CMakeFiles/draw_triangulation_2.dir/all] Error 2
I checked Basic_viewer_qt.h and it is at the right location
/Users/janeh/Downloads/CGAL-5.0.2/include/CGAL/Qt/Basic_viewer_qt.h
But somehow draw_triangulation_2.h can't include it. Is there any reason why this happens?

CMake build failed with error 'SecTrustEvaluateAsync' undeclared when using gcc 5.3 on OS X

I am trying to build CMake 3.5.2 from source on Mac El Captain using GNU GCC 5.3 from HPC.
The ./bootstrap process is completed successfully but when i am using make is failing with the following error.
/Users/dev/Downloads/CMake-master/Utilities/cmcurl/lib/vtls/darwinssl.c: In function ‘darwinssl_connect_step3’:
/Users/dev/Downloads/CMake-master/Utilities/cmcurl/lib/vtls/darwinssl.c:1999:6: error: ‘SecTrustEvaluateAsync’ undeclared (first use in this function)
if(SecTrustEvaluateAsync != NULL) {
^
/Users/dev/Downloads/CMake-master/Utilities/cmcurl/lib/vtls/darwinssl.c:1999:6: note: each undeclared identifier is reported only once for each function it appears in
make[2]: *** [Utilities/cmcurl/lib/CMakeFiles/cmcurl.dir/vtls/darwinssl.c.o] Error 1
make[1]: *** [Utilities/cmcurl/lib/CMakeFiles/cmcurl.dir/all] Error 2
make: *** [all] Error 2
The same process worked fine when I was using the default clang compiler provided with Mac OS.
When I tried finding about SecTrustEvaluateAsync I found the following information in the apple site.
Any help on this is highly appreciated.
You might try the latest CMake 3.6-rc1. If the problem persists, file a bug to notice the CMake developers. We probably won't fix CMake's code.

Using libFlac with Xcode in Mountain Lion

I've decided to write an simple audio converter in objective-c and cocoa, but i cannot link libFlac C library to my Xcode project. When i'm trying to do this, compiler says:
ld: symbol(s) not found for architecture x86_64
What's more, when i'm trying to compile it via command line tools (just like it is described in readme file), terminal throws:
ot match previous archive members cputype (16777223) (all members must
match) ranlib: for architecture: x86_64 file: .libs/libFLAC.a(float.o)
has no symbols make[4]: * [libFLAC.la] Error 1 make[3]:
[all-recursive] Error 1 make[2]: [all-recursive] Error 1 make[1]:
* [all-recursive] Error 1
And when I changed target architecture to intel 32-bit:
error: -fobjc-arc is not supported with fragile abi
Command >/Applications/Xcode.app/Contents/Developer/Toolchains/XcodeDefault.xctoolchain/usr/bin/clang >failed with exit code 1
Can anybody help me ? Maybe somebody knows about better, easier way for decoding FLAC files in objective-c ?
./configure --disable-asm-optimizations && make
This will build correctly on OS X.

valgrind installation make error __longjmp_chk already defined

I am trying to install valgrind 2.2.0 on ubuntu 10.04 having glibc 2.11. I have used valgrind doesn't accept newest version of glibc link. While make i am getting some error. The last 10 lines appearing on screen are
vg_libpthread.c:314: note: expected ‘const Char *’ but argument is of type ‘char *’
vg_libpthread.c:3292: warning: pointer targets in passing argument 4 of ‘my_assert_fail’ differ in signedness
vg_libpthread.c:314: note: expected ‘const Char *’ but argument is of type ‘const char *’
/tmp/ccGHnzp9.s: Assembler messages:
/tmp/ccGHnzp9.s:2463: Error: symbol `__longjmp_chk' is already defined
make[4]: *** [vg_libpthread.o] Error 1
make[3]: *** [install-recursive] Error 1
make[2]: *** [install] Error 2
make[1]: *** [install-recursive] Error 1
make: *** [install] Error 2
/tmp/ccGHnzp9.s file doesnt exist. I am unable to find whats wrong.
Thank you.
I am trying to install valgrind 2.2.0 on ubuntu 10.04
Valgrind 2.2.0 is ancient (Released on 31 August 2004) and can't be built without much hacking on a recent Linux system.
I can't think of any good reason to attempt building that particular Valgrind version either. Just use a newer release (current release builds just fine on ubuntu 10.04 without any hacks).

Compile Objective-C with GNUstep

I'm a newbie in Objective-C. I'm trying to compile Objective-C with GNUstep but it's giving errors. I tried to both compile on command line (gcc and makefile).
No such file or directory /
excepted '>' before 'GSPredicateBlock'
…
I used the command line
gcc gnustep-config --objc-flags -o hello hello.m -I /GNUstep/System/Library/Headers -L /GNUstep/System/Library/Libraries -lobjc -lgnustep-base -fconstant-string-class=NSConstantString -enable-auto-import
My attempt at using a makefile:
Making all for tool Hello...
Compiling file hello.m ...
hello.m:1:71 fatal error: ../../GNUstep/System/Library/Headers/Foundation/Found ation.h: No such file or directory
compilation terminated.
make[3]: *** [obj/Hello.obj/hello.m.o] Error 1
make[2]: *** [internal-tool-all_] Error 2
make[1]: *** [Hello.all.tool.variables] Error 2
make: *** [internal-all] Error 2
I've searched Google, but I can't find anything that helps. I installed gnustep-msys-system-0.28.0-setup, gnustep-core-0.28.0-setup and gnustep-devel-1.3.0-setup on Windows 7.
I don't know if this is a red herring but I see there's a space in a place where it should not be:
Foundation/Found ation.h
it should read:
#import <Foundation/Foundation.h>
(without the space) in your source code file
Obviously this is what the compiler complains about here:
hello.m:1:71 fatal error: ../../GNUstep/System/Library/Headers/Foundation/Found ation.h: No such file or directory
remove that space in your source code file's import directive and try again.