nixpkgs/lib/platforms.nix

let lists = import ./lists.nix; in

rec {
  gnu = linux; /* ++ hurd ++ kfreebsd ++ ... */
  linux = ["i686-linux" "x86_64-linux" "armv5tel-linux" "armv7l-linux" "mips64el-linux"];
  darwin = ["x86_64-darwin"];
  freebsd = ["i686-freebsd" "x86_64-freebsd"];
  openbsd = ["i686-openbsd" "x86_64-openbsd"];
  netbsd = ["i686-netbsd" "x86_64-netbsd"];
  cygwin = ["i686-cygwin"];
  unix = linux ++ darwin ++ freebsd ++ openbsd;
  all = linux ++ darwin ++ cygwin ++ freebsd ++ openbsd;
  none = [];
  allBut = platform: lists.filter (x: platform != x) all;
  mesaPlatforms = ["i686-linux" "x86_64-linux" "x86_64-darwin" "armv5tel-linux" "armv6l-linux"];
}
* selectMaintained (renamed): don't use meta.maintainer, just use meta.platforms. * Valgrind should work on Darwin now, except that our GCC doesn't recognise the -arch flag. svn path=/nixpkgs/trunk/; revision=17372 2009-09-23 23:45:02 +04:00			`let lists = import ./lists.nix; in`

Adding eProver to buildfarm via maintanership svn path=/nixpkgs/trunk/; revision=16854 2009-08-25 12:28:08 +04:00			`rec {`
* selectMaintained (renamed): don't use meta.maintainer, just use meta.platforms. * Valgrind should work on Darwin now, except that our GCC doesn't recognise the -arch flag. svn path=/nixpkgs/trunk/; revision=17372 2009-09-23 23:45:02 +04:00			`gnu = linux; /* ++ hurd ++ kfreebsd ++ ... */`
Remove some unsupported platforms 2013-11-04 23:23:47 +04:00			`linux = ["i686-linux" "x86_64-linux" "armv5tel-linux" "armv7l-linux" "mips64el-linux"];`
Remove support for the obsolete powerpc-darwin and i686-darwin platforms 2012-11-29 17:10:49 +04:00			`darwin = ["x86_64-darwin"];`
Remove some unsupported platforms 2013-11-04 23:23:47 +04:00			`freebsd = ["i686-freebsd" "x86_64-freebsd"];`
* Enable builds on OpenBSD. svn path=/nixpkgs/trunk/; revision=17739 2009-10-09 23:42:59 +04:00			`openbsd = ["i686-openbsd" "x86_64-openbsd"];`
* The libx86 package refers to platforms.netbsd, so add it. svn path=/nixpkgs/trunk/; revision=17987 2009-10-28 15:25:06 +03:00			`netbsd = ["i686-netbsd" "x86_64-netbsd"];`
Adding eProver to buildfarm via maintanership svn path=/nixpkgs/trunk/; revision=16854 2009-08-25 12:28:08 +04:00			`cygwin = ["i686-cygwin"];`
* Enable builds on OpenBSD. svn path=/nixpkgs/trunk/; revision=17739 2009-10-09 23:42:59 +04:00			`unix = linux ++ darwin ++ freebsd ++ openbsd;`
			`all = linux ++ darwin ++ cygwin ++ freebsd ++ openbsd;`
Platform refinement. This should be stable under regeneration with hackage4nix. svn path=/nixpkgs/trunk/; revision=34189 2012-05-21 00:21:55 +04:00			`none = [];`
Adding eProver to buildfarm via maintanership svn path=/nixpkgs/trunk/; revision=16854 2009-08-25 12:28:08 +04:00			`allBut = platform: lists.filter (x: platform != x) all;`
Adding some 'arm' as mesa platforms. Otherwise assertions won't let me build some pieces. 2013-02-17 03:28:22 +04:00			`mesaPlatforms = ["i686-linux" "x86_64-linux" "x86_64-darwin" "armv5tel-linux" "armv6l-linux"];`
Adding eProver to buildfarm via maintanership svn path=/nixpkgs/trunk/; revision=16854 2009-08-25 12:28:08 +04:00			`}`