{"action":"created","issue":{"url":"https://api.github.com/repos/NASA-SW-VnV/ikos/issues/3","repository_url":"https://api.github.com/repos/NASA-SW-VnV/ikos","labels_url":"https://api.github.com/repos/NASA-SW-VnV/ikos/issues/3/labels{/name}","comments_url":"https://api.github.com/repos/NASA-SW-VnV/ikos/issues/3/comments","events_url":"https://api.github.com/repos/NASA-SW-VnV/ikos/issues/3/events","html_url":"https://github.com/NASA-SW-VnV/ikos/issues/3","id":368913123,"node_id":"MDU6SXNzdWUzNjg5MTMxMjM=","number":3,"title":"Build error Linking CXX executable ikos-pp","user":{"login":"doshmajhan","id":9564131,"node_id":"MDQ6VXNlcjk1NjQxMzE=","avatar_url":"https://avatars0.githubusercontent.com/u/9564131?v=4","gravatar_id":"","url":"https://api.github.com/users/doshmajhan","html_url":"https://github.com/doshmajhan","followers_url":"https://api.github.com/users/doshmajhan/followers","following_url":"https://api.github.com/users/doshmajhan/following{/other_user}","gists_url":"https://api.github.com/users/doshmajhan/gists{/gist_id}","starred_url":"https://api.github.com/users/doshmajhan/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/doshmajhan/subscriptions","organizations_url":"https://api.github.com/users/doshmajhan/orgs","repos_url":"https://api.github.com/users/doshmajhan/repos","events_url":"https://api.github.com/users/doshmajhan/events{/privacy}","received_events_url":"https://api.github.com/users/doshmajhan/received_events","type":"User","site_admin":false},"labels":[],"state":"open","locked":false,"assignee":null,"assignees":[],"milestone":null,"comments":0,"created_at":"2018-10-11T01:13:56Z","updated_at":"2018-10-11T07:38:19Z","closed_at":null,"author_association":"NONE","body":"Hey am getting these errors when trying to build the ikos tool\r\n```\r\n[ 48%] Built target arbos-api\r\n[ 48%] Built target arbos\r\n[ 48%] Built target print\r\n[ 48%] Built target ikos-pp-lib\r\n[ 48%] Linking CXX executable ikos-pp\r\n/usr/bin/ld: cannot find -lLLVMAnalysis\r\n/usr/bin/ld: cannot find -lLLVMAsmParser\r\n/usr/bin/ld: cannot find -lLLVMBitReader\r\n/usr/bin/ld: cannot find -lLLVMBitWriter\r\n/usr/bin/ld: cannot find -lLLVMCodeGen\r\n/usr/bin/ld: cannot find -lLLVMCore\r\n/usr/bin/ld: cannot find -lLLVMInstCombine\r\n/usr/bin/ld: cannot find -lLLVMInstrumentation\r\n/usr/bin/ld: cannot find -lLLVMipo\r\n/usr/bin/ld: cannot find -lLLVMIRReader\r\n/usr/bin/ld: cannot find -lLLVMMC\r\n/usr/bin/ld: cannot find -lLLVMObjCARCOpts\r\n/usr/bin/ld: cannot find -lLLVMScalarOpts\r\n/usr/bin/ld: cannot find -lLLVMSupport\r\n/usr/bin/ld: cannot find -lLLVMTarget\r\n/usr/bin/ld: cannot find -lLLVMTransformUtils\r\n/usr/bin/ld: cannot find -lLLVMVectorize\r\ncollect2: error: ld returned 1 exit status\r\nmake[2]: *** [frontends/llvm/CMakeFiles/ikos-pp.dir/build.make:87: frontends/llvm/ikos-pp] Error 1\r\nmake[1]: *** [CMakeFiles/Makefile2:2823: frontends/llvm/CMakeFiles/ikos-pp.dir/all] Error 2\r\nmake: *** [Makefile:141: all] Error 2\r\n```\r\n\r\nWanted to see if you had any suggestions for where I could look to resolve these errors. For reference I am building this on a Fedora 26 machine. "},"comment":{"url":"https://api.github.com/repos/NASA-SW-VnV/ikos/issues/comments/428852976","html_url":"https://github.com/NASA-SW-VnV/ikos/issues/3#issuecomment-428852976","issue_url":"https://api.github.com/repos/NASA-SW-VnV/ikos/issues/3","id":428852976,"node_id":"MDEyOklzc3VlQ29tbWVudDQyODg1Mjk3Ng==","user":{"login":"zadlg","id":24417450,"node_id":"MDQ6VXNlcjI0NDE3NDUw","avatar_url":"https://avatars1.githubusercontent.com/u/24417450?v=4","gravatar_id":"","url":"https://api.github.com/users/zadlg","html_url":"https://github.com/zadlg","followers_url":"https://api.github.com/users/zadlg/followers","following_url":"https://api.github.com/users/zadlg/following{/other_user}","gists_url":"https://api.github.com/users/zadlg/gists{/gist_id}","starred_url":"https://api.github.com/users/zadlg/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/zadlg/subscriptions","organizations_url":"https://api.github.com/users/zadlg/orgs","repos_url":"https://api.github.com/users/zadlg/repos","events_url":"https://api.github.com/users/zadlg/events{/privacy}","received_events_url":"https://api.github.com/users/zadlg/received_events","type":"User","site_admin":false},"created_at":"2018-10-11T07:38:19Z","updated_at":"2018-10-11T07:38:19Z","author_association":"NONE","body":"Hi,\r\n```\r\n/usr/bin/ld: cannot find -lLLVMAnalysis\r\n/usr/bin/ld: cannot find -lLLVMAsmParser\r\n/usr/bin/ld: cannot find -lLLVMBitReader\r\n/usr/bin/ld: cannot find -lLLVMBitWriter\r\n/usr/bin/ld: cannot find -lLLVMCodeGen\r\n/usr/bin/ld: cannot find -lLLVMCore\r\n/usr/bin/ld: cannot find -lLLVMInstCombine\r\n/usr/bin/ld: cannot find -lLLVMInstrumentation\r\n/usr/bin/ld: cannot find -lLLVMipo\r\n/usr/bin/ld: cannot find -lLLVMIRReader\r\n/usr/bin/ld: cannot find -lLLVMMC\r\n/usr/bin/ld: cannot find -lLLVMObjCARCOpts\r\n/usr/bin/ld: cannot find -lLLVMScalarOpts\r\n/usr/bin/ld: cannot find -lLLVMSupport\r\n/usr/bin/ld: cannot find -lLLVMTarget\r\n/usr/bin/ld: cannot find -lLLVMTransformUtils\r\n/usr/bin/ld: cannot find -lLLVMVectorize\r\n```\r\n\r\nIt seems like the linker wasn't able to find the LLVM libraries.\r\nFor example, those libraries exist in my system (I'm using ArchLinux) in the `/usr/lib/llvm-4.0/lib/`.\r\nCheck if you have LLVM installed,and if you have these files (like `libLLVMTarget.a`) somewhere.\r\n"}}
{"actor":{"display_login":"zadlg"}}