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

AgdaStdlib: 0.14 -> 0.15 #37405

Merged
merged 1 commit into from Mar 22, 2018
Merged

AgdaStdlib: 0.14 -> 0.15 #37405

merged 1 commit into from Mar 22, 2018

Conversation

ryantm
Copy link
Member

@ryantm ryantm commented Mar 20, 2018

Semi-automatic update generated by https://github.com/ryantm/nix-update tools. These checks were done:

  • built on NixOS
  • Warning: no binary found that responded to help or version flags. (This warning appears even if the package isn't expected to have binaries.)
  • found 0.15 with grep in /nix/store/6787gs55hpa46z4507ji4jz5za51lyqy-agda-stdlib-0.15
  • directory tree listing: https://gist.github.com/386f03ce4900379ef75d5d01bcc2cebb

cc @jwiegley @Fuuzetsu @laMudri for review

@ryantm
AgdaStdlib: 0.14 -> 0.15
7770e37 
Semi-automatic update generated by https://github.com/ryantm/nix-update tools. These checks were done:

- built on NixOS
- Warning: no binary found that responded to help or version flags. (This warning appears even if the package isn't expected to have binaries.)
- found 0.15 with grep in /nix/store/6787gs55hpa46z4507ji4jz5za51lyqy-agda-stdlib-0.15
- directory tree listing: https://gist.github.com/386f03ce4900379ef75d5d01bcc2cebb
@GrahamcOfBorg
Copy link

Failure on x86_64-darwin (full log)

Attempted: AgdaStdlib

Partial log (click to expand)

cannot build derivation '/nix/store/l56jikcx47ywb3jqri4281w801qr8dxl-tasty-quickcheck-0.9.2.drv': 8 dependencies couldn't be built
cannot build derivation '/nix/store/dybn6p04hjjfj6xxpah1ghnva9g4qr8g-base-compat-0.9.3.drv': 4 dependencies couldn't be built
cannot build derivation '/nix/store/rbdj2a524xpclzpsmyr439c2p53x7scl-blaze-markup-0.8.2.0.drv': 9 dependencies couldn't be built
cannot build derivation '/nix/store/awf255sy5cjgv3wcvw0hglb33d1y73qm-blaze-html-0.9.0.1.drv': 10 dependencies couldn't be built
cannot build derivation '/nix/store/i18xy3li6ppl4zmn8pj4ycdra74pgpgw-gitrev-1.3.1.drv': 3 dependencies couldn't be built
100  303k    0  303k    0     0   412k      0 --:--:-- --:--:-- --:--:--  412k
unpacking source archive /private/tmp/nix-build-source.drv-0/v0.15.tar.gz
cannot build derivation '/nix/store/nrggjnbp3mnwl5hrdcrh93pi5lsvnvdc-Agda-2.5.3.drv': 28 dependencies couldn't be built
cannot build derivation '/nix/store/fpw79f57y53rkdfpm7pgzf73qpsjslkl-agda-stdlib-0.15.drv': 2 dependencies couldn't be built
�[31;1merror:�[0m build of '/nix/store/fpw79f57y53rkdfpm7pgzf73qpsjslkl-agda-stdlib-0.15.drv' failed

@GrahamcOfBorg
Copy link

No attempt on aarch64-linux

The following builds were skipped because they don't evaluate on aarch64-linux: AgdaStdlib

No partial log is available.

@GrahamcOfBorg
Copy link

Success on x86_64-linux (full log)

Attempted: AgdaStdlib

Partial log (click to expand)

 Checking Universe (/tmp/nix-build-agda-stdlib-0.15.drv-0/source/src/Universe.agda).
 Finished Universe.
Finished Everything.
installing
post-installation fixup
shrinking RPATHs of ELF executables and libraries in /nix/store/2c1d841x2f3a68cszmhpp3ngyh7v0kk6-agda-stdlib-0.15
strip is /nix/store/fzcs0fn6bb04m82frhlb78nc03ny3w55-binutils-2.28.1/bin/strip
patching script interpreter paths in /nix/store/2c1d841x2f3a68cszmhpp3ngyh7v0kk6-agda-stdlib-0.15
checking for references to /tmp/nix-build-agda-stdlib-0.15.drv-0 in /nix/store/2c1d841x2f3a68cszmhpp3ngyh7v0kk6-agda-stdlib-0.15...
/nix/store/2c1d841x2f3a68cszmhpp3ngyh7v0kk6-agda-stdlib-0.15

@laMudri
Copy link
Contributor

laMudri commented Mar 22, 2018

This should just be the right thing to do. I haven't tested it, but I don't see what could go wrong.

@joachifm joachifm merged commit c90c6bb into NixOS:master Mar 22, 2018
@ryantm ryantm deleted the auto-update/agda-stdlib branch March 22, 2018 18:43
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
4 participants
@ryantm @GrahamcOfBorg @laMudri @joachifm