Maximilian Bosch
29bc0a00a1
Aspino patched `libglucose` for their own uses, however they currently depend on glucose v4.0. (see https://github.com/alviano/aspino/tree/e31c3b4e5791a454e6602439cb26bd98d23c4e78/patches) The patches don't apply properly on `glucose-4.1` anymore, furthermore the new source directory caused the `bootstrap.sh` from `aspino` which was supposed to apply the patches and recompile the setup to break. Furthermore some minor changes to the derivation were introduced: - upgraded from `2016-01-31` to `2017-03-09` - the name contains an `-unstable-` infix as upstream has no releases - instead of a `patchPhase` the `postPatch` hook will be used for `substituteInPlace` to keep advanced patching features from `nixpkgs` available. - `patchShebangs` will be called to avoid impurities because of the implicit reliance on `/bin/sh` - added myself as second maintainer to have more people available in case of any further breackage See https://hydra.nixos.org/build/70688471/log See ticket #36453
Nixpkgs is a collection of packages for the Nix package manager. It is periodically built and tested by the Hydra build daemon as so-called channels. To get channel information via git, add nixpkgs-channels as a remote:
% git remote add channels git://github.com/NixOS/nixpkgs-channels.git
For stability and maximum binary package support, it is recommended to maintain
custom changes on top of one of the channels, e.g. nixos-17.09 for the latest
release and nixos-unstable for the latest successful build of master:
% git remote update channels
% git rebase channels/nixos-17.09
For pull-requests, please rebase onto nixpkgs master.
NixOS Linux distribution source code is located inside
nixos/ folder.
- NixOS installation instructions
- Documentation (Nix Expression Language chapter)
- Manual (How to write packages for Nix)
- Manual (NixOS)
- Community maintained wiki
- Continuous package builds for unstable/master
- Continuous package builds for 17.09 release
- Tests for unstable/master
- Tests for 17.09 release
Communication: