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

coqPackages.contribs.aac-tactics: enable for Coq 8.7 and 8.8 #41351

Merged
merged 1 commit into from
Jun 1, 2018
Merged

coqPackages.contribs.aac-tactics: enable for Coq 8.7 and 8.8 #41351

merged 1 commit into from
Jun 1, 2018
+12 −5

Conversation

vbgl
Copy link
Contributor

@vbgl vbgl commented Jun 1, 2018

Things done
  • Tested using sandboxing (nix.useSandbox on NixOS, or option sandbox in nix.conf on non-NixOS)
  • 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 nox --run "nox-review wip"
  • Tested execution of all binary files (usually in ./result/bin/)
  • Fits CONTRIBUTING.md.

Sorry, something went wrong.

@vbgl
coqPackages.contribs.aac-tactics: enable for Coq 8.7 and 8.8

Verified

This commit was signed with the committer’s verified signature.
jhass Jonne Haß
GPG key ID: F347E0EB47AC70D6
Verified
Learn about vigilant mode
440975a
@GrahamcOfBorg GrahamcOfBorg added 10.rebuild-darwin: 0 This PR does not cause any packages to rebuild on Darwin 10.rebuild-linux: 0 This PR does not cause any packages to rebuild on Linux labels Jun 1, 2018
@xeji
Copy link
Contributor

xeji commented Jun 1, 2018

@GrahamcOfBorg build coqPackages_8_8.contribs.aac-tactics coqPackages_8_7.contribs.aac-tactics

@GrahamcOfBorg
Copy link

Success on x86_64-linux (full log)

Attempted: coqPackages_8_8.contribs.aac-tactics, coqPackages_8_7.contribs.aac-tactics

Partial log (click to expand)

strip is /nix/store/92d2ifxcni4n3zx9s8wnkcjlvnx5ajlc-binutils-2.30/bin/strip
strip is /nix/store/92d2ifxcni4n3zx9s8wnkcjlvnx5ajlc-binutils-2.30/bin/strip
stripping (with command strip and flags -S) in /nix/store/05yv12vvvqiag8dybmcq2ary94czxdif-coq8.8-aac-tactics-20180530/lib
stripping (with command strip and flags -S) in /nix/store/ii8pph0rzm45nx87zp3vrk1nyyjaa2cd-coq8.7-aac-tactics-20180530/lib
patching script interpreter paths in /nix/store/05yv12vvvqiag8dybmcq2ary94czxdif-coq8.8-aac-tactics-20180530
patching script interpreter paths in /nix/store/ii8pph0rzm45nx87zp3vrk1nyyjaa2cd-coq8.7-aac-tactics-20180530
checking for references to /build in /nix/store/05yv12vvvqiag8dybmcq2ary94czxdif-coq8.8-aac-tactics-20180530...
checking for references to /build in /nix/store/ii8pph0rzm45nx87zp3vrk1nyyjaa2cd-coq8.7-aac-tactics-20180530...
/nix/store/05yv12vvvqiag8dybmcq2ary94czxdif-coq8.8-aac-tactics-20180530
/nix/store/ii8pph0rzm45nx87zp3vrk1nyyjaa2cd-coq8.7-aac-tactics-20180530

@GrahamcOfBorg
Copy link

Success on aarch64-linux (full log)

Attempted: coqPackages_8_8.contribs.aac-tactics, coqPackages_8_7.contribs.aac-tactics

Partial log (click to expand)

make[1]: Leaving directory '/build/source'
post-installation fixup
shrinking RPATHs of ELF executables and libraries in /nix/store/w371dsa7cxizpkgd10aif8hrrvpdvd1i-coq8.8-aac-tactics-20180530
shrinking /nix/store/w371dsa7cxizpkgd10aif8hrrvpdvd1i-coq8.8-aac-tactics-20180530/lib/coq/8.8/user-contrib/AAC_tactics/aac.cmxs
strip is /nix/store/8yfik687kfccisxnad42j19lfb7ij9b4-binutils-2.30/bin/strip
stripping (with command strip and flags -S) in /nix/store/w371dsa7cxizpkgd10aif8hrrvpdvd1i-coq8.8-aac-tactics-20180530/lib
patching script interpreter paths in /nix/store/w371dsa7cxizpkgd10aif8hrrvpdvd1i-coq8.8-aac-tactics-20180530
checking for references to /build in /nix/store/w371dsa7cxizpkgd10aif8hrrvpdvd1i-coq8.8-aac-tactics-20180530...
/nix/store/w371dsa7cxizpkgd10aif8hrrvpdvd1i-coq8.8-aac-tactics-20180530
/nix/store/vrr3z7gsk32arxw35jfq98hrc2hgibrd-coq8.7-aac-tactics-20180530

@xeji xeji merged commit 44659fc into NixOS:master Jun 1, 2018
orivej added a commit that referenced this pull request Jun 1, 2018
@orivej
Merge branch 'master' into staging

Verified

This commit was signed with the committer’s verified signature.
jhass Jonne Haß
GPG key ID: F347E0EB47AC70D6
Verified
Learn about vigilant mode
4b2735f 
* master: (153 commits)
  coqPackages.contribs.aac-tactics: enable for Coq 8.7 and 8.8 (#41351)
  haskell.packages.ghcjs.terminfo: Bump version (#41337)
  nixos/mpd: allow services.mpd.dbFile to be null
  prometheus-snmp-exporter: 0.9.0 -> 0.11.0 (#41363)
  tdesktopPackages.preview: 1.2.24 -> 1.3.0
  signal-desktop: Refactor the package description
  rrootage: init at 0.23a
  bulletml: init at 0.0.6
  signal-desktop: Fix a possible crash when saving an attachment
  linux_rpi: More downstream device tree name fixups
  nixos/sd-image-raspberrypi: Support Raspberry Pi Zero
  U-Boot: Add ubootRaspberryPiZero variant
  U-Boot: 2018.03 -> 2018.05
  linux_rpi: 1.20171029 -> 1.20180417
  raspberrypifw: 1.20180328 -> 1.20180417
  scite: 3.7.5 -> 4.0.5 (#41345)
  neo4j: 3.3.4 -> 3.4.0 (#41338)
  bat: 0.3.0 -> 0.4.1 (#41348)
  perlPackages.Git: init at 0.42
  nodePackages_8_x.pnpm: wrap nodejs.passthru.python
  ...
@vbgl vbgl deleted the coq-contribs-aac-tactics-8.8 branch June 1, 2018 18:18
@GrahamcOfBorg
Copy link

Failure on x86_64-darwin (full log)

Attempted: coqPackages_8_8.contribs.aac-tactics, coqPackages_8_7.contribs.aac-tactics

Partial log (click to expand)

  CCLD     testentryicons
building of '/nix/store/2yjd9x6bzjp2bj584k7di7pdcj7wr5nf-gtk+3-3.22.29.drv' timed out after 1800 seconds
cannot build derivation '/nix/store/diz8b4hnaffp953fb6cnm70xcv4w174y-gtk-mac-integration-2.0.8.drv': 1 dependencies couldn't be built
cannot build derivation '/nix/store/gid7j2k6l5kw6qhardzp784v9fsx9hgw-gtksourceview-2.10.5.drv': 1 dependencies couldn't be built
cannot build derivation '/nix/store/53nxjql893q484a43yryk0g2iqrcgb8l-lablgtk-2.18.5.drv': 1 dependencies couldn't be built
cannot build derivation '/nix/store/khrkdyc8h1p19pwqs6mrjmhnbplyzw1v-coq-8.7.2.drv': 1 dependencies couldn't be built
cannot build derivation '/nix/store/3k4wkwrinb42b246mhvlymp7dfawhsaw-coq-8.8.0.drv': 1 dependencies couldn't be built
cannot build derivation '/nix/store/66glrj97k82ii68kxn7hx5fz3q79v3v3-coq8.7-aac-tactics-20180530.drv': 1 dependencies couldn't be built
cannot build derivation '/nix/store/yahpgsq8z30qnjcl1yallmaxyqqad764-coq8.8-aac-tactics-20180530.drv': 1 dependencies couldn't be built
error: build of '/nix/store/66glrj97k82ii68kxn7hx5fz3q79v3v3-coq8.7-aac-tactics-20180530.drv', '/nix/store/yahpgsq8z30qnjcl1yallmaxyqqad764-coq8.8-aac-tactics-20180530.drv' failed

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: 0 This PR does not cause any packages to rebuild on Darwin 10.rebuild-linux: 0 This PR does not cause any packages to rebuild on Linux
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.

None yet
3 participants
@vbgl @xeji @GrahamcOfBorg