{"action":"created","issue":{"url":"https://api.github.com/repos/dreal/dreal3/issues/316","repository_url":"https://api.github.com/repos/dreal/dreal3","labels_url":"https://api.github.com/repos/dreal/dreal3/issues/316/labels{/name}","comments_url":"https://api.github.com/repos/dreal/dreal3/issues/316/comments","events_url":"https://api.github.com/repos/dreal/dreal3/issues/316/events","html_url":"https://github.com/dreal/dreal3/issues/316","id":189814378,"number":316,"title":"BUILD_SHARED_LIB=ON → disaster","user":{"login":"mwoehlke-kitware","id":6474409,"avatar_url":"https://avatars.githubusercontent.com/u/6474409?v=3","gravatar_id":"","url":"https://api.github.com/users/mwoehlke-kitware","html_url":"https://github.com/mwoehlke-kitware","followers_url":"https://api.github.com/users/mwoehlke-kitware/followers","following_url":"https://api.github.com/users/mwoehlke-kitware/following{/other_user}","gists_url":"https://api.github.com/users/mwoehlke-kitware/gists{/gist_id}","starred_url":"https://api.github.com/users/mwoehlke-kitware/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/mwoehlke-kitware/subscriptions","organizations_url":"https://api.github.com/users/mwoehlke-kitware/orgs","repos_url":"https://api.github.com/users/mwoehlke-kitware/repos","events_url":"https://api.github.com/users/mwoehlke-kitware/events{/privacy}","received_events_url":"https://api.github.com/users/mwoehlke-kitware/received_events","type":"User","site_admin":false},"labels":[],"state":"closed","locked":false,"assignee":{"login":"soonho-tri","id":20779767,"avatar_url":"https://avatars.githubusercontent.com/u/20779767?v=3","gravatar_id":"","url":"https://api.github.com/users/soonho-tri","html_url":"https://github.com/soonho-tri","followers_url":"https://api.github.com/users/soonho-tri/followers","following_url":"https://api.github.com/users/soonho-tri/following{/other_user}","gists_url":"https://api.github.com/users/soonho-tri/gists{/gist_id}","starred_url":"https://api.github.com/users/soonho-tri/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/soonho-tri/subscriptions","organizations_url":"https://api.github.com/users/soonho-tri/orgs","repos_url":"https://api.github.com/users/soonho-tri/repos","events_url":"https://api.github.com/users/soonho-tri/events{/privacy}","received_events_url":"https://api.github.com/users/soonho-tri/received_events","type":"User","site_admin":false},"assignees":[{"login":"soonho-tri","id":20779767,"avatar_url":"https://avatars.githubusercontent.com/u/20779767?v=3","gravatar_id":"","url":"https://api.github.com/users/soonho-tri","html_url":"https://github.com/soonho-tri","followers_url":"https://api.github.com/users/soonho-tri/followers","following_url":"https://api.github.com/users/soonho-tri/following{/other_user}","gists_url":"https://api.github.com/users/soonho-tri/gists{/gist_id}","starred_url":"https://api.github.com/users/soonho-tri/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/soonho-tri/subscriptions","organizations_url":"https://api.github.com/users/soonho-tri/orgs","repos_url":"https://api.github.com/users/soonho-tri/repos","events_url":"https://api.github.com/users/soonho-tri/events{/privacy}","received_events_url":"https://api.github.com/users/soonho-tri/received_events","type":"User","site_admin":false}],"milestone":null,"comments":6,"created_at":"2016-11-16T19:20:30Z","updated_at":"2016-11-17T15:09:21Z","closed_at":"2016-11-17T15:00:40Z","body":"I'm trying to build dReal with `BUILD_SHARED_LIB=ON`. It fails _horribly_. Rather than try to include the myriad link errors, here are some brief examples:\r\n\r\n```\r\nlinking lib/libdop.so (cc)\r\nCMakeFiles/dop.dir/tools/dop/print_latex.cpp.o: In function `operator<<':\r\n.../dreal/src/opensmt/egraph/Enode.h:380: undefined reference to `Enode::print(std::ostream&) const'\r\nCMakeFiles/dop.dir/tools/dop/process.cpp.o: In function `operator()<__gnu_cxx::__normal_iterator<std::pair<std::basic_string<char>, Enode*>*, std::vector<std::pair<std::basic_string<char>, Enode*> > >, __gnu_cxx::__normal_iterator<std::pair<std::basic_string<char>, Enode*>*, std::vector<std::pair<std::basic_string<char>, Enode*> > > >':\r\n.../dreal/src/tools/dop/process.cpp:175: undefined reference to `dreal::starts_with(std::string const&, std::string const&)'\r\n```\r\n\r\n```\r\n.../lib/libdreal.so: undefined reference to `filib::fp_traits_base<double>::nan_val'\r\n.../lib/libdreal.so: undefined reference to `ibex::IntervalVector::mid() const'\r\n.../lib/libdreal.so: undefined reference to `glp_ipt_status'\r\n```\r\n\r\nThis is happening on multiple machines (so far, on Fedora 21 and Ubuntu 14.04, but I suspect the problem is universal), as of @e6d1d49.\r\n\r\nCMake arguments:\r\n```\r\nUSE_NLOPT=OFF\r\nBUILD_TESTING=OFF\r\nBUILD_SHARED_LIB=ON\r\nCMAKE_SHARED_LINKER_FLAGS=-Wl,--no-undefined\r\n```\r\n\r\nPossibly related to #51. In particular, https://github.com/dreal/dreal3/issues/51#issuecomment-89334447 suggests that this is a known issue that for some reason was not fixed, despite that #51 was closed."},"comment":{"url":"https://api.github.com/repos/dreal/dreal3/issues/comments/261271575","html_url":"https://github.com/dreal/dreal3/issues/316#issuecomment-261271575","issue_url":"https://api.github.com/repos/dreal/dreal3/issues/316","id":261271575,"user":{"login":"mwoehlke-kitware","id":6474409,"avatar_url":"https://avatars.githubusercontent.com/u/6474409?v=3","gravatar_id":"","url":"https://api.github.com/users/mwoehlke-kitware","html_url":"https://github.com/mwoehlke-kitware","followers_url":"https://api.github.com/users/mwoehlke-kitware/followers","following_url":"https://api.github.com/users/mwoehlke-kitware/following{/other_user}","gists_url":"https://api.github.com/users/mwoehlke-kitware/gists{/gist_id}","starred_url":"https://api.github.com/users/mwoehlke-kitware/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/mwoehlke-kitware/subscriptions","organizations_url":"https://api.github.com/users/mwoehlke-kitware/orgs","repos_url":"https://api.github.com/users/mwoehlke-kitware/repos","events_url":"https://api.github.com/users/mwoehlke-kitware/events{/privacy}","received_events_url":"https://api.github.com/users/mwoehlke-kitware/received_events","type":"User","site_admin":false},"created_at":"2016-11-17T15:09:21Z","updated_at":"2016-11-17T15:09:21Z","body":"I'm still getting undefined references..."}}
{"actor":{"display_login":"mwoehlke-kitware"}}