{"action":"closed","issue":{"url":"https://api.github.com/repos/BinaryAnalysisPlatform/bap/issues/718","repository_url":"https://api.github.com/repos/BinaryAnalysisPlatform/bap","labels_url":"https://api.github.com/repos/BinaryAnalysisPlatform/bap/issues/718/labels{/name}","comments_url":"https://api.github.com/repos/BinaryAnalysisPlatform/bap/issues/718/comments","events_url":"https://api.github.com/repos/BinaryAnalysisPlatform/bap/issues/718/events","html_url":"https://github.com/BinaryAnalysisPlatform/bap/issues/718","id":262427318,"number":718,"title":"cmdliner is underconstrained in the opam specification","user":{"login":"ivg","id":2336698,"avatar_url":"https://avatars0.githubusercontent.com/u/2336698?v=4","gravatar_id":"","url":"https://api.github.com/users/ivg","html_url":"https://github.com/ivg","followers_url":"https://api.github.com/users/ivg/followers","following_url":"https://api.github.com/users/ivg/following{/other_user}","gists_url":"https://api.github.com/users/ivg/gists{/gist_id}","starred_url":"https://api.github.com/users/ivg/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/ivg/subscriptions","organizations_url":"https://api.github.com/users/ivg/orgs","repos_url":"https://api.github.com/users/ivg/repos","events_url":"https://api.github.com/users/ivg/events{/privacy}","received_events_url":"https://api.github.com/users/ivg/received_events","type":"User","site_admin":false},"labels":[{"id":452160541,"url":"https://api.github.com/repos/BinaryAnalysisPlatform/bap/labels/opam","name":"opam","color":"bfd4f2","default":false}],"state":"closed","locked":false,"assignee":{"login":"gitoleg","id":10262570,"avatar_url":"https://avatars2.githubusercontent.com/u/10262570?v=4","gravatar_id":"","url":"https://api.github.com/users/gitoleg","html_url":"https://github.com/gitoleg","followers_url":"https://api.github.com/users/gitoleg/followers","following_url":"https://api.github.com/users/gitoleg/following{/other_user}","gists_url":"https://api.github.com/users/gitoleg/gists{/gist_id}","starred_url":"https://api.github.com/users/gitoleg/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/gitoleg/subscriptions","organizations_url":"https://api.github.com/users/gitoleg/orgs","repos_url":"https://api.github.com/users/gitoleg/repos","events_url":"https://api.github.com/users/gitoleg/events{/privacy}","received_events_url":"https://api.github.com/users/gitoleg/received_events","type":"User","site_admin":false},"assignees":[{"login":"gitoleg","id":10262570,"avatar_url":"https://avatars2.githubusercontent.com/u/10262570?v=4","gravatar_id":"","url":"https://api.github.com/users/gitoleg","html_url":"https://github.com/gitoleg","followers_url":"https://api.github.com/users/gitoleg/followers","following_url":"https://api.github.com/users/gitoleg/following{/other_user}","gists_url":"https://api.github.com/users/gitoleg/gists{/gist_id}","starred_url":"https://api.github.com/users/gitoleg/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/gitoleg/subscriptions","organizations_url":"https://api.github.com/users/gitoleg/orgs","repos_url":"https://api.github.com/users/gitoleg/repos","events_url":"https://api.github.com/users/gitoleg/events{/privacy}","received_events_url":"https://api.github.com/users/gitoleg/received_events","type":"User","site_admin":false}],"milestone":null,"comments":1,"created_at":"2017-10-03T13:27:59Z","updated_at":"2018-03-16T16:07:27Z","closed_at":"2018-03-16T16:07:26Z","author_association":"OWNER","body":"The specification is `{<= 1.2}` though it should be `{> 0.9.7 & < 2.0}` . We also need to fix a constraint in the CI's opam file (i.e., `opam/opam`), where the constraint is `{= \"0.9.8\"}`.\r\n\r\nThe error manifests itself as a compilation error during the `bap-std` package compilation\r\n```\r\nFile \"lib/bap/bap_self.ml\", line 198, characters 20-75:\r\nError: This expression has type 'a -> 'b -> unit -> unit\r\nbut an expression was expected of type ('c -> 'd) t\r\nCommand exited with code 2.\r\n```\r\n\r\n## Temporary workaround\r\n\r\nManually constraint cmdliner version:\r\n\r\nFor example, \r\n\r\n```\r\nopam install bap 'cmdliner>=0.9.8'\r\n```\r\n\r\nor \r\n\r\n```\r\nopam depext --install bap 'cmdliner>=0.9.8'\r\n```\r\n\r\n@gitoleg, would you mind to update master and testing branches of our repository, and also make sure that they are in sync with the upstream. Then I will make a PR to the upstream. It will, unfortunately, take at least a week until it will be merged. Probably, we should move in a direction of enforcing people to use our repository if possible. \r\n"}}
{"actor":{"display_login":"ivg"}}