{"action":"created","issue":{"url":"https://api.github.com/repos/seahorn/sea-dsa/issues/33","repository_url":"https://api.github.com/repos/seahorn/sea-dsa","labels_url":"https://api.github.com/repos/seahorn/sea-dsa/issues/33/labels{/name}","comments_url":"https://api.github.com/repos/seahorn/sea-dsa/issues/33/comments","events_url":"https://api.github.com/repos/seahorn/sea-dsa/issues/33/events","html_url":"https://github.com/seahorn/sea-dsa/issues/33","id":349268688,"node_id":"MDU6SXNzdWUzNDkyNjg2ODg=","number":33,"title":"sea-dsa build failed with llvm-3.8","user":{"login":"mustakcsecuet","id":1774620,"node_id":"MDQ6VXNlcjE3NzQ2MjA=","avatar_url":"https://avatars0.githubusercontent.com/u/1774620?v=4","gravatar_id":"","url":"https://api.github.com/users/mustakcsecuet","html_url":"https://github.com/mustakcsecuet","followers_url":"https://api.github.com/users/mustakcsecuet/followers","following_url":"https://api.github.com/users/mustakcsecuet/following{/other_user}","gists_url":"https://api.github.com/users/mustakcsecuet/gists{/gist_id}","starred_url":"https://api.github.com/users/mustakcsecuet/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/mustakcsecuet/subscriptions","organizations_url":"https://api.github.com/users/mustakcsecuet/orgs","repos_url":"https://api.github.com/users/mustakcsecuet/repos","events_url":"https://api.github.com/users/mustakcsecuet/events{/privacy}","received_events_url":"https://api.github.com/users/mustakcsecuet/received_events","type":"User","site_admin":false},"labels":[],"state":"closed","locked":false,"assignee":null,"assignees":[],"milestone":null,"comments":1,"created_at":"2018-08-09T19:59:04Z","updated_at":"2018-08-10T06:48:48Z","closed_at":"2018-08-10T06:48:48Z","author_association":"NONE","body":"Hi\r\nI have failed to build sea-dsa with llvm-3.8. Here is my system configuration:\r\n\r\nOS: 4.4.0-112-generic #135-Ubuntu SMP x86_64 x86_64 x86_64 GNU/Linux\r\n\r\nclang/llvm: http://releases.llvm.org/3.8.0/llvm-3.8.0.src.tar.xz, http://releases.llvm.org/3.8.0/cfe-3.8.0.src.tar.xz\r\n\r\nThey have been build and install successfully.\r\n![image](https://user-images.githubusercontent.com/1774620/43922301-4b072e8a-9bec-11e8-868c-a1262d2f492d.png)\r\n\r\nNext, I have done:\r\n`cmake -DCMAKE_INSTALL_PREFIX=\\~/static-cfg/llvm-dsa/sea-dsa/install -DLLVM_DIR=~/static-cfg/build/share/llvm/cmake ..`\r\nand when try the following:\r\n`cmake --build . --target install`\r\nIt failed as following:\r\n![image](https://user-images.githubusercontent.com/1774620/43922460-d34cd272-9bec-11e8-875e-d168407c72ff.png)\r\nHere is the error: \r\n`**undefined reference to `typeinfo for llvm::cl::GenericOptionValue'**`\r\n\r\ndetails:\r\nCMakeFiles/seadsa.dir/seadsa.cc.o:(.data.rel.ro._ZTIN4llvm2cl3optIN7sea_dsa12SeaDsaLogOptELb1ENS0_6parserINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEEEEEE[_ZTIN4llvm2cl3optIN7sea_dsa12SeaDsaLogOptELb1ENS0_6parserINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEEEEEE]+0x18): undefined reference to `typeinfo for llvm::cl::Option'\r\nCMakeFiles/seadsa.dir/seadsa.cc.o:(.data.rel.ro._ZTIN4llvm2cl15OptionValueBaseIN7sea_dsa12SeaDsaLogOptELb1EEE[_ZTIN4llvm2cl15OptionValueBaseIN7sea_dsa12SeaDsaLogOptELb1EEE]+0x10): undefined reference to `typeinfo for llvm::cl::GenericOptionValue'\r\nCMakeFiles/seadsa.dir/seadsa.cc.o:(.data.rel.ro._ZTIN4llvm2cl15OptionValueCopyIbEE[_ZTIN4llvm2cl15OptionValueCopyIbEE]+0x10): undefined reference to `typeinfo for llvm::cl::GenericOptionValue'\r\nCMakeFiles/seadsa.dir/seadsa.cc.o:(.data.rel.ro._ZTIN4llvm2cl15OptionValueCopyINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEEEE[_ZTIN4llvm2cl15OptionValueCopyINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEEEE]+0x10): undefined reference to `typeinfo for llvm::cl::GenericOptionValue'\r\n../lib/libSeaDsaAnalysis.a(DsaStats.cc.o):(.data.rel.ro._ZTIN7sea_dsa17DsaPrintStatsPassE[_ZTIN7sea_dsa17DsaPrintStatsPassE]+0x10): undefined reference to `typeinfo for llvm::ModulePass'\r\n../lib/libSeaDsaAnalysis.a(DsaPrinter.cc.o):(.data.rel.ro._ZTIN7sea_dsa9DsaViewerE[_ZTIN7sea_dsa9DsaViewerE]+0x10): undefined reference to `typeinfo for llvm::ModulePass'\r\n../lib/libSeaDsaAnalysis.a(DsaPrinter.cc.o):(.data.rel.ro._ZTIN7sea_dsa10DsaPrinterE[_ZTIN7sea_dsa10DsaPrinterE]+0x10): undefined reference to `typeinfo for llvm::ModulePass'\r\n../lib/libSeaDsaAnalysis.a(DsaInfo.cc.o):(.data.rel.ro._ZTIN7sea_dsa11DsaInfoPassE[_ZTIN7sea_dsa11DsaInfoPassE]+0x10): undefined reference to `typeinfo for llvm::ModulePass'\r\n../lib/libSeaDsaAnalysis.a(DsaAnalysis.cc.o):(.data.rel.ro._ZTIN4llvm2cl3optIN7sea_dsa18GlobalAnalysisKindELb0ENS0_6parserIS3_EEEE[_ZTIN4llvm2cl3optIN7sea_dsa18GlobalAnalysisKindELb0ENS0_6parserIS3_EEEE]+0x18): undefined reference to `typeinfo for llvm::cl::Option'\r\n../lib/libSeaDsaAnalysis.a(DsaAnalysis.cc.o):(.data.rel.ro._ZTIN4llvm2cl6parserIN7sea_dsa18GlobalAnalysisKindEEE[_ZTIN4llvm2cl6parserIN7sea_dsa18GlobalAnalysisKindEEE]+0x10): undefined reference to `typeinfo for llvm::cl::generic_parser_base'\r\n../lib/libSeaDsaAnalysis.a(DsaAnalysis.cc.o):(.data.rel.ro._ZTIN4llvm2cl15OptionValueCopyIN7sea_dsa18GlobalAnalysisKindEEE[_ZTIN4llvm2cl15OptionValueCopyIN7sea_dsa18GlobalAnalysisKindEEE]+0x10): undefined reference to `typeinfo for llvm::cl::GenericOptionValue'\r\n../lib/libSeaDsaAnalysis.a(DsaAnalysis.cc.o):(.data.rel.ro._ZTIN7sea_dsa11DsaAnalysisE[_ZTIN7sea_dsa11DsaAnalysisE]+0x10): undefined reference to `typeinfo for llvm::ModulePass'\r\n../lib/libSeaDsaAnalysis.a(NameValues.cc.o):(.data.rel.ro._ZTIN7sea_dsa10NameValuesE[_ZTIN7sea_dsa10NameValuesE]+0x10): undefined reference to `typeinfo for llvm::ModulePass'\r\n../lib/libSeaDsaAnalysis.a(RemovePtrToInt.cc.o):(.data.rel.ro._ZTIN7sea_dsa14RemovePtrToIntE[_ZTIN7sea_dsa14RemovePtrToIntE]+0x10): undefined reference to `typeinfo for llvm::FunctionPass'\r\n../lib/libSeaDsaAnalysis.a(DsaGlobal.cc.o):(.data.rel.ro._ZTIN7sea_dsa13DsaGlobalPassE[_ZTIN7sea_dsa13DsaGlobalPassE]+0x10): undefined reference to `typeinfo for llvm::ModulePass'\r\n../lib/libSeaDsaAnalysis.a(DsaBottomUp.cc.o):(.data.rel.ro._ZTIN7sea_dsa8BottomUpE[_ZTIN7sea_dsa8BottomUpE]+0x10): undefined reference to `typeinfo for llvm::ModulePass'\r\n../lib/libSeaDsaAnalysis.a(DsaLocal.cc.o):(.data.rel.ro._ZTIN7sea_dsa5LocalE[_ZTIN7sea_dsa5LocalE]+0x10): undefined reference to `typeinfo for llvm::ModulePass'\r\ncollect2: error: ld returned 1 exit status\r\ntools/CMakeFiles/seadsa.dir/build.make:121: recipe for target 'tools/seadsa' failed\r\nmake[2]: *** [tools/seadsa] Error 1\r\nCMakeFiles/Makefile2:1213: recipe for target 'tools/CMakeFiles/seadsa.dir/all' failed\r\nmake[1]: *** [tools/CMakeFiles/seadsa.dir/all] Error 2\r\nMakefile:129: recipe for target 'all' failed\r\nmake: *** [all] Error 2\r\nAny suggestion will be appreciated."},"comment":{"url":"https://api.github.com/repos/seahorn/sea-dsa/issues/comments/411991976","html_url":"https://github.com/seahorn/sea-dsa/issues/33#issuecomment-411991976","issue_url":"https://api.github.com/repos/seahorn/sea-dsa/issues/33","id":411991976,"node_id":"MDEyOklzc3VlQ29tbWVudDQxMTk5MTk3Ng==","user":{"login":"agurfinkel","id":6082023,"node_id":"MDQ6VXNlcjYwODIwMjM=","avatar_url":"https://avatars2.githubusercontent.com/u/6082023?v=4","gravatar_id":"","url":"https://api.github.com/users/agurfinkel","html_url":"https://github.com/agurfinkel","followers_url":"https://api.github.com/users/agurfinkel/followers","following_url":"https://api.github.com/users/agurfinkel/following{/other_user}","gists_url":"https://api.github.com/users/agurfinkel/gists{/gist_id}","starred_url":"https://api.github.com/users/agurfinkel/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/agurfinkel/subscriptions","organizations_url":"https://api.github.com/users/agurfinkel/orgs","repos_url":"https://api.github.com/users/agurfinkel/repos","events_url":"https://api.github.com/users/agurfinkel/events{/privacy}","received_events_url":"https://api.github.com/users/agurfinkel/received_events","type":"User","site_admin":false},"created_at":"2018-08-10T06:48:48Z","updated_at":"2018-08-10T06:48:48Z","author_association":"CONTRIBUTOR","body":"`sea-dsa` is only tested with LLVM that is compiled with it. You can see the necessary switches in the main `CMakeLists.txt`. There isn't any particular reason why `sea-dsa` should not work with other builds of LLVM, but we currently don't have the cycles to investigate. We would be very happy to accept a PR that addresses this issue."}}
{"actor":{"display_login":"agurfinkel"}}