{"action":"closed","issue":{"url":"https://api.github.com/repos/NASA-SW-VnV/ikos/issues/2","repository_url":"https://api.github.com/repos/NASA-SW-VnV/ikos","labels_url":"https://api.github.com/repos/NASA-SW-VnV/ikos/issues/2/labels{/name}","comments_url":"https://api.github.com/repos/NASA-SW-VnV/ikos/issues/2/comments","events_url":"https://api.github.com/repos/NASA-SW-VnV/ikos/issues/2/events","html_url":"https://github.com/NASA-SW-VnV/ikos/issues/2","id":349416799,"node_id":"MDU6SXNzdWUzNDk0MTY3OTk=","number":2,"title":"clang-4.0: error: linker command failed with exit code 1","user":{"login":"inengch","id":19484517,"node_id":"MDQ6VXNlcjE5NDg0NTE3","avatar_url":"https://avatars0.githubusercontent.com/u/19484517?v=4","gravatar_id":"","url":"https://api.github.com/users/inengch","html_url":"https://github.com/inengch","followers_url":"https://api.github.com/users/inengch/followers","following_url":"https://api.github.com/users/inengch/following{/other_user}","gists_url":"https://api.github.com/users/inengch/gists{/gist_id}","starred_url":"https://api.github.com/users/inengch/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/inengch/subscriptions","organizations_url":"https://api.github.com/users/inengch/orgs","repos_url":"https://api.github.com/users/inengch/repos","events_url":"https://api.github.com/users/inengch/events{/privacy}","received_events_url":"https://api.github.com/users/inengch/received_events","type":"User","site_admin":false},"labels":[],"state":"closed","locked":false,"assignee":null,"assignees":[],"milestone":null,"comments":4,"created_at":"2018-08-10T08:09:44Z","updated_at":"2018-08-11T05:25:33Z","closed_at":"2018-08-11T05:25:33Z","author_association":"NONE","body":"Development Environment\r\n---\r\n\r\nType | Configure | OS | Kernel\r\n--- | --- | --- | ---\r\nDigitalOcean VPS | 2vCPUs / 4 GB Memory / 80 GB Disk | Debian 8 | 3.16.0-5-amd64\r\n\r\n```bash\r\nsudo apt update && sudo apt install build-essential cmake doxygen libgmp-dev libboost-all-dev libsqlite3-dev libtinfo-dev libz-dev -y\r\nwget http://releases.llvm.org/4.0.1/clang+llvm-4.0.1-x86_64-linux-gnu-debian8.tar.xz && tar xvf clang+llvm-4.0.1-x86_64-linux-gnu-debian8.tar.xz && rm clang+llvm-4.0.1-x86_64-linux-gnu-debian8.tar.xz\r\nwget https://github.com/NASA-SW-VnV/ikos/archive/v1.3.tar.gz && tar xvf v1.3.tar.gz && rm v1.3.tar.gz\r\nexport CC=/root/clang+llvm-4.0.1-x86_64-linux-gnu-debian8/bin/clang && export CXX=/root/clang+llvm-4.0.1-x86_64-linux-gnu-debian8/bin/clang++\r\ncd ikos-1.3 && mkdir build && cd build\r\ncmake .. -DLLVM_CONFIG_EXECUTABLE=/root/clang+llvm-4.0.1-x86_64-linux-gnu-debian8/bin/llvm-config\r\nmake -j2\r\n```\r\n\r\nError Message\r\n---\r\n\r\n```bash\r\nLinking CXX executable ikos-pp\r\nCMakeFiles/ikos-pp.dir/src/ikos-pp/ikos_pp.cpp.o:(.data.rel.ro._ZTIN4llvm2cl15OptionValueCopyISsEE[_ZTIN4llvm2cl15OptionValueCopyISsEE]+0x10): undefined reference to `typeinfo for llvm::cl::GenericOptionValue'\r\nCMakeFiles/ikos-pp.dir/src/ikos-pp/ikos_pp.cpp.o:(.data.rel.ro._ZTIN4llvm2cl4listISsbNS0_6parserISsEEEE[_ZTIN4llvm2cl4listISsbNS0_6parserISsEEEE]+0x18): undefined reference to `typeinfo for llvm::cl::Option'\r\nCMakeFiles/ikos-pp.dir/src/ikos-pp/ikos_pp.cpp.o:(.data.rel.ro._ZTIN4llvm2cl3optI7PPLevelLb0ENS0_6parserIS2_EEEE[_ZTIN4llvm2cl3optI7PPLevelLb0ENS0_6parserIS2_EEEE]+0x18): undefined reference to `typeinfo for llvm::cl::Option'\r\nCMakeFiles/ikos-pp.dir/src/ikos-pp/ikos_pp.cpp.o:(.data.rel.ro._ZTIN4llvm2cl6parserI7PPLevelEE[_ZTIN4llvm2cl6parserI7PPLevelEE]+0x10): undefined reference to `typeinfo for llvm::cl::generic_parser_base'\r\nCMakeFiles/ikos-pp.dir/src/ikos-pp/ikos_pp.cpp.o:(.data.rel.ro._ZTIN4llvm2cl15OptionValueCopyI7PPLevelEE[_ZTIN4llvm2cl15OptionValueCopyI7PPLevelEE]+0x10): undefined reference to `typeinfo for llvm::cl::GenericOptionValue'\r\nCMakeFiles/ikos-pp.dir/src/ikos-pp/ikos_pp.cpp.o:(.data.rel.ro._ZTIN4llvm2cl15OptionValueCopyIbEE[_ZTIN4llvm2cl15OptionValueCopyIbEE]+0x10): undefined reference to `typeinfo for llvm::cl::GenericOptionValue'\r\nlibikos-pp-lib.a(lower_cst_expr.cpp.o):(.data.rel.ro._ZTIN7ikos_pp16LowerCstExprPassE+0x10): undefined reference to `typeinfo for llvm::ModulePass'\r\nlibikos-pp-lib.a(lower_select.cpp.o):(.data.rel.ro._ZTIN7ikos_pp11LowerSelectE+0x10): undefined reference to `typeinfo for llvm::FunctionPass'\r\nlibikos-pp-lib.a(name_values.cpp.o):(.data.rel.ro._ZTIN7ikos_pp10NameValuesE+0x10): undefined reference to `typeinfo for llvm::ModulePass'\r\nlibikos-pp-lib.a(mark_internal_inline.cpp.o):(.data.rel.ro._ZTIN7ikos_pp18MarkInternalInlineE+0x10): undefined reference to `typeinfo for llvm::ModulePass'\r\nlibikos-pp-lib.a(remove_printf_calls.cpp.o):(.data.rel.ro._ZTIN7ikos_pp17RemovePrintfCallsE+0x10): undefined reference to `typeinfo for llvm::FunctionPass'\r\nlibikos-pp-lib.a(mark_no_return_functions.cpp.o):(.data.rel.ro._ZTIN7ikos_pp21MarkNoReturnFunctionsE+0x10): undefined reference to `typeinfo for llvm::ModulePass'\r\nlibikos-pp-lib.a(remove_unreachable_blocks.cpp.o):(.data.rel.ro._ZTIN7ikos_pp23RemoveUnreachableBlocksE+0x10): undefined reference to `typeinfo for llvm::FunctionPass'\r\nclang-4.0: error: linker command failed with exit code 1 (use -v to see invocation)\r\nfrontends/llvm/CMakeFiles/ikos-pp.dir/build.make:120: recipe for target 'frontends/llvm/ikos-pp' failed\r\nmake[2]: *** [frontends/llvm/ikos-pp] Error 1\r\nCMakeFiles/Makefile2:2581: recipe for target 'frontends/llvm/CMakeFiles/ikos-pp.dir/all' failed\r\nmake[1]: *** [frontends/llvm/CMakeFiles/ikos-pp.dir/all] Error 2\r\nmake[1]: *** Waiting for unfinished jobs....\r\nLinking CXX shared library libadd-loop-counters.so\r\n[ 79%] Built target add-loop-counters\r\nMakefile:127: recipe for target 'all' failed\r\nmake: *** [all] Error 2\r\n```\r\n\r\nThanks in advance."}}
{"actor":{"display_login":"inengch"}}