pakcs: 1.14.0 -> 2.0.2 #43971

ghost · 2018-07-22T14:53:09Z

Motivation for this change

Thanks @meditans and @cleverca22 for hints
Closes #44176

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/)
Determined the impact on package closure size (by running nix path-info -S before and after)
Fits CONTRIBUTING.md.

FRidh · 2018-07-22T15:06:42Z

@GrahamcOfBorg eval

FRidh · 2018-07-22T20:40:27Z

@GrahamcOfBorg eval

cleverca22 · 2018-07-24T16:42:18Z

@GrahamcOfBorg eval

samueldr · 2018-07-24T16:45:21Z

@GrahamcOfBorg build pakcs

cleverca22 · 2018-07-24T16:45:41Z

@GrahamcOfBorg build pakcs

GrahamcOfBorg · 2018-07-24T16:45:47Z

No attempt on aarch64-linux (full log)

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

Partial log (click to expand)


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

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

GrahamcOfBorg · 2018-07-24T16:46:07Z

No attempt on aarch64-linux (full log)

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

Partial log (click to expand)


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

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

GrahamcOfBorg · 2018-07-24T17:21:00Z

Failure on x86_64-linux (full log)

Attempted: pakcs

Partial log (click to expand)

/nix/store/cglapswlkv4dhjpy2abydji4ygf8w05j-swi-prolog-7.6.4/lib/swipl-7.6.4/doc/packages/examples/jpl/java/SemWeb/run.sh: interpreter directive changed from "/bin/sh" to "/nix/store/fcyxw5aslw3a82p33x5lhckj0mr6g1s4-bash-4.4-p23/bin/sh"
/nix/store/cglapswlkv4dhjpy2abydji4ygf8w05j-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/fcyxw5aslw3a82p33x5lhckj0mr6g1s4-bash-4.4-p23/bin/sh"
/nix/store/cglapswlkv4dhjpy2abydji4ygf8w05j-swi-prolog-7.6.4/lib/swipl-7.6.4/doc/packages/examples/jpl/java/Exceptions/run.sh: interpreter directive changed from "/bin/sh" to "/nix/store/fcyxw5aslw3a82p33x5lhckj0mr6g1s4-bash-4.4-p23/bin/sh"
/nix/store/cglapswlkv4dhjpy2abydji4ygf8w05j-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/fcyxw5aslw3a82p33x5lhckj0mr6g1s4-bash-4.4-p23/bin/sh"
/nix/store/cglapswlkv4dhjpy2abydji4ygf8w05j-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/fcyxw5aslw3a82p33x5lhckj0mr6g1s4-bash-4.4-p23/bin/sh"
/nix/store/cglapswlkv4dhjpy2abydji4ygf8w05j-swi-prolog-7.6.4/lib/swipl-7.6.4/doc/packages/examples/http/linux-init-script: interpreter directive changed from "/bin/sh" to "/nix/store/fcyxw5aslw3a82p33x5lhckj0mr6g1s4-bash-4.4-p23/bin/sh"
/nix/store/cglapswlkv4dhjpy2abydji4ygf8w05j-swi-prolog-7.6.4/lib/swipl-7.6.4/customize/edit: interpreter directive changed from "/bin/sh -f" to "/nix/store/fcyxw5aslw3a82p33x5lhckj0mr6g1s4-bash-4.4-p23/bin/sh -f"
checking for references to /build in /nix/store/cglapswlkv4dhjpy2abydji4ygf8w05j-swi-prolog-7.6.4...
cannot build derivation '/nix/store/cbcmnias00lkn1ykialb4mlsw5fzfk7a-pakcs-2.0.2.drv': 1 dependencies couldn't be built
error: build of '/nix/store/cbcmnias00lkn1ykialb4mlsw5fzfk7a-pakcs-2.0.2.drv' failed

GrahamcOfBorg · 2018-07-24T17:48:20Z

Failure on x86_64-linux (full log)

Attempted: pakcs

Partial log (click to expand)

cannot build derivation '/nix/store/p6w4nvh6k88h4hwy2l0yw0kd038rrgbr-syb-0.7.drv': 3 dependencies couldn't be built
cannot build derivation '/nix/store/db4h4r9kamcvqlx8cxsv24ydnvyqr88l-test-framework-0.8.2.0.drv': 9 dependencies couldn't be built
cannot build derivation '/nix/store/bsq6mgsl5jb772bpwph41czi7f2brf2i-curry-base-1.0.0.drv': 3 dependencies couldn't be built
cannot build derivation '/nix/store/ycfl2slxl5vxmi6rimgrkbrnpxp9lq2c-set-extra-1.4.1.drv': 3 dependencies couldn't be built
cannot build derivation '/nix/store/87v0b0aa6psiq547wcdxn431xyi3pj9p-test-framework-hunit-0.3.0.2.drv': 5 dependencies couldn't be built
cannot build derivation '/nix/store/fd870nwklhlff2x9gsrim8zfaxgvxyd3-test-framework-quickcheck2-0.3.0.4.drv': 6 dependencies couldn't be built
cannot build derivation '/nix/store/fpdbjhsy1ljd542r4j0saf11a1q82n7w-network-uri-2.6.1.0.drv': 6 dependencies couldn't be built
cannot build derivation '/nix/store/jwxn74rr1ilc6diab9kv0b964qngsc02-curry-frontend-1.0.2.drv': 6 dependencies couldn't be built
cannot build derivation '/nix/store/cbcmnias00lkn1ykialb4mlsw5fzfk7a-pakcs-2.0.2.drv': 1 dependencies couldn't be built
error: build of '/nix/store/cbcmnias00lkn1ykialb4mlsw5fzfk7a-pakcs-2.0.2.drv' failed

ghost · 2018-07-24T18:23:03Z

Failure on x86_64-linux

Looks like ghc is too long task for ofborg

building of '/nix/store/0qgyy754cvsdg57s0kfvapjd4pd4nl2w-ghc-8.4.3.drv' timed out after 1800 seconds
...
cannot build derivation '/nix/store/cbcmnias00lkn1ykialb4mlsw5fzfk7a-pakcs-2.0.2.drv': 1 dependencies couldn't be built

GrahamcOfBorg · 2018-07-24T21:08:44Z

No attempt on x86_64-darwin (full log)

The following builds were skipped because they don't evaluate on x86_64-darwin: pakcs

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 · 2018-07-24T21:08:52Z

No attempt on x86_64-darwin (full log)

The following builds were skipped because they don't evaluate on x86_64-darwin: pakcs

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.

infinisil · 2018-07-29T20:44:24Z

pkgs/development/compilers/pakcs/default.nix

    cp -r * $out/pakcs
-    (cd $out/pakcs ; make)
+    (cd $out/pakcs ; make -j$NIX_BUILD_CORES $makeFlags)


What's this needed for exactly? Does a normal make not work?

@infinisil It works, but swiProlog still embedds references to build directory, so some utilities doesn't work. See upper comment:

cypm new: EXISTENCE ERROR: source_sink "/tmp/nix-build-pakcs-2.0.2.drv-0/pakcs-2.0.2/currytools/cpm/templates/LICENSE" does not exist

So building in $out directory is still neeeded.

xeji · 2018-08-02T13:25:51Z

let's try again
@GrahamcOfBorg build pakcs

GrahamcOfBorg · 2018-08-02T13:26:21Z

No attempt on aarch64-linux (full log)

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

Partial log (click to expand)


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

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

GrahamcOfBorg · 2018-08-02T13:26:34Z

No attempt on x86_64-darwin (full log)

The following builds were skipped because they don't evaluate on x86_64-darwin: pakcs

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 · 2018-08-02T14:14:11Z

Success on x86_64-linux (full log)

Attempted: pakcs

Partial log (click to expand)

/nix/store/1rvz5lvv89g03n2wm2krndgcpfyyg9l3-pakcs-2.0.2/pakcs/src/pakcs: interpreter directive changed from "/bin/sh" to "/nix/store/dkh7l9a4sx7zqh8riqbj3z21sz25p8xy-bash-4.4-p23/bin/sh"
/nix/store/1rvz5lvv89g03n2wm2krndgcpfyyg9l3-pakcs-2.0.2/pakcs/bin/cleancurry: interpreter directive changed from "/bin/sh" to "/nix/store/dkh7l9a4sx7zqh8riqbj3z21sz25p8xy-bash-4.4-p23/bin/sh"
/nix/store/1rvz5lvv89g03n2wm2krndgcpfyyg9l3-pakcs-2.0.2/pakcs/bin/pakcs-makecgi: interpreter directive changed from "/bin/sh" to "/nix/store/dkh7l9a4sx7zqh8riqbj3z21sz25p8xy-bash-4.4-p23/bin/sh"
/nix/store/1rvz5lvv89g03n2wm2krndgcpfyyg9l3-pakcs-2.0.2/pakcs/bin/.pakcs-wrapped: interpreter directive changed from "/bin/sh" to "/nix/store/dkh7l9a4sx7zqh8riqbj3z21sz25p8xy-bash-4.4-p23/bin/sh"
/nix/store/1rvz5lvv89g03n2wm2krndgcpfyyg9l3-pakcs-2.0.2/pakcs/bin/pakcs-fcypp: interpreter directive changed from "/bin/sh" to "/nix/store/dkh7l9a4sx7zqh8riqbj3z21sz25p8xy-bash-4.4-p23/bin/sh"
/nix/store/1rvz5lvv89g03n2wm2krndgcpfyyg9l3-pakcs-2.0.2/pakcs/testsuite/test.sh: interpreter directive changed from "/bin/sh" to "/nix/store/dkh7l9a4sx7zqh8riqbj3z21sz25p8xy-bash-4.4-p23/bin/sh"
/nix/store/1rvz5lvv89g03n2wm2krndgcpfyyg9l3-pakcs-2.0.2/pakcs/examples/test.sh: interpreter directive changed from "/bin/sh" to "/nix/store/dkh7l9a4sx7zqh8riqbj3z21sz25p8xy-bash-4.4-p23/bin/sh"
/nix/store/1rvz5lvv89g03n2wm2krndgcpfyyg9l3-pakcs-2.0.2/pakcs/tools/Peval/peval: interpreter directive changed from "/bin/sh" to "/nix/store/dkh7l9a4sx7zqh8riqbj3z21sz25p8xy-bash-4.4-p23/bin/sh"
checking for references to /build in /nix/store/1rvz5lvv89g03n2wm2krndgcpfyyg9l3-pakcs-2.0.2...
/nix/store/1rvz5lvv89g03n2wm2krndgcpfyyg9l3-pakcs-2.0.2

ghost · 2018-08-02T16:08:14Z

@xeji Thank you!

pakcs: 1.14.0 -> 2.0.2

0186ec7

GrahamcOfBorg added 8.has: clean-up 10.rebuild-darwin: 0 10.rebuild-linux: 1-10 labels Jul 22, 2018

ghost mentioned this pull request Jul 28, 2018

pakcs is broken on nixos-unstable #44176

Closed

infinisil reviewed Jul 29, 2018

View reviewed changes

xeji merged commit a7bfe3c into NixOS:master Aug 2, 2018

ghost deleted the pakcs branch August 2, 2018 16:08

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

pakcs: 1.14.0 -> 2.0.2 #43971

pakcs: 1.14.0 -> 2.0.2 #43971

ghost commented Jul 22, 2018 •

edited by ghost

FRidh commented Jul 22, 2018

FRidh commented Jul 22, 2018

cleverca22 commented Jul 24, 2018

samueldr commented Jul 24, 2018

cleverca22 commented Jul 24, 2018

GrahamcOfBorg commented Jul 24, 2018

GrahamcOfBorg commented Jul 24, 2018

GrahamcOfBorg commented Jul 24, 2018

GrahamcOfBorg commented Jul 24, 2018

ghost commented Jul 24, 2018 •

edited by ghost

GrahamcOfBorg commented Jul 24, 2018

GrahamcOfBorg commented Jul 24, 2018

infinisil Jul 29, 2018

ghost Jul 30, 2018 •

edited by ghost

xeji commented Aug 2, 2018

GrahamcOfBorg commented Aug 2, 2018

GrahamcOfBorg commented Aug 2, 2018

GrahamcOfBorg commented Aug 2, 2018

ghost commented Aug 2, 2018

pakcs: 1.14.0 -> 2.0.2 #43971

pakcs: 1.14.0 -> 2.0.2 #43971

Conversation

ghost commented Jul 22, 2018 • edited by ghost

Motivation for this change

Things done

FRidh commented Jul 22, 2018

FRidh commented Jul 22, 2018

cleverca22 commented Jul 24, 2018

samueldr commented Jul 24, 2018

cleverca22 commented Jul 24, 2018

GrahamcOfBorg commented Jul 24, 2018

GrahamcOfBorg commented Jul 24, 2018

GrahamcOfBorg commented Jul 24, 2018

GrahamcOfBorg commented Jul 24, 2018

ghost commented Jul 24, 2018 • edited by ghost

GrahamcOfBorg commented Jul 24, 2018

GrahamcOfBorg commented Jul 24, 2018

infinisil Jul 29, 2018

Choose a reason for hiding this comment

ghost Jul 30, 2018 • edited by ghost

Choose a reason for hiding this comment

xeji commented Aug 2, 2018

GrahamcOfBorg commented Aug 2, 2018

GrahamcOfBorg commented Aug 2, 2018

GrahamcOfBorg commented Aug 2, 2018

ghost commented Aug 2, 2018

ghost commented Jul 22, 2018 •

edited by ghost

ghost commented Jul 24, 2018 •

edited by ghost

ghost Jul 30, 2018 •

edited by ghost