{"action":"created","issue":{"url":"https://api.github.com/repos/nunchaku-inria/nunchaku/issues/26","repository_url":"https://api.github.com/repos/nunchaku-inria/nunchaku","labels_url":"https://api.github.com/repos/nunchaku-inria/nunchaku/issues/26/labels{/name}","comments_url":"https://api.github.com/repos/nunchaku-inria/nunchaku/issues/26/comments","events_url":"https://api.github.com/repos/nunchaku-inria/nunchaku/issues/26/events","html_url":"https://github.com/nunchaku-inria/nunchaku/issues/26","id":369738983,"node_id":"MDU6SXNzdWUzNjk3Mzg5ODM=","number":26,"title":"opam installation failed for OCaml 4.03.0","user":{"login":"samuelgruetter","id":2394355,"node_id":"MDQ6VXNlcjIzOTQzNTU=","avatar_url":"https://avatars2.githubusercontent.com/u/2394355?v=4","gravatar_id":"","url":"https://api.github.com/users/samuelgruetter","html_url":"https://github.com/samuelgruetter","followers_url":"https://api.github.com/users/samuelgruetter/followers","following_url":"https://api.github.com/users/samuelgruetter/following{/other_user}","gists_url":"https://api.github.com/users/samuelgruetter/gists{/gist_id}","starred_url":"https://api.github.com/users/samuelgruetter/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/samuelgruetter/subscriptions","organizations_url":"https://api.github.com/users/samuelgruetter/orgs","repos_url":"https://api.github.com/users/samuelgruetter/repos","events_url":"https://api.github.com/users/samuelgruetter/events{/privacy}","received_events_url":"https://api.github.com/users/samuelgruetter/received_events","type":"User","site_admin":false},"labels":[],"state":"open","locked":false,"assignee":null,"assignees":[],"milestone":null,"comments":1,"created_at":"2018-10-12T23:13:31Z","updated_at":"2018-10-13T00:19:33Z","closed_at":null,"author_association":"NONE","body":"On an opam switch with OCaml 4.03.0, I ran\r\n\r\n```\r\nopam pin add -k git nunchaku https://github.com/nunchaku-inria/nunchaku.git#master\r\n```\r\n\r\nbut I got the following error:\r\n\r\n```\r\nnunchaku is now git-pinned to https://github.com/nunchaku-inria/nunchaku.git#master\r\n\r\n[nunchaku] https://github.com/nunchaku-inria/nunchaku.git#master updated\r\n\r\nnunchaku needs to be installed.\r\nThe following actions will be performed:\r\n  - install jbuilder   1.0+beta20                       [required by nunchaku]\r\n  - install ocamlbuild 0.12.0                           [required by menhir, sequence]\r\n  - install result     1.3                              [required by containers]\r\n  - install uchar      0.0.2                            [required by containers]\r\n  - install sequence   0.5.4                            [required by nunchaku]\r\n  - install menhir     20180905                         [required by nunchaku]\r\n  - install containers 2.3                              [required by nunchaku]\r\n  - install nunchaku   0.5.1*    \r\n===== 8 to install =====\r\nDo you want to continue ? [Y/n] y\r\n\r\n=-=- Gathering sources =-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=\r\n[default] https://opam.ocaml.org/1.2.2/archives/containers.2.3+opam.tar.gz downloaded\r\n[default] https://opam.ocaml.org/1.2.2/archives/jbuilder.1.0+beta20+opam.tar.gz downloaded\r\n[ocamlbuild] Archive in cache\r\n[nunchaku] https://github.com/nunchaku-inria/nunchaku.git#master already up-to-date\r\n[default] https://opam.ocaml.org/1.2.2/archives/menhir.20180905+opam.tar.gz downloaded\r\n[default] https://opam.ocaml.org/1.2.2/archives/result.1.3+opam.tar.gz downloaded\r\n[default] https://opam.ocaml.org/1.2.2/archives/sequence.0.5.4+opam.tar.gz downloaded\r\n[default] https://opam.ocaml.org/1.2.2/archives/uchar.0.0.2+opam.tar.gz downloaded\r\n\r\n=-=- Processing actions -=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=\r\n-> installed ocamlbuild.0.12.0\r\n-> installed uchar.0.0.2\r\n-> installed jbuilder.1.0+beta20\r\n-> installed result.1.3\r\n-> installed sequence.0.5.4\r\n-> installed containers.2.3\r\n-> installed menhir.20180905\r\n[ERROR] The compilation of nunchaku failed at \"jbuilder build -p nunchaku -j 4\".\r\n\r\n#=== ERROR while installing nunchaku.0.5.1 ====================================#\r\n# opam-version 1.2.2\r\n# os           linux\r\n# command      jbuilder build -p nunchaku -j 4\r\n# path         /home/sam/.opam/smtcoq_cvc4/build/nunchaku.0.5.1\r\n# compiler     4.03.0\r\n# exit-code    1\r\n# env-file     /home/sam/.opam/smtcoq_cvc4/build/nunchaku.0.5.1/nunchaku-25480-722625.env\r\n# stdout-file  /home/sam/.opam/smtcoq_cvc4/build/nunchaku.0.5.1/nunchaku-25480-722625.out\r\n# stderr-file  /home/sam/.opam/smtcoq_cvc4/build/nunchaku.0.5.1/nunchaku-25480-722625.err\r\n### stderr ###\r\n# Warning: the token SECTION is unused.\r\n# [...]\r\n# (cd _build/default && /home/sam/.opam/smtcoq_cvc4/bin/ocamlc.opt -w -40 -w +a-4-42-44-48-50-58-32-60-29@8 -color always -g -bin-annot -I src/core/.nunchaku_core.objs -I /home/sam/.opam/smtcoq_cvc4/lib/bytes -I /home/sam/.opam/smtcoq_cvc4/lib/containers -I /home/sam/.opam/smtcoq_cvc4/lib/containers/data -I /home/sam/.opam/smtcoq_cvc4/lib/containers/monomorphic -I /home/sam/.opam/smtcoq_cvc4/lib/num -I /home/sam/.opam/smtcoq_cvc4/lib/ocaml/threads -I /home/sam/.opam/smtcoq_cvc4/lib/result -I /home/sam/.opam/smtcoq_cvc4/lib/sequence -I /home/sam/.opam/smtcoq_cvc4/lib/uchar -no-alias-deps -open Nunchaku_core -o src/core/.nunchaku_core.objs/nunchaku_core__FO.cmo -c -impl src/core/FO.ml)\r\n# File \"src/core/FO.ml\", line 318, characters 7-26:\r\n# Error: Unbound value Sequence.flat_map_l\r\n# Hint: Did you mean flat_map?\r\n#     ocamlopt src/core/.nunchaku_core.objs/nunchaku_core__FO.{cmx,o} (exit 2)\r\n# (cd _build/default && /home/sam/.opam/smtcoq_cvc4/bin/ocamlopt.opt -w -40 -w +a-4-42-44-48-50-58-32-60-29@8 -color always -g -bin-annot -O2 -I src/core/.nunchaku_core.objs -I /home/sam/.opam/smtcoq_cvc4/lib/bytes -I /home/sam/.opam/smtcoq_cvc4/lib/containers -I /home/sam/.opam/smtcoq_cvc4/lib/containers/data -I /home/sam/.opam/smtcoq_cvc4/lib/containers/monomorphic -I /home/sam/.opam/smtcoq_cvc4/lib/num -I /home/sam/.opam/smtcoq_cvc4/lib/ocaml/threads -I /home/sam/.opam/smtcoq_cvc4/lib/result -I /home/sam/.opam/smtcoq_cvc4/lib/sequence -I /home/sam/.opam/smtcoq_cvc4/lib/uchar -no-alias-deps -open Nunchaku_core -o src/core/.nunchaku_core.objs/nunchaku_core__FO.cmx -c -impl src/core/FO.ml)\r\n# File \"src/core/FO.ml\", line 318, characters 7-26:\r\n# Error: Unbound value Sequence.flat_map_l\r\n# Hint: Did you mean flat_map?\r\n\r\n\r\n\r\n=-=- Error report -=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=\r\nThe following actions failed\r\n  - install nunchaku 0.5.1\r\nThe following changes have been performed\r\n  - install containers 2.3       \r\n  - install jbuilder   1.0+beta20\r\n  - install menhir     20180905  \r\n  - install ocamlbuild 0.12.0    \r\n  - install result     1.3       \r\n  - install sequence   0.5.4     \r\n  - install uchar      0.0.2     \r\n\r\n=-=- containers.2.3 installed successfully =-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=\r\n=> Containers 2.3 is a small release with a few more functions in existing modules,\r\n   some bugfixes, and many performance improvements.\r\n\r\n   Changelog: https://github.com/c-cube/ocaml-containers/blob/2.3/CHANGELOG.adoc\r\n[NOTE] Pinning command successful, but your installed packages may be out of sync.\r\n\r\nThe former state can be restored with:\r\n    opam switch import \"~/.opam/smtcoq_cvc4/backup/state-20180912230059.export\"\r\n```\r\n\r\nThis is surprising because according to [this travis build](https://travis-ci.org/nunchaku-inria/nunchaku/jobs/417026644), OCaml 4.03.0 should be supported.\r\n\r\nAny advice on how to get this to build?"},"comment":{"url":"https://api.github.com/repos/nunchaku-inria/nunchaku/issues/comments/429494894","html_url":"https://github.com/nunchaku-inria/nunchaku/issues/26#issuecomment-429494894","issue_url":"https://api.github.com/repos/nunchaku-inria/nunchaku/issues/26","id":429494894,"node_id":"MDEyOklzc3VlQ29tbWVudDQyOTQ5NDg5NA==","user":{"login":"c-cube","id":1274291,"node_id":"MDQ6VXNlcjEyNzQyOTE=","avatar_url":"https://avatars0.githubusercontent.com/u/1274291?v=4","gravatar_id":"","url":"https://api.github.com/users/c-cube","html_url":"https://github.com/c-cube","followers_url":"https://api.github.com/users/c-cube/followers","following_url":"https://api.github.com/users/c-cube/following{/other_user}","gists_url":"https://api.github.com/users/c-cube/gists{/gist_id}","starred_url":"https://api.github.com/users/c-cube/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/c-cube/subscriptions","organizations_url":"https://api.github.com/users/c-cube/orgs","repos_url":"https://api.github.com/users/c-cube/repos","events_url":"https://api.github.com/users/c-cube/events{/privacy}","received_events_url":"https://api.github.com/users/c-cube/received_events","type":"User","site_admin":false},"created_at":"2018-10-13T00:19:33Z","updated_at":"2018-10-13T00:19:33Z","author_association":"MEMBER","body":"Unrelated, but you may want to migrate to opam 2. opam 1's repository is now frozen and new packages won't show on it.\r\n\r\nI plan to update nunchaku's opam file to the 2.0 format soon."}}
{"actor":{"display_login":"c-cube"}}