Commit Graph

19 Commits

Author SHA1 Message Date
Ben Siraphob
66e44425c6 pkgs/development/libraries: stdenv.lib -> lib 2021-01-21 19:11:02 -08:00
Michael Reilly
84cf00f980
treewide: Per RFC45, remove all unquoted URLs 2020-04-10 17:54:53 +01:00
volth
46420bbaa3 treewide: name -> pname (easy cases) (#66585)
treewide replacement of

stdenv.mkDerivation rec {
  name = "*-${version}";
  version = "*";

to pname
2019-08-15 13:41:18 +01:00
Renaud
59660bb476
Merge pull request #59510 from r-ryantm/auto-update/gecode
gecode: 6.1.1 -> 6.2.0
2019-04-24 20:42:59 +02:00
Daniel Schaefer
bac4d95aa2 treewide: Change URLs to HTTPS
Lots of URLs were HTTP redirect to HTTPS. Changed those and checked them
if there's actual content. Inspired by
https://github.com/NixOS/nixpkgs/issues/60004
2019-04-22 10:19:54 +02:00
R. RyanTM
f901019706 gecode: 6.1.1 -> 6.2.0
Semi-automatic update generated by
https://github.com/ryantm/nixpkgs-update tools. This update was made
based on information from
https://repology.org/metapackage/gecode/versions
2019-04-14 11:49:35 -07:00
R. RyanTM
56e1fa2ad4 gecode: 6.1.0 -> 6.1.1
Semi-automatic update generated by
https://github.com/ryantm/nixpkgs-update tools. This update was made
based on information from
https://repology.org/metapackage/gecode/versions
2019-03-03 20:48:18 +01:00
Will Dietz
f00b8b028d gecode: remove maintainer per request 2018-12-01 15:02:20 -06:00
Will Dietz
303e4d7f1a gecode: more deps, build w/gist support but make optional
Also rename "gecode_4" attribute since this is version 6?
2018-12-01 14:24:49 -06:00
Will Dietz
1151a0182d gecode: 6.0.0 -> 6.1.0
https://github.com/Gecode/gecode/releases/tag/release-6.1.0
2018-12-01 13:55:33 -06:00
Ryan Mulligan
f713f7ff85 gecode: 5.0.0 -> 6.0.0
Semi-automatic update generated by https://github.com/ryantm/nix-update tools.

This update was made based on information from https://repology.org/metapackage/gecode/versions.

These checks were done:

- built on NixOS
- ran `/nix/store/39yw7af1kjv8nxb43jfmz5l3vm8czl26-gecode-6.0.0/bin/fzn-gecode --help` got 0 exit code
- ran `/nix/store/39yw7af1kjv8nxb43jfmz5l3vm8czl26-gecode-6.0.0/bin/fzn-gecode --help` and found version 6.0.0
- ran `/nix/store/39yw7af1kjv8nxb43jfmz5l3vm8czl26-gecode-6.0.0/bin/alpha -h` got 0 exit code
- ran `/nix/store/39yw7af1kjv8nxb43jfmz5l3vm8czl26-gecode-6.0.0/bin/alpha --help` got 0 exit code
- ran `/nix/store/39yw7af1kjv8nxb43jfmz5l3vm8czl26-gecode-6.0.0/bin/alpha help` got 0 exit code
- ran `/nix/store/39yw7af1kjv8nxb43jfmz5l3vm8czl26-gecode-6.0.0/bin/alpha --help` and found version 6.0.0
- ran `/nix/store/39yw7af1kjv8nxb43jfmz5l3vm8czl26-gecode-6.0.0/bin/bacp -h` got 0 exit code
- ran `/nix/store/39yw7af1kjv8nxb43jfmz5l3vm8czl26-gecode-6.0.0/bin/bacp --help` got 0 exit code
- ran `/nix/store/39yw7af1kjv8nxb43jfmz5l3vm8czl26-gecode-6.0.0/bin/bacp help` got 0 exit code
- ran `/nix/store/39yw7af1kjv8nxb43jfmz5l3vm8czl26-gecode-6.0.0/bin/bacp --help` and found version 6.0.0
- ran `/nix/store/39yw7af1kjv8nxb43jfmz5l3vm8czl26-gecode-6.0.0/bin/bibd -h` got 0 exit code
- ran `/nix/store/39yw7af1kjv8nxb43jfmz5l3vm8czl26-gecode-6.0.0/bin/bibd --help` got 0 exit code
- ran `/nix/store/39yw7af1kjv8nxb43jfmz5l3vm8czl26-gecode-6.0.0/bin/bibd help` got 0 exit code
- ran `/nix/store/39yw7af1kjv8nxb43jfmz5l3vm8czl26-gecode-6.0.0/bin/bibd --help` and found version 6.0.0
- ran `/nix/store/39yw7af1kjv8nxb43jfmz5l3vm8czl26-gecode-6.0.0/bin/donald -h` got 0 exit code
- ran `/nix/store/39yw7af1kjv8nxb43jfmz5l3vm8czl26-gecode-6.0.0/bin/donald --help` got 0 exit code
- ran `/nix/store/39yw7af1kjv8nxb43jfmz5l3vm8czl26-gecode-6.0.0/bin/donald help` got 0 exit code
- ran `/nix/store/39yw7af1kjv8nxb43jfmz5l3vm8czl26-gecode-6.0.0/bin/donald --help` and found version 6.0.0
- ran `/nix/store/39yw7af1kjv8nxb43jfmz5l3vm8czl26-gecode-6.0.0/bin/efpa -h` got 0 exit code
- ran `/nix/store/39yw7af1kjv8nxb43jfmz5l3vm8czl26-gecode-6.0.0/bin/efpa --help` got 0 exit code
- ran `/nix/store/39yw7af1kjv8nxb43jfmz5l3vm8czl26-gecode-6.0.0/bin/efpa help` got 0 exit code
- ran `/nix/store/39yw7af1kjv8nxb43jfmz5l3vm8czl26-gecode-6.0.0/bin/efpa --help` and found version 6.0.0
- ran `/nix/store/39yw7af1kjv8nxb43jfmz5l3vm8czl26-gecode-6.0.0/bin/eq20 -h` got 0 exit code
- ran `/nix/store/39yw7af1kjv8nxb43jfmz5l3vm8czl26-gecode-6.0.0/bin/eq20 --help` got 0 exit code
- ran `/nix/store/39yw7af1kjv8nxb43jfmz5l3vm8czl26-gecode-6.0.0/bin/eq20 help` got 0 exit code
- ran `/nix/store/39yw7af1kjv8nxb43jfmz5l3vm8czl26-gecode-6.0.0/bin/eq20 --help` and found version 6.0.0
- ran `/nix/store/39yw7af1kjv8nxb43jfmz5l3vm8czl26-gecode-6.0.0/bin/golomb-ruler -h` got 0 exit code
- ran `/nix/store/39yw7af1kjv8nxb43jfmz5l3vm8czl26-gecode-6.0.0/bin/golomb-ruler --help` got 0 exit code
- ran `/nix/store/39yw7af1kjv8nxb43jfmz5l3vm8czl26-gecode-6.0.0/bin/golomb-ruler help` got 0 exit code
- ran `/nix/store/39yw7af1kjv8nxb43jfmz5l3vm8czl26-gecode-6.0.0/bin/golomb-ruler --help` and found version 6.0.0
- ran `/nix/store/39yw7af1kjv8nxb43jfmz5l3vm8czl26-gecode-6.0.0/bin/graph-color -h` got 0 exit code
- ran `/nix/store/39yw7af1kjv8nxb43jfmz5l3vm8czl26-gecode-6.0.0/bin/graph-color --help` got 0 exit code
- ran `/nix/store/39yw7af1kjv8nxb43jfmz5l3vm8czl26-gecode-6.0.0/bin/graph-color help` got 0 exit code
- ran `/nix/store/39yw7af1kjv8nxb43jfmz5l3vm8czl26-gecode-6.0.0/bin/graph-color --help` and found version 6.0.0
- ran `/nix/store/39yw7af1kjv8nxb43jfmz5l3vm8czl26-gecode-6.0.0/bin/grocery -h` got 0 exit code
- ran `/nix/store/39yw7af1kjv8nxb43jfmz5l3vm8czl26-gecode-6.0.0/bin/grocery --help` got 0 exit code
- ran `/nix/store/39yw7af1kjv8nxb43jfmz5l3vm8czl26-gecode-6.0.0/bin/grocery help` got 0 exit code
- ran `/nix/store/39yw7af1kjv8nxb43jfmz5l3vm8czl26-gecode-6.0.0/bin/grocery --help` and found version 6.0.0
- ran `/nix/store/39yw7af1kjv8nxb43jfmz5l3vm8czl26-gecode-6.0.0/bin/ind-set -h` got 0 exit code
- ran `/nix/store/39yw7af1kjv8nxb43jfmz5l3vm8czl26-gecode-6.0.0/bin/ind-set --help` got 0 exit code
- ran `/nix/store/39yw7af1kjv8nxb43jfmz5l3vm8czl26-gecode-6.0.0/bin/ind-set help` got 0 exit code
- ran `/nix/store/39yw7af1kjv8nxb43jfmz5l3vm8czl26-gecode-6.0.0/bin/ind-set --help` and found version 6.0.0
- ran `/nix/store/39yw7af1kjv8nxb43jfmz5l3vm8czl26-gecode-6.0.0/bin/magic-sequence --help` got 0 exit code
- ran `/nix/store/39yw7af1kjv8nxb43jfmz5l3vm8czl26-gecode-6.0.0/bin/magic-sequence --help` and found version 6.0.0
- ran `/nix/store/39yw7af1kjv8nxb43jfmz5l3vm8czl26-gecode-6.0.0/bin/magic-square --help` got 0 exit code
- ran `/nix/store/39yw7af1kjv8nxb43jfmz5l3vm8czl26-gecode-6.0.0/bin/magic-square --help` and found version 6.0.0
- ran `/nix/store/39yw7af1kjv8nxb43jfmz5l3vm8czl26-gecode-6.0.0/bin/money -h` got 0 exit code
- ran `/nix/store/39yw7af1kjv8nxb43jfmz5l3vm8czl26-gecode-6.0.0/bin/money --help` got 0 exit code
- ran `/nix/store/39yw7af1kjv8nxb43jfmz5l3vm8czl26-gecode-6.0.0/bin/money help` got 0 exit code
- ran `/nix/store/39yw7af1kjv8nxb43jfmz5l3vm8czl26-gecode-6.0.0/bin/money --help` and found version 6.0.0
- ran `/nix/store/39yw7af1kjv8nxb43jfmz5l3vm8czl26-gecode-6.0.0/bin/ortho-latin --help` got 0 exit code
- ran `/nix/store/39yw7af1kjv8nxb43jfmz5l3vm8czl26-gecode-6.0.0/bin/ortho-latin --help` and found version 6.0.0
- ran `/nix/store/39yw7af1kjv8nxb43jfmz5l3vm8czl26-gecode-6.0.0/bin/partition --help` got 0 exit code
- ran `/nix/store/39yw7af1kjv8nxb43jfmz5l3vm8czl26-gecode-6.0.0/bin/partition --help` and found version 6.0.0
- ran `/nix/store/39yw7af1kjv8nxb43jfmz5l3vm8czl26-gecode-6.0.0/bin/photo -h` got 0 exit code
- ran `/nix/store/39yw7af1kjv8nxb43jfmz5l3vm8czl26-gecode-6.0.0/bin/photo --help` got 0 exit code
- ran `/nix/store/39yw7af1kjv8nxb43jfmz5l3vm8czl26-gecode-6.0.0/bin/photo help` got 0 exit code
- ran `/nix/store/39yw7af1kjv8nxb43jfmz5l3vm8czl26-gecode-6.0.0/bin/photo --help` and found version 6.0.0
- ran `/nix/store/39yw7af1kjv8nxb43jfmz5l3vm8czl26-gecode-6.0.0/bin/queens --help` got 0 exit code
- ran `/nix/store/39yw7af1kjv8nxb43jfmz5l3vm8czl26-gecode-6.0.0/bin/queens --help` and found version 6.0.0
- ran `/nix/store/39yw7af1kjv8nxb43jfmz5l3vm8czl26-gecode-6.0.0/bin/sudoku -h` got 0 exit code
- ran `/nix/store/39yw7af1kjv8nxb43jfmz5l3vm8czl26-gecode-6.0.0/bin/sudoku --help` got 0 exit code
- ran `/nix/store/39yw7af1kjv8nxb43jfmz5l3vm8czl26-gecode-6.0.0/bin/sudoku help` got 0 exit code
- ran `/nix/store/39yw7af1kjv8nxb43jfmz5l3vm8czl26-gecode-6.0.0/bin/sudoku --help` and found version 6.0.0
- ran `/nix/store/39yw7af1kjv8nxb43jfmz5l3vm8czl26-gecode-6.0.0/bin/kakuro -h` got 0 exit code
- ran `/nix/store/39yw7af1kjv8nxb43jfmz5l3vm8czl26-gecode-6.0.0/bin/kakuro --help` got 0 exit code
- ran `/nix/store/39yw7af1kjv8nxb43jfmz5l3vm8czl26-gecode-6.0.0/bin/kakuro help` got 0 exit code
- ran `/nix/store/39yw7af1kjv8nxb43jfmz5l3vm8czl26-gecode-6.0.0/bin/kakuro --help` and found version 6.0.0
- ran `/nix/store/39yw7af1kjv8nxb43jfmz5l3vm8czl26-gecode-6.0.0/bin/nonogram -h` got 0 exit code
- ran `/nix/store/39yw7af1kjv8nxb43jfmz5l3vm8czl26-gecode-6.0.0/bin/nonogram --help` got 0 exit code
- ran `/nix/store/39yw7af1kjv8nxb43jfmz5l3vm8czl26-gecode-6.0.0/bin/nonogram help` got 0 exit code
- ran `/nix/store/39yw7af1kjv8nxb43jfmz5l3vm8czl26-gecode-6.0.0/bin/nonogram --help` and found version 6.0.0
- ran `/nix/store/39yw7af1kjv8nxb43jfmz5l3vm8czl26-gecode-6.0.0/bin/pentominoes -h` got 0 exit code
- ran `/nix/store/39yw7af1kjv8nxb43jfmz5l3vm8czl26-gecode-6.0.0/bin/pentominoes --help` got 0 exit code
- ran `/nix/store/39yw7af1kjv8nxb43jfmz5l3vm8czl26-gecode-6.0.0/bin/pentominoes help` got 0 exit code
- ran `/nix/store/39yw7af1kjv8nxb43jfmz5l3vm8czl26-gecode-6.0.0/bin/pentominoes --help` and found version 6.0.0
- ran `/nix/store/39yw7af1kjv8nxb43jfmz5l3vm8czl26-gecode-6.0.0/bin/crowded-chess --help` got 0 exit code
- ran `/nix/store/39yw7af1kjv8nxb43jfmz5l3vm8czl26-gecode-6.0.0/bin/crowded-chess --help` and found version 6.0.0
- ran `/nix/store/39yw7af1kjv8nxb43jfmz5l3vm8czl26-gecode-6.0.0/bin/black-hole -h` got 0 exit code
- ran `/nix/store/39yw7af1kjv8nxb43jfmz5l3vm8czl26-gecode-6.0.0/bin/black-hole --help` got 0 exit code
- ran `/nix/store/39yw7af1kjv8nxb43jfmz5l3vm8czl26-gecode-6.0.0/bin/black-hole help` got 0 exit code
- ran `/nix/store/39yw7af1kjv8nxb43jfmz5l3vm8czl26-gecode-6.0.0/bin/black-hole --help` and found version 6.0.0
- ran `/nix/store/39yw7af1kjv8nxb43jfmz5l3vm8czl26-gecode-6.0.0/bin/minesweeper -h` got 0 exit code
- ran `/nix/store/39yw7af1kjv8nxb43jfmz5l3vm8czl26-gecode-6.0.0/bin/minesweeper --help` got 0 exit code
- ran `/nix/store/39yw7af1kjv8nxb43jfmz5l3vm8czl26-gecode-6.0.0/bin/minesweeper help` got 0 exit code
- ran `/nix/store/39yw7af1kjv8nxb43jfmz5l3vm8czl26-gecode-6.0.0/bin/minesweeper --help` and found version 6.0.0
- ran `/nix/store/39yw7af1kjv8nxb43jfmz5l3vm8czl26-gecode-6.0.0/bin/domino -h` got 0 exit code
- ran `/nix/store/39yw7af1kjv8nxb43jfmz5l3vm8czl26-gecode-6.0.0/bin/domino --help` got 0 exit code
- ran `/nix/store/39yw7af1kjv8nxb43jfmz5l3vm8czl26-gecode-6.0.0/bin/domino help` got 0 exit code
- ran `/nix/store/39yw7af1kjv8nxb43jfmz5l3vm8czl26-gecode-6.0.0/bin/domino --help` and found version 6.0.0
- ran `/nix/store/39yw7af1kjv8nxb43jfmz5l3vm8czl26-gecode-6.0.0/bin/steel-mill --help` got 0 exit code
- ran `/nix/store/39yw7af1kjv8nxb43jfmz5l3vm8czl26-gecode-6.0.0/bin/steel-mill --help` and found version 6.0.0
- ran `/nix/store/39yw7af1kjv8nxb43jfmz5l3vm8czl26-gecode-6.0.0/bin/sports-league --help` got 0 exit code
- ran `/nix/store/39yw7af1kjv8nxb43jfmz5l3vm8czl26-gecode-6.0.0/bin/sports-league --help` and found version 6.0.0
- ran `/nix/store/39yw7af1kjv8nxb43jfmz5l3vm8czl26-gecode-6.0.0/bin/all-interval --help` got 0 exit code
- ran `/nix/store/39yw7af1kjv8nxb43jfmz5l3vm8czl26-gecode-6.0.0/bin/all-interval --help` and found version 6.0.0
- ran `/nix/store/39yw7af1kjv8nxb43jfmz5l3vm8czl26-gecode-6.0.0/bin/langford-number -h` got 0 exit code
- ran `/nix/store/39yw7af1kjv8nxb43jfmz5l3vm8czl26-gecode-6.0.0/bin/langford-number --help` got 0 exit code
- ran `/nix/store/39yw7af1kjv8nxb43jfmz5l3vm8czl26-gecode-6.0.0/bin/langford-number help` got 0 exit code
- ran `/nix/store/39yw7af1kjv8nxb43jfmz5l3vm8czl26-gecode-6.0.0/bin/langford-number --help` and found version 6.0.0
- ran `/nix/store/39yw7af1kjv8nxb43jfmz5l3vm8czl26-gecode-6.0.0/bin/warehouses -h` got 0 exit code
- ran `/nix/store/39yw7af1kjv8nxb43jfmz5l3vm8czl26-gecode-6.0.0/bin/warehouses --help` got 0 exit code
- ran `/nix/store/39yw7af1kjv8nxb43jfmz5l3vm8czl26-gecode-6.0.0/bin/warehouses help` got 0 exit code
- ran `/nix/store/39yw7af1kjv8nxb43jfmz5l3vm8czl26-gecode-6.0.0/bin/warehouses --help` and found version 6.0.0
- ran `/nix/store/39yw7af1kjv8nxb43jfmz5l3vm8czl26-gecode-6.0.0/bin/radiotherapy -h` got 0 exit code
- ran `/nix/store/39yw7af1kjv8nxb43jfmz5l3vm8czl26-gecode-6.0.0/bin/radiotherapy --help` got 0 exit code
- ran `/nix/store/39yw7af1kjv8nxb43jfmz5l3vm8czl26-gecode-6.0.0/bin/radiotherapy help` got 0 exit code
- ran `/nix/store/39yw7af1kjv8nxb43jfmz5l3vm8czl26-gecode-6.0.0/bin/radiotherapy --help` and found version 6.0.0
- ran `/nix/store/39yw7af1kjv8nxb43jfmz5l3vm8czl26-gecode-6.0.0/bin/word-square --help` got 0 exit code
- ran `/nix/store/39yw7af1kjv8nxb43jfmz5l3vm8czl26-gecode-6.0.0/bin/word-square --help` and found version 6.0.0
- ran `/nix/store/39yw7af1kjv8nxb43jfmz5l3vm8czl26-gecode-6.0.0/bin/crossword -h` got 0 exit code
- ran `/nix/store/39yw7af1kjv8nxb43jfmz5l3vm8czl26-gecode-6.0.0/bin/crossword --help` got 0 exit code
- ran `/nix/store/39yw7af1kjv8nxb43jfmz5l3vm8czl26-gecode-6.0.0/bin/crossword help` got 0 exit code
- ran `/nix/store/39yw7af1kjv8nxb43jfmz5l3vm8czl26-gecode-6.0.0/bin/crossword --help` and found version 6.0.0
- ran `/nix/store/39yw7af1kjv8nxb43jfmz5l3vm8czl26-gecode-6.0.0/bin/open-shop -h` got 0 exit code
- ran `/nix/store/39yw7af1kjv8nxb43jfmz5l3vm8czl26-gecode-6.0.0/bin/open-shop --help` got 0 exit code
- ran `/nix/store/39yw7af1kjv8nxb43jfmz5l3vm8czl26-gecode-6.0.0/bin/open-shop help` got 0 exit code
- ran `/nix/store/39yw7af1kjv8nxb43jfmz5l3vm8czl26-gecode-6.0.0/bin/open-shop --help` and found version 6.0.0
- ran `/nix/store/39yw7af1kjv8nxb43jfmz5l3vm8czl26-gecode-6.0.0/bin/car-sequencing -h` got 0 exit code
- ran `/nix/store/39yw7af1kjv8nxb43jfmz5l3vm8czl26-gecode-6.0.0/bin/car-sequencing --help` got 0 exit code
- ran `/nix/store/39yw7af1kjv8nxb43jfmz5l3vm8czl26-gecode-6.0.0/bin/car-sequencing help` got 0 exit code
- ran `/nix/store/39yw7af1kjv8nxb43jfmz5l3vm8czl26-gecode-6.0.0/bin/car-sequencing --help` and found version 6.0.0
- ran `/nix/store/39yw7af1kjv8nxb43jfmz5l3vm8czl26-gecode-6.0.0/bin/sat --help` got 0 exit code
- ran `/nix/store/39yw7af1kjv8nxb43jfmz5l3vm8czl26-gecode-6.0.0/bin/sat --help` and found version 6.0.0
- ran `/nix/store/39yw7af1kjv8nxb43jfmz5l3vm8czl26-gecode-6.0.0/bin/bin-packing --help` got 0 exit code
- ran `/nix/store/39yw7af1kjv8nxb43jfmz5l3vm8czl26-gecode-6.0.0/bin/bin-packing --help` and found version 6.0.0
- ran `/nix/store/39yw7af1kjv8nxb43jfmz5l3vm8czl26-gecode-6.0.0/bin/knights --help` got 0 exit code
- ran `/nix/store/39yw7af1kjv8nxb43jfmz5l3vm8czl26-gecode-6.0.0/bin/knights --help` and found version 6.0.0
- ran `/nix/store/39yw7af1kjv8nxb43jfmz5l3vm8czl26-gecode-6.0.0/bin/tsp -h` got 0 exit code
- ran `/nix/store/39yw7af1kjv8nxb43jfmz5l3vm8czl26-gecode-6.0.0/bin/tsp --help` got 0 exit code
- ran `/nix/store/39yw7af1kjv8nxb43jfmz5l3vm8czl26-gecode-6.0.0/bin/tsp help` got 0 exit code
- ran `/nix/store/39yw7af1kjv8nxb43jfmz5l3vm8czl26-gecode-6.0.0/bin/tsp --help` and found version 6.0.0
- ran `/nix/store/39yw7af1kjv8nxb43jfmz5l3vm8czl26-gecode-6.0.0/bin/perfect-square -h` got 0 exit code
- ran `/nix/store/39yw7af1kjv8nxb43jfmz5l3vm8czl26-gecode-6.0.0/bin/perfect-square --help` got 0 exit code
- ran `/nix/store/39yw7af1kjv8nxb43jfmz5l3vm8czl26-gecode-6.0.0/bin/perfect-square help` got 0 exit code
- ran `/nix/store/39yw7af1kjv8nxb43jfmz5l3vm8czl26-gecode-6.0.0/bin/perfect-square --help` and found version 6.0.0
- ran `/nix/store/39yw7af1kjv8nxb43jfmz5l3vm8czl26-gecode-6.0.0/bin/schurs-lemma -h` got 0 exit code
- ran `/nix/store/39yw7af1kjv8nxb43jfmz5l3vm8czl26-gecode-6.0.0/bin/schurs-lemma --help` got 0 exit code
- ran `/nix/store/39yw7af1kjv8nxb43jfmz5l3vm8czl26-gecode-6.0.0/bin/schurs-lemma help` got 0 exit code
- ran `/nix/store/39yw7af1kjv8nxb43jfmz5l3vm8czl26-gecode-6.0.0/bin/schurs-lemma --help` and found version 6.0.0
- ran `/nix/store/39yw7af1kjv8nxb43jfmz5l3vm8czl26-gecode-6.0.0/bin/dominating-queens --help` got 0 exit code
- ran `/nix/store/39yw7af1kjv8nxb43jfmz5l3vm8czl26-gecode-6.0.0/bin/dominating-queens --help` and found version 6.0.0
- ran `/nix/store/39yw7af1kjv8nxb43jfmz5l3vm8czl26-gecode-6.0.0/bin/colored-matrix --help` got 0 exit code
- ran `/nix/store/39yw7af1kjv8nxb43jfmz5l3vm8czl26-gecode-6.0.0/bin/colored-matrix --help` and found version 6.0.0
- ran `/nix/store/39yw7af1kjv8nxb43jfmz5l3vm8czl26-gecode-6.0.0/bin/multi-bin-packing --help` got 0 exit code
- ran `/nix/store/39yw7af1kjv8nxb43jfmz5l3vm8czl26-gecode-6.0.0/bin/multi-bin-packing --help` and found version 6.0.0
- ran `/nix/store/39yw7af1kjv8nxb43jfmz5l3vm8czl26-gecode-6.0.0/bin/qcp --help` got 0 exit code
- ran `/nix/store/39yw7af1kjv8nxb43jfmz5l3vm8czl26-gecode-6.0.0/bin/qcp --help` and found version 6.0.0
- ran `/nix/store/39yw7af1kjv8nxb43jfmz5l3vm8czl26-gecode-6.0.0/bin/crew -h` got 0 exit code
- ran `/nix/store/39yw7af1kjv8nxb43jfmz5l3vm8czl26-gecode-6.0.0/bin/crew --help` got 0 exit code
- ran `/nix/store/39yw7af1kjv8nxb43jfmz5l3vm8czl26-gecode-6.0.0/bin/crew help` got 0 exit code
- ran `/nix/store/39yw7af1kjv8nxb43jfmz5l3vm8czl26-gecode-6.0.0/bin/crew --help` and found version 6.0.0
- ran `/nix/store/39yw7af1kjv8nxb43jfmz5l3vm8czl26-gecode-6.0.0/bin/golf -h` got 0 exit code
- ran `/nix/store/39yw7af1kjv8nxb43jfmz5l3vm8czl26-gecode-6.0.0/bin/golf --help` got 0 exit code
- ran `/nix/store/39yw7af1kjv8nxb43jfmz5l3vm8czl26-gecode-6.0.0/bin/golf help` got 0 exit code
- ran `/nix/store/39yw7af1kjv8nxb43jfmz5l3vm8czl26-gecode-6.0.0/bin/golf --help` and found version 6.0.0
- ran `/nix/store/39yw7af1kjv8nxb43jfmz5l3vm8czl26-gecode-6.0.0/bin/hamming -h` got 0 exit code
- ran `/nix/store/39yw7af1kjv8nxb43jfmz5l3vm8czl26-gecode-6.0.0/bin/hamming --help` got 0 exit code
- ran `/nix/store/39yw7af1kjv8nxb43jfmz5l3vm8czl26-gecode-6.0.0/bin/hamming help` got 0 exit code
- ran `/nix/store/39yw7af1kjv8nxb43jfmz5l3vm8czl26-gecode-6.0.0/bin/hamming --help` and found version 6.0.0
- ran `/nix/store/39yw7af1kjv8nxb43jfmz5l3vm8czl26-gecode-6.0.0/bin/steiner --help` got 0 exit code
- ran `/nix/store/39yw7af1kjv8nxb43jfmz5l3vm8czl26-gecode-6.0.0/bin/steiner --help` and found version 6.0.0
- ran `/nix/store/39yw7af1kjv8nxb43jfmz5l3vm8czl26-gecode-6.0.0/bin/queen-armies -h` got 0 exit code
- ran `/nix/store/39yw7af1kjv8nxb43jfmz5l3vm8czl26-gecode-6.0.0/bin/queen-armies --help` got 0 exit code
- ran `/nix/store/39yw7af1kjv8nxb43jfmz5l3vm8czl26-gecode-6.0.0/bin/queen-armies help` got 0 exit code
- ran `/nix/store/39yw7af1kjv8nxb43jfmz5l3vm8czl26-gecode-6.0.0/bin/queen-armies --help` and found version 6.0.0
- ran `/nix/store/39yw7af1kjv8nxb43jfmz5l3vm8czl26-gecode-6.0.0/bin/cartesian-heart --help` got 0 exit code
- ran `/nix/store/39yw7af1kjv8nxb43jfmz5l3vm8czl26-gecode-6.0.0/bin/cartesian-heart --help` and found version 6.0.0
- ran `/nix/store/39yw7af1kjv8nxb43jfmz5l3vm8czl26-gecode-6.0.0/bin/descartes-folium -h` got 0 exit code
- ran `/nix/store/39yw7af1kjv8nxb43jfmz5l3vm8czl26-gecode-6.0.0/bin/descartes-folium --help` got 0 exit code
- ran `/nix/store/39yw7af1kjv8nxb43jfmz5l3vm8czl26-gecode-6.0.0/bin/descartes-folium help` got 0 exit code
- ran `/nix/store/39yw7af1kjv8nxb43jfmz5l3vm8czl26-gecode-6.0.0/bin/descartes-folium --help` and found version 6.0.0
- found 6.0.0 with grep in /nix/store/39yw7af1kjv8nxb43jfmz5l3vm8czl26-gecode-6.0.0
- directory tree listing: https://gist.github.com/e064209ab25e76839d89e65c77630cf7
2018-03-30 10:21:11 +01:00
Will Dietz
fbaa334bcd gecode_3: use bash to run "configure", fix error
Error:

/configure: ./configure.lineno: line 11561: syntax error: unexpected "("
2018-03-01 09:16:18 -06:00
ndowens
d80cb1b080 gecode: 4.4.0 -> 5.0.0 2017-03-12 16:21:13 -05:00
Charles Strahan
b6c06e216b ruby: new bundler infrastructure
This improves our Bundler integration (i.e. `bundlerEnv`).

Before describing the implementation differences, I'd like to point a
breaking change: buildRubyGem now expects `gemName` and `version` as
arguments, rather than a `name` attribute in the form of
"<gem-name>-<version>".

Now for the differences in implementation.

The previous implementation installed all gems at once in a single
derivation. This was made possible by using a set of monkey-patches to
prevent Bundler from downloading gems impurely, and to help Bundler
find and activate all required gems prior to installation. This had
several downsides:

* The patches were really hard to understand, and required subtle
  interaction with the rest of the build environment.
* A single install failure would cause the entire derivation to fail.

The new implementation takes a different approach: we install gems into
separate derivations, and then present Bundler with a symlink forest
thereof. This has a couple benefits over the existing approach:

* Fewer patches are required, with less interplay with the rest of the
  build environment.
* Changes to one gem no longer cause a rebuild of the entire dependency
  graph.
* Builds take 20% less time (using gitlab as a reference).

It's unfortunate that we still have to muck with Bundler's internals,
though it's unavoidable with the way that Bundler is currently designed.
There are a number improvements that could be made in Bundler that would
simplify our packaging story:

* Bundler requires all installed gems reside within the same prefix
  (GEM_HOME), unlike RubyGems which allows for multiple prefixes to
  be specified through GEM_PATH. It would be ideal if Bundler allowed
  for packages to be installed and sourced from multiple prefixes.
* Bundler installs git sources very differently from how RubyGems
  installs gem packages, and, unlike RubyGems, it doesn't provide a
  public interface (CLI or programmatic) to guide the installation of a
  single gem. We are presented with the options of either
  reimplementing a considerable portion Bundler, or patch and use parts
  of its internals; I choose the latter. Ideally, there would be a way
  to install gems from git sources in a manner similar to how we drive
  `gem` to install gem packages.
* When a bundled program is executed (via `bundle exec` or a
  binstub that does `require 'bundler/setup'`), the setup process reads
  the Gemfile.lock, activates the dependencies, re-serializes the lock
  file it read earlier, and then attempts to overwrite the Gemfile.lock
  if the contents aren't bit-identical. I think the reasoning is that
  by merely running an application with a newer version of Bundler, you'll
  automatically keep the Gemfile.lock up-to-date with any changes in the
  format. Unfortunately, that doesn't play well with any form of
  packaging, because bundler will immediately cause the application to
  abort when it attempts to write to the read-only Gemfile.lock in the
  store. We work around this by normalizing the Gemfile.lock with the
  version of Bundler that we'll use at runtime before we copy it into
  the store. This feels fragile, but it's the best we can do without
  changes upstream, or resorting to more delicate hacks.

With all of the challenges in using Bundler, one might wonder why we
can't just cut Bundler out of the picture and use RubyGems. After all,
Nix provides most of the isolation that Bundler is used for anyway.

The problem, however, is that almost every Rails application calls
`Bundler::require` at startup (by way of the default project templates).
Because bundler will then, by default, `require` each gem listed in the
Gemfile, Rails applications are almost always written such that none of
the source files explicitly require their dependencies. That leaves us
with two options: support and use Bundler, or maintain massive patches
for every Rails application that we package.

Closes #8612
2015-12-29 09:30:21 -05:00
Nathaniel Baxter
4b7d390c92 gecode: update from 4.3.3 to 4.4.0 2015-04-14 17:47:30 +10:00
Nathaniel Baxter
b19da5ba23 gecode: update from 4.3.0 to 4.3.3 2015-02-17 18:50:48 +11:00
Michael Fellinger
b3594998d3 gecode: fix meta 2014-09-10 16:15:24 +02:00
Michael Fellinger
6f2ffe2198 gecode: meta information 2014-09-10 15:38:25 +02:00
Michael Fellinger
4aed828dd0 gecode: add package 2014-09-10 14:14:58 +02:00