Skip to content

Instantly share code, notes, and snippets.

@Kakadu
Created February 19, 2021 18:33
Show Gist options
  • Star 0 You must be signed in to star a gist
  • Fork 0 You must be signed in to fork a gist
  • Save Kakadu/634a5ca83159314f3e41d1751ac95154 to your computer and use it in GitHub Desktop.
Save Kakadu/634a5ca83159314f3e41d1751ac95154 to your computer and use it in GitHub Desktop.
➜ gt-dune git:(master) ✗ opam pin
aez.0.3 rsync file:///media/oldhome/kakadu/prog/asp/aez-0.3
bitvector-mk.0.1.0 (uninstalled) git git+file:///media/oldhome/kakadu/prog/asp/bitvector-mk#master
github-workflow.~dev git git+https://github.com/patricoferris/opam-github-workflow.git
GT.0.4.2 git git+file:///media/oldhome/kakadu/prog/asp/gt-dune#master
lablqml.0.6.2 (uninstalled) git git+file:///media/oldhome/kakadu/prog/ocaml/lablqml#master
noCanren.0.2.0 git git+file:///media/oldhome/kakadu/prog/asp/noCanren#4.10
ocaml-version.dev git git+https://github.com/ocurrent/ocaml-version
opam-github-workflow.~dev (uninstalled) git git+https://github.com/patricoferris/opam-github-workflow.git
pa_ppx.0.07 (uninstalled) git git+https://github.com/camlp5/pa_ppx.git
pa_ppx_ag.0.07 (uninstalled) git git+https://github.com/camlp5/pa_ppx_ag.git
pa_ppx_hashcons.0.07 (uninstalled) git git+https://github.com/camlp5/pa_ppx_hashcons.git
pa_ppx_migrate.0.07 (uninstalled) git git+https://github.com/camlp5/pa_ppx_migrate.git
pa_ppx_q_ast.0.07 (uninstalled) git git+https://github.com/camlp5/pa_ppx_q_ast.git
pa_ppx_unique.0.07 (uninstalled) git git+https://github.com/camlp5/pa_ppx_unique.git
ppx_deriving.5.1 git git+https://github.com/ocaml-ppx/ppx_deriving.git
ppx_sexp_conv.v0.14.0 git git+https://github.com/janestreet/ppx_sexp_conv.git#v0.14.3
➜ gt-dune git:(master) ✗ opam github-workflow test
Opam plugin "github-workflow" is not installed. Install it on the current switch? [Y/n] Y
<><> Synchronising pinned packages ><><><><><><><><><><><><><><><><><><><><><><>
[opam-github-workflow.~dev] no changes from git+https://github.com/patricoferris/opam-github-workflow.git
The following actions will be performed:
∗ install opam-github-workflow ~dev*
[opam-github-workflow.~dev] synchronised from git+https://github.com/patricoferris/opam-github-workflow.git
<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
[ERROR] The compilation of opam-github-workflow failed at "/home/kakadu/.opam/opam-init/hooks/sandbox.sh build dune build -p opam-github-workflow -j 3 @install".
#=== ERROR while compiling opam-github-workflow.~dev ==========================#
# context 2.0.7 | linux/x86_64 | ocaml-variants.4.10.1+fp+flambda | pinned(git+https://github.com/patricoferris/opam-github-workflow.git#6fe36af3)
# path ~/.opam/4.10.1+fp+flambda/.opam-switch/build/opam-github-workflow.~dev
# command ~/.opam/opam-init/hooks/sandbox.sh build dune build -p opam-github-workflow -j 3 @install
# exit-code 1
# env-file /tmp/opam-kakadu-89366/opam-github-workflow-89366-ebe0e0.env
# output-file /tmp/opam-kakadu-89366/opam-github-workflow-89366-ebe0e0.out
### output ###
# [...]
# (cd _build/default && /home/kakadu/.opam/4.10.1+fp+flambda/bin/ocamlopt.opt -w -40 -g -I bin/.main.eobjs/byte -I bin/.main.eobjs/native -I /home/kakadu/.opam/4.10.1+fp+flambda/lib/astring -I /home/kakadu/.opam/4.10.1+fp+flambda/lib/base/caml -I /home/kakadu/.opam/4.10.1+fp+flambda/lib/bigarray-compat -I /home/kakadu/.opam/4.10.1+fp+flambda/lib/biniou -I /home/kakadu/.opam/4.10.1+fp+flambda/li[...]
# File "bin/opam.ml", line 13, characters 5-23:
# 13 | |> remove_and_read []
# ^^^^^^^^^^^^^^^^^^
# Error: This expression has type
# ('a option * OpamFile.OPAM.t OpamFile.typed_file * 'b) list ->
# ('a * OpamFile.OPAM.t) list
# but an expression was expected of type
# (OpamTypes.name option * OpamFile.OPAM.t OpamFile.t) list -> 'c
# Type 'a option * OpamFile.OPAM.t OpamFile.typed_file * 'b
# is not compatible with type
# OpamTypes.name option * OpamFile.OPAM.t OpamFile.t
<><> Error report <><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><>
┌─ The following actions failed
│ λ build opam-github-workflow ~dev
└─
╶─ No changes have been performed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment