Skip to content

petsc: 3.8.4 -> 3.12.4, getdp: 3.0.4 -> 3.3.0 #76910

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
Merged
merged 2 commits into from
Mar 13, 2020
Merged

petsc: 3.8.4 -> 3.12.4, getdp: 3.0.4 -> 3.3.0 #76910

merged 2 commits into from
Mar 13, 2020
+26 −31

Conversation

wucke13
Copy link
Contributor

@wucke13 wucke13 commented Jan 4, 2020 •
edited
Loading

Motivation for this change
Things done
  • Tested using sandboxing (nix.useSandbox on NixOS, or option sandbox in nix.conf on non-NixOS linux)
  • Built on platform(s)
    • NixOS
    • macOS
    • other Linux distributions
  • Tested via one or more NixOS test(s) if existing and applicable for the change (look inside nixos/tests)
  • Tested compilation of all pkgs that depend on this change using nix-shell -p nixpkgs-review --run "nixpkgs-review wip"
  • Tested execution of all binary files (usually in ./result/bin/)
  • Determined the impact on package closure size (by running nix path-info -S before and after)
  • Ensured that relevant documentation is up to date
  • Fits CONTRIBUTING.md.
Notify maintainers

cc @

Sorry, something went wrong.

@wucke13
Copy link
Contributor Author

wucke13 commented Jan 4, 2020

@GrahamcOfBorg build getdp

@ofborg ofborg bot added 11.by: package-maintainer This PR was created by the maintainer of the package it changes 10.rebuild-darwin: 0 This PR does not cause any packages to rebuild on Darwin 10.rebuild-linux: 1-10 labels Jan 4, 2020
@wucke13
petsc: 3.8.4 -> 3.12.4

Verified

This commit was signed with the committer’s verified signature. The key has expired.
Ma27 Maximilian Bosch
GPG key ID: 091DBF4D1FC46B8E
Expired
Verified
Learn about vigilant mode
d97a98e 
+ add cxx flag to configure, because getdp needs it
@wucke13
getdp: 3.0.4 -> 3.3.0

Verified

This commit was signed with the committer’s verified signature. The key has expired.
Ma27 Maximilian Bosch
GPG key ID: 091DBF4D1FC46B8E
Expired
Verified
Learn about vigilant mode
8adc746
@wucke13 wucke13 changed the title [WIP] getdp: 3.0.4 -> 3.3.0 petsc: 3.8.4 -> 3.12.4, getdp: 3.0.4 -> 3.3.0 Feb 15, 2020
@wucke13
Copy link
Contributor Author

wucke13 commented Feb 15, 2020

@GrahamcOfBorg build petsc getdp

@ofborg ofborg bot added 10.rebuild-darwin: 1-10 and removed 10.rebuild-darwin: 0 This PR does not cause any packages to rebuild on Darwin labels Feb 15, 2020
@alyssais
Copy link
Member

aarch64 failure is unrelated

@alyssais alyssais merged commit c24b9a5 into NixOS:master Mar 13, 2020
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers
No reviews
Assignees
No one assigned
Labels
10.rebuild-darwin: 1-10 10.rebuild-linux: 1-10 11.by: package-maintainer This PR was created by the maintainer of the package it changes
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.

None yet
2 participants
@wucke13 @alyssais