Skip to content

Update sources#621

Merged
anmonteiro merged 6 commits into
masterfrom
auto-update-sources-4036564189
Jan 30, 2023
Merged

Update sources#621
anmonteiro merged 6 commits into
masterfrom
auto-update-sources-4036564189

Conversation

@anmonteiro
Copy link
Copy Markdown
Collaborator

:robot_face: Updating sources to the latest version.

Commits touching OCaml packages:

just like pythonCatchConflictHook

ocamlPackages.findlib: detect conflicts of version early

ocamlPackages.javalib: 3.2.1 → 3.2.2; sawja: 1.5.11 → 1.5.12

ocamlPackages.mdx: 2.1.0 → 2.2.1

hledger-utils: init at 1.12.1 (also init so far unpackaged dependencies)

hledger-utils: init at 1.12.1 (also init so far unpackaged dependencies)

hledger-utils: init at 1.12.1 (also init so far unpackaged dependencies)

hledger-utils: init at 1.12.1 (also init so far unpackaged dependencies)

hledger-utils: init at 1.12.1 (also init so far unpackaged dependencies)

Diff URL: NixOS/nixpkgs@3875a3e...4c4b377

@ulrikstrid
Copy link
Copy Markdown
Collaborator

I will try to upstream the last patch, I think those libraries are the ones that are OK to be in both right?

Comment thread cross/ocaml.nix
}
detectOcamlConflicts () {
local conflict
conflict="$(ocamlfind list |& grep "has multiple definitions" | grep -vE "bigarray|unix|str|stdlib|compiler-libs|threads|bytes|dynlink|findlib" || true)"
Copy link
Copy Markdown
Collaborator

Choose a reason for hiding this comment

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

This is the changed line compared to upstream.

And this is the PR to upstream it:
NixOS/nixpkgs#213577

Copy link
Copy Markdown
Collaborator Author

@anmonteiro anmonteiro Jan 30, 2023

Choose a reason for hiding this comment

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

|| true seems to always make it pass, no?

Copy link
Copy Markdown
Collaborator

Choose a reason for hiding this comment

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

This is taken from upstream so I assume it's correct 😂

@anmonteiro
Copy link
Copy Markdown
Collaborator Author

OK let's land this until upstream makes up their mind.

@anmonteiro anmonteiro merged commit f5ba7e4 into master Jan 30, 2023
@anmonteiro anmonteiro deleted the auto-update-sources-4036564189 branch January 30, 2023 20:52
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants