{"action":"created","issue":{"url":"https://api.github.com/repos/NixOS/nixpkgs/issues/46956","repository_url":"https://api.github.com/repos/NixOS/nixpkgs","labels_url":"https://api.github.com/repos/NixOS/nixpkgs/issues/46956/labels{/name}","comments_url":"https://api.github.com/repos/NixOS/nixpkgs/issues/46956/comments","events_url":"https://api.github.com/repos/NixOS/nixpkgs/issues/46956/events","html_url":"https://github.com/NixOS/nixpkgs/pull/46956","id":362129653,"node_id":"MDExOlB1bGxSZXF1ZXN0MjE2OTI2NTM1","number":46956,"title":"haskellPackages.sbv: fix location of z3 executable","user":{"login":"Taneb","id":1901799,"node_id":"MDQ6VXNlcjE5MDE3OTk=","avatar_url":"https://avatars0.githubusercontent.com/u/1901799?v=4","gravatar_id":"","url":"https://api.github.com/users/Taneb","html_url":"https://github.com/Taneb","followers_url":"https://api.github.com/users/Taneb/followers","following_url":"https://api.github.com/users/Taneb/following{/other_user}","gists_url":"https://api.github.com/users/Taneb/gists{/gist_id}","starred_url":"https://api.github.com/users/Taneb/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/Taneb/subscriptions","organizations_url":"https://api.github.com/users/Taneb/orgs","repos_url":"https://api.github.com/users/Taneb/repos","events_url":"https://api.github.com/users/Taneb/events{/privacy}","received_events_url":"https://api.github.com/users/Taneb/received_events","type":"User","site_admin":false},"labels":[{"id":99513706,"node_id":"MDU6TGFiZWw5OTUxMzcwNg==","url":"https://api.github.com/repos/NixOS/nixpkgs/labels/6.topic:%20haskell","name":"6.topic: haskell","color":"fef2c0","default":false}],"state":"open","locked":false,"assignee":null,"assignees":[],"milestone":null,"comments":0,"created_at":"2018-09-20T10:47:54Z","updated_at":"2018-09-20T10:55:05Z","closed_at":null,"author_association":"CONTRIBUTOR","pull_request":{"url":"https://api.github.com/repos/NixOS/nixpkgs/pulls/46956","html_url":"https://github.com/NixOS/nixpkgs/pull/46956","diff_url":"https://github.com/NixOS/nixpkgs/pull/46956.diff","patch_url":"https://github.com/NixOS/nixpkgs/pull/46956.patch"},"body":"###### Motivation for this change\r\nA lot of the functionality of the z3 library depends on it being able to\r\nfind the z3 executable on $PATH. Hard-coding it here means it will never\r\nbe unable to find it and z3 doesn't need to pollute $PATH.\r\n\r\n###### Things done\r\n\r\n<!-- Please check what applies. Note that these are not hard requirements but merely serve as information for reviewers. -->\r\n\r\n- [X] Tested using sandboxing ([nix.useSandbox](http://nixos.org/nixos/manual/options.html#opt-nix.useSandbox) on NixOS, or option `sandbox` in [`nix.conf`](http://nixos.org/nix/manual/#sec-conf-file) on non-NixOS)\r\n- Built on platform(s)\r\n   - [ ] NixOS\r\n   - [ ] macOS\r\n   - [X] other Linux distributions\r\n- [ ] Tested via one or more NixOS test(s) if existing and applicable for the change (look inside [nixos/tests](https://github.com/NixOS/nixpkgs/blob/master/nixos/tests))\r\n- [ ] Tested compilation of all pkgs that depend on this change using `nix-shell -p nox --run \"nox-review wip\"`\r\n- [ ] Tested execution of all binary files (usually in `./result/bin/`)\r\n- [ ] Determined the impact on package closure size (by running `nix path-info -S` before and after)\r\n- [X] Fits [CONTRIBUTING.md](https://github.com/NixOS/nixpkgs/blob/master/.github/CONTRIBUTING.md).\r\n\r\n---\r\n\r\n"},"comment":{"url":"https://api.github.com/repos/NixOS/nixpkgs/issues/comments/423139382","html_url":"https://github.com/NixOS/nixpkgs/pull/46956#issuecomment-423139382","issue_url":"https://api.github.com/repos/NixOS/nixpkgs/issues/46956","id":423139382,"node_id":"MDEyOklzc3VlQ29tbWVudDQyMzEzOTM4Mg==","user":{"login":"basvandijk","id":576355,"node_id":"MDQ6VXNlcjU3NjM1NQ==","avatar_url":"https://avatars3.githubusercontent.com/u/576355?v=4","gravatar_id":"","url":"https://api.github.com/users/basvandijk","html_url":"https://github.com/basvandijk","followers_url":"https://api.github.com/users/basvandijk/followers","following_url":"https://api.github.com/users/basvandijk/following{/other_user}","gists_url":"https://api.github.com/users/basvandijk/gists{/gist_id}","starred_url":"https://api.github.com/users/basvandijk/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/basvandijk/subscriptions","organizations_url":"https://api.github.com/users/basvandijk/orgs","repos_url":"https://api.github.com/users/basvandijk/repos","events_url":"https://api.github.com/users/basvandijk/events{/privacy}","received_events_url":"https://api.github.com/users/basvandijk/received_events","type":"User","site_admin":false},"created_at":"2018-09-20T10:55:05Z","updated_at":"2018-09-20T10:55:05Z","author_association":"MEMBER","body":"@GrahamcOfBorg build haskellPackages.sbv"}}
{"actor":{"display_login":"basvandijk"}}