Skip to content

Detect available packages from homebrew#4548

Closed
kit-ty-kate wants to merge 1 commit intoocaml:masterfrom
kit-ty-kate:depexts-available-brew
Closed

Detect available packages from homebrew#4548
kit-ty-kate wants to merge 1 commit intoocaml:masterfrom
kit-ty-kate:depexts-available-brew

Conversation

@kit-ty-kate
Copy link
Copy Markdown
Member

@kit-ty-kate kit-ty-kate commented Feb 12, 2021

Even if it makes less sense than on Debian or other distributions, having opam detect which packages are available in homebrew might be still useful:

  • users might have local brew remotes
  • this helps the solver decide to avoid certain packages (e.g. camlp4 which isn't available in homebrew anymore)
  • this leaves the door open to easily tell opam that some packages have been installed manually (using opam option depext-bypass / --assume-depexts / --no-depexts)

cc @patricoferris who got the issue with camlp4 on the upcoming macOS CI

@kit-ty-kate kit-ty-kate added this to the 2.1.1 milestone Feb 12, 2021
rjbou
rjbou approved these changes Feb 12, 2021
View reviewed changes
Copy link
Copy Markdown
Collaborator

@rjbou rjbou left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Thanks!

@patricoferris
Copy link
Copy Markdown

patricoferris commented Feb 15, 2021

Thanks @kit-ty-kate! Unfortunately it seems that the command brew formulae doesn't also list the set of aliases (or there's no way to make it include those). It uses this items script with these parameters. This is unfortunate because some alias names are used in opam files for example:

I was testing this in macOS CI and came across it whilst installing current_ocluster:

[ERROR] Package conflict!
  * Missing dependency:
    - current_ocluster → current >= 0.3 → sqlite3 → conf-sqlite3

But a brew search reveals:

$ brew search sqlite3
==> Formulae
sqlite3 ✔

The problem with brew search is that it takes quite a while (I think it hits the Homebrew API for searching). The maintainers of Homebrew discussed aliases a long time ago. I can't seem to find any PRs that added any kind of support for this.

@kit-ty-kate kit-ty-kate mentioned this pull request Mar 3, 2021
Merged
@rjbou rjbou added the PR: WIP Not for merge at this stage label Mar 19, 2021
@kit-ty-kate kit-ty-kate mentioned this pull request Jul 21, 2021
Open
@kit-ty-kate
Copy link
Copy Markdown
Member Author

kit-ty-kate commented Aug 13, 2021

#4801 also shows us that this PR in its current state does not handle casks

@dra27 dra27 modified the milestones: 2.1.1, 2.1.2 Sep 17, 2021
@dra27 dra27 modified the milestones: 2.1.2, 2.1.3 Nov 19, 2021
@rjbou rjbou modified the milestones: 2.1.3, 2.1.4 Aug 12, 2022
@kit-ty-kate kit-ty-kate mentioned this pull request Dec 1, 2022
Open
@rjbou rjbou modified the milestones: 2.1.4, 2.1.5 Jan 6, 2023
@rjbou rjbou force-pushed the depexts-available-brew branch from b69d63c to 45a614e Compare June 15, 2023 15:16
@rjbou rjbou removed this from the 2.1.5 milestone Jul 4, 2023
@kit-ty-kate kit-ty-kate marked this pull request as draft July 10, 2024 15:15
@kit-ty-kate kit-ty-kate mentioned this pull request Apr 5, 2025
Closed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

@rjbou rjbou rjbou approved these changes

Assignees

No one assigned

Labels

PR: WIP Not for merge at this stage

Projects

None yet

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

4 participants

@kit-ty-kate @patricoferris @rjbou @dra27