{"action":"created","issue":{"url":"https://api.github.com/repos/tamarin-prover/tamarin-prover/issues/284","repository_url":"https://api.github.com/repos/tamarin-prover/tamarin-prover","labels_url":"https://api.github.com/repos/tamarin-prover/tamarin-prover/issues/284/labels{/name}","comments_url":"https://api.github.com/repos/tamarin-prover/tamarin-prover/issues/284/comments","events_url":"https://api.github.com/repos/tamarin-prover/tamarin-prover/issues/284/events","html_url":"https://github.com/tamarin-prover/tamarin-prover/issues/284","id":351375938,"node_id":"MDU6SXNzdWUzNTEzNzU5Mzg=","number":284,"title":"SAPIC: /develop does not compile on Ubuntu 18.04","user":{"login":"cascremers","id":1481528,"node_id":"MDQ6VXNlcjE0ODE1Mjg=","avatar_url":"https://avatars2.githubusercontent.com/u/1481528?v=4","gravatar_id":"","url":"https://api.github.com/users/cascremers","html_url":"https://github.com/cascremers","followers_url":"https://api.github.com/users/cascremers/followers","following_url":"https://api.github.com/users/cascremers/following{/other_user}","gists_url":"https://api.github.com/users/cascremers/gists{/gist_id}","starred_url":"https://api.github.com/users/cascremers/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/cascremers/subscriptions","organizations_url":"https://api.github.com/users/cascremers/orgs","repos_url":"https://api.github.com/users/cascremers/repos","events_url":"https://api.github.com/users/cascremers/events{/privacy}","received_events_url":"https://api.github.com/users/cascremers/received_events","type":"User","site_admin":false},"labels":[{"id":703369119,"node_id":"MDU6TGFiZWw3MDMzNjkxMTk=","url":"https://api.github.com/repos/tamarin-prover/tamarin-prover/labels/SAPIC","name":"SAPIC","color":"1d76db","default":false}],"state":"open","locked":false,"assignee":null,"assignees":[],"milestone":null,"comments":4,"created_at":"2018-08-16T21:29:14Z","updated_at":"2018-08-21T16:06:27Z","closed_at":null,"author_association":"MEMBER","body":"If I tried to compile the current /develop f85cf11c11761a2db7ff7ba7ea5df12e725f4f7a then I get a SAPIC compilation error on Ubuntu 18.04.\r\n```\r\n$ ocaml --version\r\nThe OCaml toplevel, version 4.05.0\r\n```\r\nAnd part of the output of `make` is:\r\n\r\n```\r\nmake[2]: Entering directory '/home/cas/src/tamarin-prover/plugins/sapic'\r\nocamlc -g -c exceptions.ml\r\nocamlc -g -c btree.ml\r\nocamlc -g -c position.ml\r\nocamlc -g -c positionplusinit.ml\r\nocamlc -g -c var.ml\r\nFile \"positionplusinit.ml\", line 2, characters 5-13:\r\nError: Unbound module Position\r\nocamlc -g -c term.ml\r\nMakefile:57: recipe for target 'positionplusinit.cmo' failed\r\n```\r\nCan someone have a look at this, e.g. @rkunnema ?\r\n\r\nNote: I'm also not 100% sure that the CI build checks capture the SAPIC errors. @katrielalex ?"},"comment":{"url":"https://api.github.com/repos/tamarin-prover/tamarin-prover/issues/comments/414729227","html_url":"https://github.com/tamarin-prover/tamarin-prover/issues/284#issuecomment-414729227","issue_url":"https://api.github.com/repos/tamarin-prover/tamarin-prover/issues/284","id":414729227,"node_id":"MDEyOklzc3VlQ29tbWVudDQxNDcyOTIyNw==","user":{"login":"cascremers","id":1481528,"node_id":"MDQ6VXNlcjE0ODE1Mjg=","avatar_url":"https://avatars2.githubusercontent.com/u/1481528?v=4","gravatar_id":"","url":"https://api.github.com/users/cascremers","html_url":"https://github.com/cascremers","followers_url":"https://api.github.com/users/cascremers/followers","following_url":"https://api.github.com/users/cascremers/following{/other_user}","gists_url":"https://api.github.com/users/cascremers/gists{/gist_id}","starred_url":"https://api.github.com/users/cascremers/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/cascremers/subscriptions","organizations_url":"https://api.github.com/users/cascremers/orgs","repos_url":"https://api.github.com/users/cascremers/repos","events_url":"https://api.github.com/users/cascremers/events{/privacy}","received_events_url":"https://api.github.com/users/cascremers/received_events","type":"User","site_admin":false},"created_at":"2018-08-21T16:06:27Z","updated_at":"2018-08-21T16:06:27Z","author_association":"MEMBER","body":"Will do, but currently on the road!\n\n\nOn Tue, Aug 21, 2018 at 7:14 AM Ralf Sasse <notifications@github.com> wrote:\n\n> @cascremers <https://github.com/cascremers> could you please check if the\n> issue persists on your end?\n>\n> —\n> You are receiving this because you were mentioned.\n> Reply to this email directly, view it on GitHub\n> <https://github.com/tamarin-prover/tamarin-prover/issues/284#issuecomment-414689194>,\n> or mute the thread\n> <https://github.com/notifications/unsubscribe-auth/ABabOBCy46RbFswX1N5VqlQABBRqDfnQks5uTBXZgaJpZM4WAnT8>\n> .\n>\n"}}
{"actor":{"display_login":"cascremers"}}