{"action":"created","issue":{"url":"https://api.github.com/repos/Z3Prover/z3/issues/504","repository_url":"https://api.github.com/repos/Z3Prover/z3","labels_url":"https://api.github.com/repos/Z3Prover/z3/issues/504/labels{/name}","comments_url":"https://api.github.com/repos/Z3Prover/z3/issues/504/comments","events_url":"https://api.github.com/repos/Z3Prover/z3/issues/504/events","html_url":"https://github.com/Z3Prover/z3/pull/504","id":139589981,"number":504,"title":"[CMake] Provide a way to customise the install directories","user":{"login":"delcypher","id":511795,"avatar_url":"https://avatars.githubusercontent.com/u/511795?v=3","gravatar_id":"","url":"https://api.github.com/users/delcypher","html_url":"https://github.com/delcypher","followers_url":"https://api.github.com/users/delcypher/followers","following_url":"https://api.github.com/users/delcypher/following{/other_user}","gists_url":"https://api.github.com/users/delcypher/gists{/gist_id}","starred_url":"https://api.github.com/users/delcypher/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/delcypher/subscriptions","organizations_url":"https://api.github.com/users/delcypher/orgs","repos_url":"https://api.github.com/users/delcypher/repos","events_url":"https://api.github.com/users/delcypher/events{/privacy}","received_events_url":"https://api.github.com/users/delcypher/received_events","type":"User","site_admin":false},"labels":[{"url":"https://api.github.com/repos/Z3Prover/z3/labels/cla-already-signed","name":"cla-already-signed","color":"009800"}],"state":"open","locked":false,"assignee":null,"milestone":null,"comments":3,"created_at":"2016-03-09T14:23:48Z","updated_at":"2016-03-09T14:57:28Z","closed_at":null,"pull_request":{"url":"https://api.github.com/repos/Z3Prover/z3/pulls/504","html_url":"https://github.com/Z3Prover/z3/pull/504","diff_url":"https://github.com/Z3Prover/z3/pull/504.diff","patch_url":"https://github.com/Z3Prover/z3/pull/504.patch"},"body":"[CMake] Provide a way to customise the install directories used for\r\nexecutables, include files and libraries. We use\r\n``GNUInstallDirs.cmake`` which ships with CMake to do the difficult work\r\nof setting a sensible default and setting up CMake cache variables.\r\nThese can be overriden when running CMake by setting the\r\n``CMAKE_INSTALL_BINDIR``, ``CMAKE_INSTALL_INCLUDEDIR`` and\r\n``CMAKE_INSTALL_LIBDIR`` cache variables.\r\n\r\n@jirislaby Could you please test this? For the use case you mentioned to me in #461 you can do ``cmake -DCMAKE_INSTALL_LIBDIR=lib64 /path/to/z3/root`` if you really need to force the library installation directory it but I think ``GNUInstallDirs.cmake`` should pick ``lib64`` by default.\r\n\r\n@wintersteiger Could you hold of merging this until @jirislaby reports everything is okay?"},"comment":{"url":"https://api.github.com/repos/Z3Prover/z3/issues/comments/194332993","html_url":"https://github.com/Z3Prover/z3/pull/504#issuecomment-194332993","issue_url":"https://api.github.com/repos/Z3Prover/z3/issues/504","id":194332993,"user":{"login":"jirislaby","id":530775,"avatar_url":"https://avatars.githubusercontent.com/u/530775?v=3","gravatar_id":"","url":"https://api.github.com/users/jirislaby","html_url":"https://github.com/jirislaby","followers_url":"https://api.github.com/users/jirislaby/followers","following_url":"https://api.github.com/users/jirislaby/following{/other_user}","gists_url":"https://api.github.com/users/jirislaby/gists{/gist_id}","starred_url":"https://api.github.com/users/jirislaby/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/jirislaby/subscriptions","organizations_url":"https://api.github.com/users/jirislaby/orgs","repos_url":"https://api.github.com/users/jirislaby/repos","events_url":"https://api.github.com/users/jirislaby/events{/privacy}","received_events_url":"https://api.github.com/users/jirislaby/received_events","type":"User","site_admin":false},"created_at":"2016-03-09T14:57:28Z","updated_at":"2016-03-09T14:57:28Z","body":"Yep, I always use a clean tree.\r\n\r\nBut I didn't actually _apply_ the patch in the proper tree. Now it works automatically, indeed:\r\n[   27s] -- CMAKE_INSTALL_LIBDIR: \"lib64\"\r\n[   27s] -- CMAKE_INSTALL_BINDIR: \"bin\"\r\n[   27s] -- CMAKE_INSTALL_INCLUDEDIR: \"include\"\r\n\r\nThanks."}}