Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

depext dependency looks obsoleted #287

Closed
yasuo-ozu opened this issue Jul 29, 2021 · 1 comment · Fixed by #289
Closed

depext dependency looks obsoleted #287

yasuo-ozu opened this issue Jul 29, 2021 · 1 comment · Fixed by #289

Comments

@yasuo-ozu
Copy link
Contributor

depext package is frozen and it cannot be installed with latest opam (opam=2.1.0).

The features of depext are integrated in opam itself.

ocaml/opam#3790
@yuhr
Copy link

yuhr commented Aug 16, 2021

Due to this incompatibility it seems we cannot install SATySFi for now.

❯ opam depext satysfi satysfi-dist satyrographos
opam: unknown command `depext'.
Usage: opam COMMAND ...
Try `opam --help' for more information.

❯ opam install satysfi satysfi-dist satyrographos


<><> Synchronising pinned packages ><><><><><><><><><><><><><><><><><><><><>  🐫 
[satyrographos.0.0.2.10] synchronised (no changes)

[NOTE] Package satyrographos is already installed (current version is 0.0.2.10).
[ERROR] Package conflict!
  * Missing dependency:
    - depext
    unmet availability conditions, e.g. 'opam-version >= "2.0.0~beta5" &
      opam-version < "2.1"'

No solution found, exiting

@nekketsuuu nekketsuuu mentioned this issue Aug 21, 2021
Merged
@na4zagin3 na4zagin3 mentioned this issue Sep 5, 2021
Merged
na4zagin3 added a commit to na4zagin3/SATySFi that referenced this issue Sep 5, 2021
@na4zagin3
Remove unneeded dependency on depext
07e6132 
SATySFi declares dependency on depext while it in fact does not; it should be removed.
Furthermore, this unneeded dependency declaration caused issue gfngfn#287
@na4zagin3 na4zagin3 mentioned this issue Sep 5, 2021
Merged
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging a pull request may close this issue.

Fix CI with removing unneeded dependency on depext and updating setup-ocaml action na4zagin3/SATySFi
2 participants
@yasuo-ozu @yuhr