diff options
author | Michael Raskin <7c6f434c@mail.ru> | 2009-08-25 08:28:08 +0000 |
---|---|---|
committer | Michael Raskin <7c6f434c@mail.ru> | 2009-08-25 08:28:08 +0000 |
commit | 9e928bb1e91d014c6408c26081c16751215d8d06 (patch) | |
tree | bb48e5b95e5c7bbdd06ea75d3b69eb59ba50e9b3 | |
parent | e6b1990f24833dd68ae700074d00c8c0885df3a3 (diff) |
Adding eProver to buildfarm via maintanership
svn path=/nixpkgs/trunk/; revision=16854
-rw-r--r-- | pkgs/lib/default.nix | 3 | ||||
-rw-r--r-- | pkgs/lib/platforms.nix | 10 | ||||
-rw-r--r-- | pkgs/tools/misc/eProver/default.nix | 2 | ||||
-rw-r--r-- | pkgs/top-level/release.nix | 6 |
4 files changed, 15 insertions, 6 deletions
diff --git a/pkgs/lib/default.nix b/pkgs/lib/default.nix index 01f01d5cb165b..aec2fb0bcc06c 100644 --- a/pkgs/lib/default.nix +++ b/pkgs/lib/default.nix @@ -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. diff --git a/pkgs/lib/platforms.nix b/pkgs/lib/platforms.nix new file mode 100644 index 0000000000000..acb35105d15b6 --- /dev/null +++ b/pkgs/lib/platforms.nix @@ -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; +} diff --git a/pkgs/tools/misc/eProver/default.nix b/pkgs/tools/misc/eProver/default.nix index 495f98ffb04ba..30353e122c12a 100644 --- a/pkgs/tools/misc/eProver/default.nix +++ b/pkgs/tools/misc/eProver/default.nix @@ -28,5 +28,7 @@ stdenv.mkDerivation { meta = { description = "E automated theorem prover"; + maintainers = [stdenv.lib.maintainers.raskin]; + platforms = stdenv.lib.platforms.all; }; } diff --git a/pkgs/top-level/release.nix b/pkgs/top-level/release.nix index 2bc07b483ccb1..dcf83c0072990 100644 --- a/pkgs/top-level/release.nix +++ b/pkgs/top-level/release.nix @@ -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; |