{"action":"created","issue":{"url":"https://api.github.com/repos/paraVerifier/paraVerifier/issues/2","repository_url":"https://api.github.com/repos/paraVerifier/paraVerifier","labels_url":"https://api.github.com/repos/paraVerifier/paraVerifier/issues/2/labels{/name}","comments_url":"https://api.github.com/repos/paraVerifier/paraVerifier/issues/2/comments","events_url":"https://api.github.com/repos/paraVerifier/paraVerifier/issues/2/events","html_url":"https://github.com/paraVerifier/paraVerifier/issues/2","id":386098035,"node_id":"MDU6SXNzdWUzODYwOTgwMzU=","number":2,"title":"Compilation Error for example mutualEx","user":{"login":"weltoph","id":5738005,"node_id":"MDQ6VXNlcjU3MzgwMDU=","avatar_url":"https://avatars0.githubusercontent.com/u/5738005?v=4","gravatar_id":"","url":"https://api.github.com/users/weltoph","html_url":"https://github.com/weltoph","followers_url":"https://api.github.com/users/weltoph/followers","following_url":"https://api.github.com/users/weltoph/following{/other_user}","gists_url":"https://api.github.com/users/weltoph/gists{/gist_id}","starred_url":"https://api.github.com/users/weltoph/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/weltoph/subscriptions","organizations_url":"https://api.github.com/users/weltoph/orgs","repos_url":"https://api.github.com/users/weltoph/repos","events_url":"https://api.github.com/users/weltoph/events{/privacy}","received_events_url":"https://api.github.com/users/weltoph/received_events","type":"User","site_admin":false},"labels":[],"state":"closed","locked":false,"assignee":null,"assignees":[],"milestone":null,"comments":1,"created_at":"2018-11-30T09:09:07Z","updated_at":"2018-12-13T12:48:28Z","closed_at":"2018-12-13T12:48:28Z","author_association":"NONE","body":"Upon following the steps provided in the README I obtain the following error message after executing\r\n`corebuild mutualEx.byte -pkg re2 -I src`:\r\n```\r\n+ ocamlfind ocamldep -package re2 -package core -ppx 'ppx-jane -as-ppx' -modules src/paramecium.mli > src/paramecium.mli.depends\r\nFile \"src/paramecium.mli\", line 13, characters 0-4:\r\nError: Syntax error\r\nCommand exited with code 2.\r\nCompilation unsuccessful after building 4 targets (3 cached) in 00:00:00.\r\n```\r\nThe Syntax error refers to the `with` in (taken from `src/paramecium.mli`):\r\n```\r\n(** Constants *)\r\ntype const =\r\n  | Intc of int\r\n  | Strc of string\r\n  | Boolc of bool\r\nwith sexp\r\n```\r\nAm I doing something wrong or did I potentially miss a step somewhere?"},"comment":{"url":"https://api.github.com/repos/paraVerifier/paraVerifier/issues/comments/446956629","html_url":"https://github.com/paraVerifier/paraVerifier/issues/2#issuecomment-446956629","issue_url":"https://api.github.com/repos/paraVerifier/paraVerifier/issues/2","id":446956629,"node_id":"MDEyOklzc3VlQ29tbWVudDQ0Njk1NjYyOQ==","user":{"login":"weltoph","id":5738005,"node_id":"MDQ6VXNlcjU3MzgwMDU=","avatar_url":"https://avatars0.githubusercontent.com/u/5738005?v=4","gravatar_id":"","url":"https://api.github.com/users/weltoph","html_url":"https://github.com/weltoph","followers_url":"https://api.github.com/users/weltoph/followers","following_url":"https://api.github.com/users/weltoph/following{/other_user}","gists_url":"https://api.github.com/users/weltoph/gists{/gist_id}","starred_url":"https://api.github.com/users/weltoph/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/weltoph/subscriptions","organizations_url":"https://api.github.com/users/weltoph/orgs","repos_url":"https://api.github.com/users/weltoph/repos","events_url":"https://api.github.com/users/weltoph/events{/privacy}","received_events_url":"https://api.github.com/users/weltoph/received_events","type":"User","site_admin":false},"created_at":"2018-12-13T12:48:28Z","updated_at":"2018-12-13T12:48:28Z","author_association":"NONE","body":"Okay, I think I got a working setup now. For anyone else trying to re-create this, these are the steps I took:\r\nStarting from an Ubuntu 14.04.5 LTS, I installed OCaml (`The OCaml toplevel, version 4.01.0`). Then I built opam (`1.2.2`) from source and installed the packages in the README.md (note here that utop needs a more recent OCaml version and therefore needs to be pinned to something ...not so recent, for me this is utop1.19, this also changes installation order because cohttp requires a version of lwt which is not compatible with utop 1.19. Hence: first get utop and install cohttp afterwards!). Additionally, NuSMV needs to be in version 2.5.4 (the current version 2.6.0 does _not_ work). Additionally, the generated scripts for Isabelle cannot be interpreted with Isabelle2017 nor Isabelle2018. I used Isabelle2014 which seem to work. But now everything seems to work fine."}}
{"actor":{"display_login":"weltoph"}}