nordic-dev.net/nixpkgs
nordic-dev.net/nixpkgs
2
0
Fork 0
mirror of https://github.com/NixOS/nixpkgs.git synced 2025-01-31 01:04:25 +00:00
Code Issues Packages Projects Releases Wiki Activity

Adding eProver to buildfarm via maintanership

Browse Source 
svn path=/nixpkgs/trunk/; revision=16854
This commit is contained in:
Michael Raskin 2009-08-25 08:28:08 +00:00
parent e6b1990f24
commit 9e928bb1e9
4 changed files with 15 additions and 6 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
pkgs/lib/default.nix
View File

@ -14,10 +14,11 @@ let
debug = import ./debug.nix;
misc = import ./misc.nix;
maintainers = import ./maintainers.nix;
platforms = import ./platforms.nix;
in
{ inherit trivial lists strings stringsWithDeps attrsets sources options
properties modules types meta debug maintainers;
properties modules types meta debug maintainers platforms;
}
# !!! don't include everything at top-level; perhaps only the most
# commonly used functions.

10
pkgs/lib/platforms.nix Normal file
View File

@ -0,0 +1,10 @@
let
lists = import ./lists.nix;
in
rec {
linux = ["i686-linux" "x86_64-linux"];
darwin = ["i686-darwin"];
cygwin = ["i686-cygwin"];
all = linux ++ darwin ++ cygwin;
allBut = platform: lists.filter (x: platform != x) all;
}

2
pkgs/tools/misc/eProver/default.nix
View File

@ -28,5 +28,7 @@ stdenv.mkDerivation {
meta = {
description = "E automated theorem prover";
maintainers = [stdenv.lib.maintainers.raskin];
platforms = stdenv.lib.platforms.all;
};
}

6
pkgs/top-level/release.nix
View File

@ -51,11 +51,7 @@ let
else [];
/* Common platform groups on which to test packages. */
linux = ["i686-linux" "x86_64-linux"];
darwin = ["i686-darwin"];
cygwin = ["i686-cygwin"];
all = linux ++ darwin ++ cygwin;
allBut = platform: pkgs.lib.filter (x: platform != x) all;
inherit (pkgs.lib.platforms) linux darwin cygwin allBut all;
/* Platform groups for specific kinds of applications. */
x11Supported = linux;