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

idrisPackages: add quantities library #44483

Merged
merged 2 commits into from Aug 5, 2018
Merged

idrisPackages: add quantities library #44483

merged 2 commits into from Aug 5, 2018

Conversation

imuli
Copy link
Contributor

@imuli imuli commented Aug 5, 2018

Motivation for this change

I was surprised it was not present amongst the other Idris packages.

Things done

@xeji
Copy link
Contributor

xeji commented Aug 5, 2018

@GrahamcOfBorg build idrisPackages.quantities

@GrahamcOfBorg
Copy link

Success on x86_64-darwin (full log)

Attempted: idrisPackages.quantities

Partial log (click to expand)

Warning: Ignoring empty or non-existing namespace 'Quantities.SIBaseQuantities'
Warning: Ignoring empty or non-existing namespace 'Quantities.SIBaseUnits'
Warning: Ignoring empty or non-existing namespace 'Quantities.SIDerivedQuantities'
Warning: Ignoring empty or non-existing namespace 'Quantities.SIDerivedUnits'
Warning: Ignoring empty or non-existing namespace 'Quantities.SIPrefixes'
post-installation fixup
moving /nix/store/zk3fp27iizflhg7bxk3vw94n09b6f2xh-idris-quantities-2018-04-17/doc to /nix/store/zk3fp27iizflhg7bxk3vw94n09b6f2xh-idris-quantities-2018-04-17/share/doc
strip is /nix/store/qfxcr8c4fg7lkybrny9n2sb77bmippdx-cctools-binutils-darwin/bin/strip
patching script interpreter paths in /nix/store/zk3fp27iizflhg7bxk3vw94n09b6f2xh-idris-quantities-2018-04-17
/nix/store/zk3fp27iizflhg7bxk3vw94n09b6f2xh-idris-quantities-2018-04-17

@GrahamcOfBorg
Copy link

No attempt on aarch64-linux (full log)

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

Partial log (click to expand)


a) For `nixos-rebuild` you can set
  { nixpkgs.config.allowUnsupportedSystem = true; }
in configuration.nix to override this.

b) For `nix-env`, `nix-build`, `nix-shell` or any other Nix command you can add
  { allowUnsupportedSystem = true; }
to ~/.config/nixpkgs/config.nix.

@GrahamcOfBorg
Copy link

Success on x86_64-linux (full log)

Attempted: idrisPackages.quantities

Partial log (click to expand)

Warning: Ignoring empty or non-existing namespace 'Quantities.SIDerivedQuantities'
Warning: Ignoring empty or non-existing namespace 'Quantities.SIDerivedUnits'
Warning: Ignoring empty or non-existing namespace 'Quantities.SIPrefixes'
post-installation fixup
moving /nix/store/44cnzin4x6lmrcw6bw9wgfb89w7pss18-idris-quantities-2018-04-17/doc to /nix/store/44cnzin4x6lmrcw6bw9wgfb89w7pss18-idris-quantities-2018-04-17/share/doc
shrinking RPATHs of ELF executables and libraries in /nix/store/44cnzin4x6lmrcw6bw9wgfb89w7pss18-idris-quantities-2018-04-17
strip is /nix/store/1hi76hr87bd1y1q1qjk0lv8nmcjip1c8-binutils-2.30/bin/strip
patching script interpreter paths in /nix/store/44cnzin4x6lmrcw6bw9wgfb89w7pss18-idris-quantities-2018-04-17
checking for references to /build in /nix/store/44cnzin4x6lmrcw6bw9wgfb89w7pss18-idris-quantities-2018-04-17...
/nix/store/44cnzin4x6lmrcw6bw9wgfb89w7pss18-idris-quantities-2018-04-17

@xeji xeji merged commit b49b03a into NixOS:master Aug 5, 2018
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
8.has: package (new) 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
@imuli @xeji @GrahamcOfBorg