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.

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

Merge swi-prolog 7.4.2 -> 7.6.4 plus enable JPL feature #36956

Merged
merged 2 commits into from
Mar 17, 2018

Conversation

coreyoconnor
Copy link
Contributor

@coreyoconnor coreyoconnor commented Mar 14, 2018

Motivation for this change
  1. update SWI prolog to 7.6.4
  2. Add JDK dependency required by JPL prolog library.
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"
  • [a few ] Tested execution of all binary files (usually in ./result/bin/)
  • [hopefully] Fits CONTRIBUTING.md.

@gebner
Copy link
Member

gebner commented Mar 17, 2018

@GrahamcOfBorg build swiProlog

@GrahamcOfBorg
Copy link

No attempt on aarch64-linux

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

No log is available.

@GrahamcOfBorg
Copy link

Success on x86_64-linux (full log)

Attempted: swiProlog

Partial log (click to expand)

/nix/store/kb8kx3hdcxyzmhf1537sy0naa9fmsy3b-swi-prolog-7.6.4/lib/swipl-7.6.4/doc/packages/examples/jpl/java/Versions/run.sh: interpreter directive changed from "/bin/sh" to "/nix/store/q1g0rl8zfmz7r371fp5p42p4acmv297d-bash-4.4-p19/bin/sh"
/nix/store/kb8kx3hdcxyzmhf1537sy0naa9fmsy3b-swi-prolog-7.6.4/lib/swipl-7.6.4/doc/packages/examples/jpl/java/Test/run.sh: interpreter directive changed from "/bin/sh" to "/nix/store/q1g0rl8zfmz7r371fp5p42p4acmv297d-bash-4.4-p19/bin/sh"
/nix/store/kb8kx3hdcxyzmhf1537sy0naa9fmsy3b-swi-prolog-7.6.4/lib/swipl-7.6.4/doc/packages/examples/jpl/java/FamilyMT/run.sh: interpreter directive changed from "/bin/sh" to "/nix/store/q1g0rl8zfmz7r371fp5p42p4acmv297d-bash-4.4-p19/bin/sh"
/nix/store/kb8kx3hdcxyzmhf1537sy0naa9fmsy3b-swi-prolog-7.6.4/lib/swipl-7.6.4/doc/packages/examples/jpl/java/Zahed/run.sh: interpreter directive changed from "/bin/sh" to "/nix/store/q1g0rl8zfmz7r371fp5p42p4acmv297d-bash-4.4-p19/bin/sh"
/nix/store/kb8kx3hdcxyzmhf1537sy0naa9fmsy3b-swi-prolog-7.6.4/lib/swipl-7.6.4/doc/packages/examples/jpl/java/Time/run.sh: interpreter directive changed from "/bin/sh" to "/nix/store/q1g0rl8zfmz7r371fp5p42p4acmv297d-bash-4.4-p19/bin/sh"
/nix/store/kb8kx3hdcxyzmhf1537sy0naa9fmsy3b-swi-prolog-7.6.4/lib/swipl-7.6.4/doc/packages/examples/jpl/java/Family/run.sh: interpreter directive changed from "/bin/sh" to "/nix/store/q1g0rl8zfmz7r371fp5p42p4acmv297d-bash-4.4-p19/bin/sh"
/nix/store/kb8kx3hdcxyzmhf1537sy0naa9fmsy3b-swi-prolog-7.6.4/lib/swipl-7.6.4/doc/packages/examples/jpl/java/Exceptions2/run.sh: interpreter directive changed from "/bin/sh" to "/nix/store/q1g0rl8zfmz7r371fp5p42p4acmv297d-bash-4.4-p19/bin/sh"
/nix/store/kb8kx3hdcxyzmhf1537sy0naa9fmsy3b-swi-prolog-7.6.4/lib/swipl-7.6.4/customize/edit: interpreter directive changed from "/bin/sh -f" to "/nix/store/q1g0rl8zfmz7r371fp5p42p4acmv297d-bash-4.4-p19/bin/sh -f"
checking for references to /build in /nix/store/kb8kx3hdcxyzmhf1537sy0naa9fmsy3b-swi-prolog-7.6.4...
/nix/store/kb8kx3hdcxyzmhf1537sy0naa9fmsy3b-swi-prolog-7.6.4

@gebner gebner merged commit f54cd16 into NixOS:master Mar 17, 2018
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

3 participants