Conflict messages
#5130
Replies: 12 comments 8 replies
-
returns |
Beta Was this translation helpful? Give feedback.
0 replies
-
returns |
Beta Was this translation helpful? Give feedback.
0 replies
-
|
Not sure if it's the exact same issue, but here's my output src$ opam --version
2.1.2
src$ ocaml --version
The OCaml toplevel, version 4.14.0
src$ opam install ppx_sexp --debug
00:00.019 CLI Parsing CLI version 2.1
00:00.019 GSTATE LOAD-GLOBAL-STATE @ /home/olle/.opam
00:00.020 RSTATE LOAD-REPOSITORY-STATE @ /home/olle/.opam
00:00.104 CACHE(repository) Loaded /home/olle/.opam/repo/state-11ABC690.cache in 0.084s
00:00.104 RSTATE Cache found
00:00.104 STATE LOAD-SWITCH-STATE @ default
00:00.104 CACHE(installed) Loaded /home/olle/.opam/default/.opam-switch/packages/cache in 0.000s
00:00.310 STATE Switch state loaded in 0.206s
00:00.310 FILE(switch-state) Wrote /home/olle/.opam/default/.opam-switch/backup/state-20220816191618.export in 0.000s
00:00.375 CLIENT INSTALL ppx_sexp
00:00.473 SYSTEM mkdir /tmp/opam-62911-f07db6
00:00.812 SYSTEM rmdir /tmp/opam-62911-f07db6
00:01.755 XSYS Adding to env { LC_ALL=C }
00:01.790 STATE depexts loaded in 1.317s
00:01.831 STATE ERR: undefined filter variable in dependencies of catala.0.7.0: catalaz3mode
00:01.831 STATE ERR: undefined filter variable in dependencies of catala.0.7.0: cataladevmode
00:01.831 STATE ERR: undefined filter variable in dependencies of catala.0.7.0: cataladevmode
00:01.831 STATE ERR: undefined filter variable in dependencies of catala.0.7.0: cataladevmode
00:01.831 STATE ERR: undefined filter variable in dependencies of catala.0.7.0: cataladevmode
00:01.980 STATE Detected changed packages (marked for reinstall): {}
00:01.981 CLIENT Base orphans: {}
00:01.990 CLIENT Orphans: (changes: { ppx_sexp.0.3.0 }, transitive: false) -> full {}, versions {}
00:02.033 STATE ERR: undefined filter variable in dependencies of catala.0.7.0: catalaz3mode
00:02.033 STATE ERR: undefined filter variable in dependencies of catala.0.7.0: cataladevmode
00:02.033 STATE ERR: undefined filter variable in dependencies of catala.0.7.0: cataladevmode
00:02.033 STATE ERR: undefined filter variable in dependencies of catala.0.7.0: cataladevmode
00:02.033 STATE ERR: undefined filter variable in dependencies of catala.0.7.0: cataladevmode
00:02.281 SOLVER resolve request=install:(ppx_sexp) remove:() upgrade:()
00:03.070 SOLVER Load cudf universe (depopts:false, build:true, post:true)
00:03.175 CUDF resolve request=install:(ppx%5fsexp) remove:() upgrade:()
00:04.478 CLIENT conflict!
[ERROR] Package conflict!
00:04.487 CUDF Conflict reporting
* No agreement on the version of ocaml:
- (invariant) -> ocaml >= 4.05.0
You can temporarily relax the switch invariant with `--update-invariant'
* No agreement on the version of ocaml:
- (invariant) -> ocaml >= 4.05.0
- ppx_sexp -> ocaml
* No agreement on the version of ocaml:
- ppx_sexp -> ocaml
No solution found, exiting |
Beta Was this translation helpful? Give feedback.
4 replies
-
|
It is a similar issue in the conflict reporting system so this is the right place to add it. and i was only able to get this output: which, while not really pretty to read (and still to be fixed) is correct compared to the output you got. Could you give us the list of your installed packages, your pinned packages and your general config ( |
Beta Was this translation helpful? Give feedback.
-
|
I "solved" my issue by not installing ppx_sexp, but rather ppx_sexp_conv, which is the new package for later OCaml versions. |
Beta Was this translation helpful? Give feedback.
-
|
Of course, but it would help us if you could send us the information so opam can give you some actual good information next time. |
Beta Was this translation helpful? Give feedback.
-
|
Sure src$ opam list && opam pin && opam config report
# Packages matching: installed
# Name # Installed # Synopsis
base v0.15.0 Full standard library replacement for OCaml
base-bigarray base
base-threads base
base-unix base
cppo 1.6.9 Code preprocessor like cpp for OCaml
csexp 1.5.1 Parsing and printing of S-expressions in Canonical form
dune 3.4.1 Fast, portable, and opinionated build system
dune-configurator 3.4.1 Helper library for gathering system configuration
jane-street-headers v0.15.0 Jane Street C header files
jst-config v0.15.1 Compile-time configuration for Jane Street libraries
menhir 20220210 An LR(1) parser generator
menhirLib 20220210 Runtime support library for parsers generated by Menhir
menhirSdk 20220210 Compile-time library for auxiliary tools related to Menhir
ocaml 4.14.0 The OCaml compiler (virtual package)
ocaml-compiler-libs v0.12.4 OCaml compiler libraries repackaged
ocaml-config 2 OCaml Switch Configuration
ocaml-system 4.14.0 The OCaml compiler (system version, from outside of opam)
ocamlfind 1.9.5 A library manager for OCaml
ppx_assert v0.15.0 Assert-like extension nodes that raise useful errors on failure
ppx_base v0.15.0 Base set of ppx rewriters
ppx_cold v0.15.0 Expands [@cold] into [@inline never][@specialise never][@local never]
ppx_compare v0.15.0 Generation of comparison functions from types
ppx_derivers 1.2.1 Shared [@@deriving] plugin registry
ppx_deriving 5.2.1 Type-driven code generation for OCaml
ppx_enumerate v0.15.0 Generate a list containing all values of a finite type
ppx_hash v0.15.0 A ppx rewriter that generates hash functions from type expressions and definitions
ppx_here v0.15.0 Expands [%here] into its location
ppx_inline_test v0.15.0 Syntax extension for writing in-line tests in ocaml code
ppx_optcomp v0.15.0 Optional compilation for OCaml
ppx_sexp_conv v0.15.1 [@@deriving] plugin to generate S-expression conversion functions
ppxlib 0.27.0 Standard library for ppx rewriters
result 1.5 Compatibility Result module
sexplib0 v0.15.1 Library containing the definition of S-expressions and some base converters
stdio v0.15.0 Standard IO library for OCaml
stdlib-shims 0.3.0 Backport some of the new stdlib features to older compiler
time_now v0.15.0 Reports the current time
# opam config report
# opam-version 2.1.2
# self-upgrade no
# system arch=x86_64 os=linux os-distribution=manjaro os-version=21.3.6
# solver builtin-mccs+glpk
# install-criteria -removed,-count[avoid-version,changed],-count[version-lag,request],-count[version-lag,changed],-count[missing-depexts,changed],-changed
# upgrade-criteria -removed,-count[avoid-version,changed],-count[version-lag,solution],-count[missing-depexts,changed],-new
# jobs 15
# repositories 1 (http) (default repo at 1f822c5a)
# pinned 0
# current-switch default
# ocaml:native true
# ocaml:native-tools true
# ocaml:native-dynlink true
# ocaml:stubsdir /usr/lib/ocaml/stublibs:/usr/lib/ocaml
# ocaml:preinstalled true
# ocaml:compiler system
# ocaml-system:path /usr/bin |
Beta Was this translation helpful? Give feedback.
-
|
@psafont you added a comment to an earlier thread instead of the discussion. So reposting here and deleted the original reply: When trying to install the test dependencies for nbd (to prepare for the release 6.0.0) I get this: Kate digged up the reason and it seems to be: |
Beta Was this translation helpful? Give feedback.
3 replies
-
|
I was able to repreduce using the following Dockerfile: Funnily enough if we try with opam master instead of opam 2.1 we get an ever more confusing message: |
Beta Was this translation helpful? Give feedback.
-
|
@psafont oh! Actually i think i understand the issue. There are two different issues:
If I run
|
Beta Was this translation helpful? Give feedback.
-
|
ah, thanks for looking into this, looks like a nasty corner case |
Beta Was this translation helpful? Give feedback.
-
Noticed in #5427 |
Beta Was this translation helpful? Give feedback.
0 replies
-
|
In https://github.com/sabine/ocaml.org/tree/upgrade_to_5_0_0 |
Beta Was this translation helpful? Give feedback.
0 replies
-
|
Is there a way to know which (chain of) package(s) the dependency is coming from? full logs from CI |
Beta Was this translation helpful? Give feedback.
1 reply
-
|
I was able to reproduce with and In your case That said that doesn't remove the UI issue opam has, which is extremely hard to debug and fix with the extremely limited amount of people we have. Thanks a lot for the reproduction case though, this is really useful. |
Beta Was this translation helpful? Give feedback.
-
|
Initially posted by @fejsoya in #5669 A simple upgrade mdx (version 2.2.0, opam has 2.3.0 but not available with ocaml 5.1.0). The error message is 260 lines long... |
Beta Was this translation helpful? Give feedback.
0 replies
-
|
I did not request I guess this might be coming from the pinning of |
Beta Was this translation helpful? Give feedback.
0 replies
-
|
similar issue in https://discuss.ocaml.org/t/opam-local-library-install-missing-dependancy/13595 results in: |
Beta Was this translation helpful? Give feedback.
0 replies
-
|
Unhelpful message, doesn’t tell which ones of the dependencies of ppx_trace is at fault. full log: deps-of-ppx_trace.txt |
Beta Was this translation helpful? Give feedback.
0 replies
-
|
https://discuss.ocaml.org/t/unable-to-compile-pg-query-on-win32/13938 |
Beta Was this translation helpful? Give feedback.
0 replies
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
-
This discussion aggregates examples of and about conflict messages, initiated in #4373.
Beta Was this translation helpful? Give feedback.
All reactions