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

yices: 2.5.4 -> 2.6.0 #43314

Merged
merged 1 commit into from Jul 11, 2018
Merged

yices: 2.5.4 -> 2.6.0 #43314

merged 1 commit into from Jul 11, 2018

Conversation

r-ryantm
Copy link
Contributor

@r-ryantm r-ryantm commented Jul 11, 2018 •
edited

Semi-automatic update generated by https://github.com/ryantm/nixpkgs-update tools. This update was made based on information from https://repology.org/metapackage/yices/versions.

meta.description for yices is: '"A high-performance theorem prover and SMT solver"'.

Release on GitHub

Checks done (click to expand)
  • built on NixOS
  • /nix/store/a5fkr1issxfnzb96ixv2rv7h4s25zhkd-yices-2.6.0/bin/yices passed the binary check.
  • /nix/store/a5fkr1issxfnzb96ixv2rv7h4s25zhkd-yices-2.6.0/bin/yices-sat passed the binary check.
  • /nix/store/a5fkr1issxfnzb96ixv2rv7h4s25zhkd-yices-2.6.0/bin/yices-smt passed the binary check.
  • /nix/store/a5fkr1issxfnzb96ixv2rv7h4s25zhkd-yices-2.6.0/bin/yices-smt2 passed the binary check.
  • 4 of 4 passed binary check by having a zero exit code.
  • 0 of 4 passed binary check by having the new version present in output.
  • found 2.6.0 with grep in /nix/store/a5fkr1issxfnzb96ixv2rv7h4s25zhkd-yices-2.6.0
  • directory tree listing: https://gist.github.com/88878fde2816a08871dc0d605cb97881
  • du listing: https://gist.github.com/75b10f3ffd10ceeae763c0b4432f9d07
Test this build with Cachix (click to expand)

One time setup in nixpkgs Git checkout:

cachix use r-ryantm
git remote add r-ryantm https://github.com/r-ryantm/nixpkgs.git

Test this build:

git fetch r-ryantm && git checkout 0095d6f26fcacc881c463ed1d3b0125aaa964d02 && nix-shell --pure -I nixpkgs=. -p yices

cc @thoughtpolice for testing.

yices: 2.5.4 -> 2.6.0
0095d6f 
Semi-automatic update generated by https://github.com/ryantm/nixpkgs-update tools. This update was made based on information from https://repology.org/metapackage/yices/versions.
@GrahamcOfBorg
Copy link

Success on x86_64-linux (full log)

Attempted: yices

Partial log (click to expand)

shrinking /nix/store/a5fkr1issxfnzb96ixv2rv7h4s25zhkd-yices-2.6.0/bin/yices
shrinking /nix/store/a5fkr1issxfnzb96ixv2rv7h4s25zhkd-yices-2.6.0/bin/yices-sat
shrinking /nix/store/a5fkr1issxfnzb96ixv2rv7h4s25zhkd-yices-2.6.0/bin/yices-smt
shrinking /nix/store/a5fkr1issxfnzb96ixv2rv7h4s25zhkd-yices-2.6.0/bin/yices-smt2
shrinking /nix/store/a5fkr1issxfnzb96ixv2rv7h4s25zhkd-yices-2.6.0/lib/libyices.so.2.6.0
strip is /nix/store/4qvrxzxa535y8304mk195x50b6p9607d-binutils-2.30/bin/strip
stripping (with command strip and flags -S) in /nix/store/a5fkr1issxfnzb96ixv2rv7h4s25zhkd-yices-2.6.0/lib  /nix/store/a5fkr1issxfnzb96ixv2rv7h4s25zhkd-yices-2.6.0/bin 
patching script interpreter paths in /nix/store/a5fkr1issxfnzb96ixv2rv7h4s25zhkd-yices-2.6.0
checking for references to /tmp/nix-build-yices-2.6.0.drv-0 in /nix/store/a5fkr1issxfnzb96ixv2rv7h4s25zhkd-yices-2.6.0...
/nix/store/a5fkr1issxfnzb96ixv2rv7h4s25zhkd-yices-2.6.0

@GrahamcOfBorg
Copy link

Success on x86_64-darwin (full log)

Attempted: yices

Partial log (click to expand)

/nix/store/5q51r2d0xzs4hi8rb661drpf83mhm4b4-coreutils-8.29/bin/install -c -m 664 build/x86_64-apple-darwin16.3.0-release/dist/include/* /nix/store/av8mg6nqj7fbil1yhb24nhhvk9zgr3hx-yices-2.6.0/include
/nix/store/5q51r2d0xzs4hi8rb661drpf83mhm4b4-coreutils-8.29/bin/install -c build/x86_64-apple-darwin16.3.0-release/dist/bin/* /nix/store/av8mg6nqj7fbil1yhb24nhhvk9zgr3hx-yices-2.6.0/bin
/nix/store/5q51r2d0xzs4hi8rb661drpf83mhm4b4-coreutils-8.29/bin/install -c build/x86_64-apple-darwin16.3.0-release/dist/lib/* /nix/store/av8mg6nqj7fbil1yhb24nhhvk9zgr3hx-yices-2.6.0/lib
(cd /nix/store/av8mg6nqj7fbil1yhb24nhhvk9zgr3hx-yices-2.6.0/lib && ln -s -f libyices.2.dylib libyices.dylib)
make[1]: Leaving directory '/private/tmp/nix-build-yices-2.6.0.drv-0/yices2-Yices-2.6.0'
post-installation fixup
strip is /nix/store/7ddbq63v97nk8gkbf7gcsfmby37h6gbl-cctools-binutils-darwin/bin/strip
stripping (with command strip and flags -S) in /nix/store/av8mg6nqj7fbil1yhb24nhhvk9zgr3hx-yices-2.6.0/lib  /nix/store/av8mg6nqj7fbil1yhb24nhhvk9zgr3hx-yices-2.6.0/bin
patching script interpreter paths in /nix/store/av8mg6nqj7fbil1yhb24nhhvk9zgr3hx-yices-2.6.0
/nix/store/av8mg6nqj7fbil1yhb24nhhvk9zgr3hx-yices-2.6.0

@GrahamcOfBorg
Copy link

Success on aarch64-linux (full log)

Attempted: yices

Partial log (click to expand)

shrinking /nix/store/sg714r59jkk1y1l44b7w2rva9phybf6s-yices-2.6.0/lib/libyices.so.2.6.0
shrinking /nix/store/sg714r59jkk1y1l44b7w2rva9phybf6s-yices-2.6.0/bin/yices-smt2
shrinking /nix/store/sg714r59jkk1y1l44b7w2rva9phybf6s-yices-2.6.0/bin/yices-smt
shrinking /nix/store/sg714r59jkk1y1l44b7w2rva9phybf6s-yices-2.6.0/bin/yices-sat
shrinking /nix/store/sg714r59jkk1y1l44b7w2rva9phybf6s-yices-2.6.0/bin/yices
strip is /nix/store/0pjsgkxz0rp5baycq5sp2s72lrr5q9sg-binutils-2.30/bin/strip
stripping (with command strip and flags -S) in /nix/store/sg714r59jkk1y1l44b7w2rva9phybf6s-yices-2.6.0/lib  /nix/store/sg714r59jkk1y1l44b7w2rva9phybf6s-yices-2.6.0/bin
patching script interpreter paths in /nix/store/sg714r59jkk1y1l44b7w2rva9phybf6s-yices-2.6.0
checking for references to /build in /nix/store/sg714r59jkk1y1l44b7w2rva9phybf6s-yices-2.6.0...
/nix/store/sg714r59jkk1y1l44b7w2rva9phybf6s-yices-2.6.0

@thoughtpolice thoughtpolice merged commit 40e648b into NixOS:master Jul 11, 2018
@r-ryantm r-ryantm deleted the auto-update/yices branch July 11, 2018 15:30
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
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.

None yet
3 participants
@r-ryantm @GrahamcOfBorg @thoughtpolice