summary refs log tree commit diff
path: root/pkgs/development/libraries/gecode
Commit message (Collapse)AuthorAge
* treewide: name -> pname (easy cases) (#66585)volth2019-08-15
| | | | | | | | | treewide replacement of stdenv.mkDerivation rec { name = "*-${version}"; version = "*"; to pname
* Merge pull request #59510 from r-ryantm/auto-update/gecodeRenaud2019-04-24
|\ | | | | gecode: 6.1.1 -> 6.2.0
| * gecode: 6.1.1 -> 6.2.0R. RyanTM2019-04-14
| | | | | | | | | | | | | | 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
* | treewide: Change URLs to HTTPSDaniel Schaefer2019-04-22
|/ | | | | | 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
* gecode: 6.1.0 -> 6.1.1R. RyanTM2019-03-03
| | | | | | | 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
* gecode: remove maintainer per requestWill Dietz2018-12-01
|
* gecode: more deps, build w/gist support but make optionalWill Dietz2018-12-01
| | | | Also rename "gecode_4" attribute since this is version 6?
* gecode: 6.0.0 -> 6.1.0Will Dietz2018-12-01
| | | | https://github.com/Gecode/gecode/releases/tag/release-6.1.0
* gecode: 5.0.0 -> 6.0.0Ryan Mulligan2018-03-30
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | 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
* gecode_3: use bash to run "configure", fix errorWill Dietz2018-03-01
| | | | | | Error: /configure: ./configure.lineno: line 11561: syntax error: unexpected "("
* gecode: 4.4.0 -> 5.0.0ndowens2017-03-12
|
* ruby: new bundler infrastructureCharles Strahan2015-12-29
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | 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
* gecode: update from 4.3.3 to 4.4.0Nathaniel Baxter2015-04-14
|
* gecode: update from 4.3.0 to 4.3.3Nathaniel Baxter2015-02-17
|
* gecode: fix metaMichael Fellinger2014-09-10
|
* gecode: meta informationMichael Fellinger2014-09-10
|
* gecode: add packageMichael Fellinger2014-09-10