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

clingo: fix URL #36871

Merged
merged 2 commits into from
Mar 12, 2018
Merged

clingo: fix URL #36871

merged 2 commits into from
Mar 12, 2018

Conversation

vbgl
Copy link
Contributor

@vbgl vbgl commented Mar 12, 2018

Motivation for this change

Current URL is wrong. cc maintainer @7c6f434c

Things done
  • Tested using sandboxing (nix.useSandbox on NixOS, or option build-use-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.

@7c6f434c
Copy link
Member

Thanks. I guess I should just user urls to include both /releases/ and /archive/ as options. But first I will abuse your PR to check if Darwin builds work…

@GrahamcOfBorg build clingo

@GrahamcOfBorg
Copy link

Success on x86_64-linux (full log)

Attempted: clingo

Partial log (click to expand)

shrinking /nix/store/f571fr1kvxwvza9s6mp9mf3ik3qqrqvq-clingo-5.2.2/bin/clasp
shrinking /nix/store/f571fr1kvxwvza9s6mp9mf3ik3qqrqvq-clingo-5.2.2/bin/reify
shrinking /nix/store/f571fr1kvxwvza9s6mp9mf3ik3qqrqvq-clingo-5.2.2/bin/gringo
shrinking /nix/store/f571fr1kvxwvza9s6mp9mf3ik3qqrqvq-clingo-5.2.2/bin/clingo
shrinking /nix/store/f571fr1kvxwvza9s6mp9mf3ik3qqrqvq-clingo-5.2.2/lib/libclingo.so.1.0
strip is /nix/store/b0zlxla7dmy1iwc3g459rjznx59797xy-binutils-2.28.1/bin/strip
stripping (with command strip and flags -S) in /nix/store/f571fr1kvxwvza9s6mp9mf3ik3qqrqvq-clingo-5.2.2/lib  /nix/store/f571fr1kvxwvza9s6mp9mf3ik3qqrqvq-clingo-5.2.2/bin
patching script interpreter paths in /nix/store/f571fr1kvxwvza9s6mp9mf3ik3qqrqvq-clingo-5.2.2
checking for references to /build in /nix/store/f571fr1kvxwvza9s6mp9mf3ik3qqrqvq-clingo-5.2.2...
/nix/store/f571fr1kvxwvza9s6mp9mf3ik3qqrqvq-clingo-5.2.2

@GrahamcOfBorg
Copy link

Failure on x86_64-darwin (full log)

Attempted: clingo

Partial log (click to expand)

[ 92%] Building CXX object libpyclingo/CMakeFiles/libpyclingo.dir/pyclingo.cc.o
/tmp/nix-build-clingo-5.2.2.drv-0/source/libpyclingo/pyclingo.cc:32:10: fatal error: 'Python.h' file not found
#include <Python.h>
         ^~~~~~~~~~
1 error generated.
make[2]: *** [libpyclingo/CMakeFiles/libpyclingo.dir/build.make:63: libpyclingo/CMakeFiles/libpyclingo.dir/pyclingo.cc.o] Error 1
make[1]: *** [CMakeFiles/Makefile2:521: libpyclingo/CMakeFiles/libpyclingo.dir/all] Error 2
make: *** [Makefile:141: all] Error 2
builder for '/nix/store/6ssnz1bjxh964l9s3z6d20fc9w2x335r-clingo-5.2.2.drv' failed with exit code 2
�[31;1merror:�[0m build of '/nix/store/6ssnz1bjxh964l9s3z6d20fc9w2x335r-clingo-5.2.2.drv' failed

@GrahamcOfBorg
Copy link

Success on aarch64-linux (full log)

Attempted: clingo

Partial log (click to expand)

shrinking /nix/store/c3y6fh3b7mz3d7w0l22fc0nc80v4vf9k-clingo-5.2.2/bin/clingo
shrinking /nix/store/c3y6fh3b7mz3d7w0l22fc0nc80v4vf9k-clingo-5.2.2/bin/gringo
shrinking /nix/store/c3y6fh3b7mz3d7w0l22fc0nc80v4vf9k-clingo-5.2.2/bin/reify
shrinking /nix/store/c3y6fh3b7mz3d7w0l22fc0nc80v4vf9k-clingo-5.2.2/bin/clasp
shrinking /nix/store/c3y6fh3b7mz3d7w0l22fc0nc80v4vf9k-clingo-5.2.2/bin/lpconvert
strip is /nix/store/lvx1acn1ig1j2km8jds5x3ggh3f2wa8v-binutils-2.28.1/bin/strip
stripping (with command strip and flags -S) in /nix/store/c3y6fh3b7mz3d7w0l22fc0nc80v4vf9k-clingo-5.2.2/lib  /nix/store/c3y6fh3b7mz3d7w0l22fc0nc80v4vf9k-clingo-5.2.2/bin
patching script interpreter paths in /nix/store/c3y6fh3b7mz3d7w0l22fc0nc80v4vf9k-clingo-5.2.2
checking for references to /build in /nix/store/c3y6fh3b7mz3d7w0l22fc0nc80v4vf9k-clingo-5.2.2...
/nix/store/c3y6fh3b7mz3d7w0l22fc0nc80v4vf9k-clingo-5.2.2

@vbgl
Copy link
Contributor Author

vbgl commented Mar 12, 2018

@GrahamcOfBorg build clingo

Let’s try again ;-)

@GrahamcOfBorg
Copy link

Success on aarch64-linux (full log)

Attempted: clingo

Partial log (click to expand)

shrinking /nix/store/7kxhd33j9z85a17j4f86wpn7b5kdpz44-clingo-5.2.2/bin/clingo
shrinking /nix/store/7kxhd33j9z85a17j4f86wpn7b5kdpz44-clingo-5.2.2/bin/gringo
shrinking /nix/store/7kxhd33j9z85a17j4f86wpn7b5kdpz44-clingo-5.2.2/bin/reify
shrinking /nix/store/7kxhd33j9z85a17j4f86wpn7b5kdpz44-clingo-5.2.2/bin/clasp
shrinking /nix/store/7kxhd33j9z85a17j4f86wpn7b5kdpz44-clingo-5.2.2/bin/lpconvert
strip is /nix/store/lvx1acn1ig1j2km8jds5x3ggh3f2wa8v-binutils-2.28.1/bin/strip
stripping (with command strip and flags -S) in /nix/store/7kxhd33j9z85a17j4f86wpn7b5kdpz44-clingo-5.2.2/lib  /nix/store/7kxhd33j9z85a17j4f86wpn7b5kdpz44-clingo-5.2.2/bin
patching script interpreter paths in /nix/store/7kxhd33j9z85a17j4f86wpn7b5kdpz44-clingo-5.2.2
checking for references to /build in /nix/store/7kxhd33j9z85a17j4f86wpn7b5kdpz44-clingo-5.2.2...
/nix/store/7kxhd33j9z85a17j4f86wpn7b5kdpz44-clingo-5.2.2

@GrahamcOfBorg
Copy link

Success on aarch64-linux (full log)

Attempted: clingo

Partial log (click to expand)

/nix/store/c3y6fh3b7mz3d7w0l22fc0nc80v4vf9k-clingo-5.2.2

@GrahamcOfBorg
Copy link

Success on x86_64-linux (full log)

Attempted: clingo

Partial log (click to expand)

shrinking /nix/store/f571fr1kvxwvza9s6mp9mf3ik3qqrqvq-clingo-5.2.2/bin/clingo
shrinking /nix/store/f571fr1kvxwvza9s6mp9mf3ik3qqrqvq-clingo-5.2.2/bin/lpconvert
shrinking /nix/store/f571fr1kvxwvza9s6mp9mf3ik3qqrqvq-clingo-5.2.2/bin/gringo
shrinking /nix/store/f571fr1kvxwvza9s6mp9mf3ik3qqrqvq-clingo-5.2.2/bin/reify
shrinking /nix/store/f571fr1kvxwvza9s6mp9mf3ik3qqrqvq-clingo-5.2.2/lib/libclingo.so.1.0
strip is /nix/store/b0zlxla7dmy1iwc3g459rjznx59797xy-binutils-2.28.1/bin/strip
stripping (with command strip and flags -S) in /nix/store/f571fr1kvxwvza9s6mp9mf3ik3qqrqvq-clingo-5.2.2/lib  /nix/store/f571fr1kvxwvza9s6mp9mf3ik3qqrqvq-clingo-5.2.2/bin 
patching script interpreter paths in /nix/store/f571fr1kvxwvza9s6mp9mf3ik3qqrqvq-clingo-5.2.2
checking for references to /tmp/nix-build-clingo-5.2.2.drv-0 in /nix/store/f571fr1kvxwvza9s6mp9mf3ik3qqrqvq-clingo-5.2.2...
/nix/store/f571fr1kvxwvza9s6mp9mf3ik3qqrqvq-clingo-5.2.2

@7c6f434c
Copy link
Member

@GrahamcOfBorg eval

@7c6f434c
Copy link
Member

Sorry, overestimated usability of GitHub online editor…

@GrahamcOfBorg
Copy link

Success on aarch64-linux (full log)

Attempted: clingo

Partial log (click to expand)

/nix/store/7kxhd33j9z85a17j4f86wpn7b5kdpz44-clingo-5.2.2

@GrahamcOfBorg
Copy link

Success on x86_64-linux (full log)

Attempted: clingo

Partial log (click to expand)

shrinking /nix/store/gylvga31c3b31c0hyn6vaqlfxlyy627x-clingo-5.2.2/bin/clasp
shrinking /nix/store/gylvga31c3b31c0hyn6vaqlfxlyy627x-clingo-5.2.2/bin/reify
shrinking /nix/store/gylvga31c3b31c0hyn6vaqlfxlyy627x-clingo-5.2.2/bin/gringo
shrinking /nix/store/gylvga31c3b31c0hyn6vaqlfxlyy627x-clingo-5.2.2/bin/clingo
shrinking /nix/store/gylvga31c3b31c0hyn6vaqlfxlyy627x-clingo-5.2.2/lib/libclingo.so.1.0
strip is /nix/store/b0zlxla7dmy1iwc3g459rjznx59797xy-binutils-2.28.1/bin/strip
stripping (with command strip and flags -S) in /nix/store/gylvga31c3b31c0hyn6vaqlfxlyy627x-clingo-5.2.2/lib  /nix/store/gylvga31c3b31c0hyn6vaqlfxlyy627x-clingo-5.2.2/bin
patching script interpreter paths in /nix/store/gylvga31c3b31c0hyn6vaqlfxlyy627x-clingo-5.2.2
checking for references to /build in /nix/store/gylvga31c3b31c0hyn6vaqlfxlyy627x-clingo-5.2.2...
/nix/store/gylvga31c3b31c0hyn6vaqlfxlyy627x-clingo-5.2.2

@GrahamcOfBorg
Copy link

Success on x86_64-linux (full log)

Attempted: clingo

Partial log (click to expand)

shrinking /nix/store/gylvga31c3b31c0hyn6vaqlfxlyy627x-clingo-5.2.2/bin/lpconvert
shrinking /nix/store/gylvga31c3b31c0hyn6vaqlfxlyy627x-clingo-5.2.2/bin/clingo
shrinking /nix/store/gylvga31c3b31c0hyn6vaqlfxlyy627x-clingo-5.2.2/bin/gringo
shrinking /nix/store/gylvga31c3b31c0hyn6vaqlfxlyy627x-clingo-5.2.2/bin/clasp
shrinking /nix/store/gylvga31c3b31c0hyn6vaqlfxlyy627x-clingo-5.2.2/lib/libclingo.so.1.0
strip is /nix/store/b0zlxla7dmy1iwc3g459rjznx59797xy-binutils-2.28.1/bin/strip
stripping (with command strip and flags -S) in /nix/store/gylvga31c3b31c0hyn6vaqlfxlyy627x-clingo-5.2.2/lib  /nix/store/gylvga31c3b31c0hyn6vaqlfxlyy627x-clingo-5.2.2/bin 
patching script interpreter paths in /nix/store/gylvga31c3b31c0hyn6vaqlfxlyy627x-clingo-5.2.2
checking for references to /tmp/nix-build-clingo-5.2.2.drv-0 in /nix/store/gylvga31c3b31c0hyn6vaqlfxlyy627x-clingo-5.2.2...
/nix/store/gylvga31c3b31c0hyn6vaqlfxlyy627x-clingo-5.2.2

@7c6f434c
Copy link
Member

Sorry, I am just stupid, you did a manual fetchFromGitHub

@7c6f434c
Copy link
Member

@GrahamcOfBorg build clingo

@GrahamcOfBorg
Copy link

Success on x86_64-linux (full log)

Attempted: clingo

Partial log (click to expand)

/nix/store/gylvga31c3b31c0hyn6vaqlfxlyy627x-clingo-5.2.2

@GrahamcOfBorg
Copy link

Success on aarch64-linux (full log)

Attempted: clingo

Partial log (click to expand)

/nix/store/7kxhd33j9z85a17j4f86wpn7b5kdpz44-clingo-5.2.2

@GrahamcOfBorg
Copy link

Success on x86_64-darwin (full log)

Attempted: clingo

Partial log (click to expand)

-- Installing: /nix/store/iry7xkqq2mw9mvyyzxy27a5778x07zxn-clingo-5.2.2/include/clingo.hh
-- Installing: /nix/store/iry7xkqq2mw9mvyyzxy27a5778x07zxn-clingo-5.2.2/include/clingo.h
-- Installing: /nix/store/iry7xkqq2mw9mvyyzxy27a5778x07zxn-clingo-5.2.2/bin/reify
-- Installing: /nix/store/iry7xkqq2mw9mvyyzxy27a5778x07zxn-clingo-5.2.2/bin/gringo
-- Installing: /nix/store/iry7xkqq2mw9mvyyzxy27a5778x07zxn-clingo-5.2.2/bin/clingo
post-installation fixup
strip is /nix/store/4sdh09gmvl15cy0zb6i7mbvxh5syz206-cctools-binutils-darwin/bin/strip
stripping (with command strip and flags -S) in /nix/store/iry7xkqq2mw9mvyyzxy27a5778x07zxn-clingo-5.2.2/lib  /nix/store/iry7xkqq2mw9mvyyzxy27a5778x07zxn-clingo-5.2.2/bin
patching script interpreter paths in /nix/store/iry7xkqq2mw9mvyyzxy27a5778x07zxn-clingo-5.2.2
/nix/store/iry7xkqq2mw9mvyyzxy27a5778x07zxn-clingo-5.2.2

@7c6f434c 7c6f434c merged commit fb5815b into NixOS:master Mar 12, 2018
@GrahamcOfBorg
Copy link

Success on aarch64-linux (full log)

Attempted: clingo

Partial log (click to expand)

/nix/store/7kxhd33j9z85a17j4f86wpn7b5kdpz44-clingo-5.2.2

@GrahamcOfBorg
Copy link

Success on x86_64-linux (full log)

Attempted: clingo

Partial log (click to expand)

shrinking /nix/store/gylvga31c3b31c0hyn6vaqlfxlyy627x-clingo-5.2.2/bin/clingo
shrinking /nix/store/gylvga31c3b31c0hyn6vaqlfxlyy627x-clingo-5.2.2/bin/lpconvert
shrinking /nix/store/gylvga31c3b31c0hyn6vaqlfxlyy627x-clingo-5.2.2/bin/gringo
shrinking /nix/store/gylvga31c3b31c0hyn6vaqlfxlyy627x-clingo-5.2.2/bin/reify
shrinking /nix/store/gylvga31c3b31c0hyn6vaqlfxlyy627x-clingo-5.2.2/lib/libclingo.so.1.0
strip is /nix/store/b0zlxla7dmy1iwc3g459rjznx59797xy-binutils-2.28.1/bin/strip
stripping (with command strip and flags -S) in /nix/store/gylvga31c3b31c0hyn6vaqlfxlyy627x-clingo-5.2.2/lib  /nix/store/gylvga31c3b31c0hyn6vaqlfxlyy627x-clingo-5.2.2/bin 
patching script interpreter paths in /nix/store/gylvga31c3b31c0hyn6vaqlfxlyy627x-clingo-5.2.2
checking for references to /tmp/nix-build-clingo-5.2.2.drv-0 in /nix/store/gylvga31c3b31c0hyn6vaqlfxlyy627x-clingo-5.2.2...
/nix/store/gylvga31c3b31c0hyn6vaqlfxlyy627x-clingo-5.2.2

@vbgl vbgl deleted the clingo-fix-url branch March 12, 2018 17:56
7c6f434c added a commit that referenced this pull request Mar 14, 2018
@7c6f434c
Merge pull request #36871 from vbgl/clingo-fix-url
dcb1b69 
clingo: fix URL
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
@vbgl @7c6f434c @GrahamcOfBorg