2009-09-23 19:45:02 +00:00
										 
									 
								 
							 | 
							
								
									
										
									
								
							 | 
							
								
							 | 
							
							
								let lists = import ./lists.nix; in
							 | 
						
					
						
							| 
								
							 | 
							
								
							 | 
							
								
							 | 
							
							
								
							 | 
						
					
						
							
								
									
										
										
										
											2009-08-25 08:28:08 +00:00
										 
									 
								 
							 | 
							
								
							 | 
							
								
							 | 
							
							
								rec {
							 | 
						
					
						
							
								
									
										
										
										
											2009-09-23 19:45:02 +00:00
										 
									 
								 
							 | 
							
								
									
										
									
								
							 | 
							
								
							 | 
							
							
								  gnu = linux; /* ++ hurd ++ kfreebsd ++ ... */
							 | 
						
					
						
							
								
									
										
										
										
											2014-09-27 11:21:10 +02:00
										 
									 
								 
							 | 
							
								
									
										
									
								
							 | 
							
								
							 | 
							
							
								  linux = ["i686-linux" "x86_64-linux" "armv5tel-linux" "armv6l-linux" "armv7l-linux" "mips64el-linux"];
							 | 
						
					
						
							
								
									
										
										
										
											2012-11-29 14:10:49 +01:00
										 
									 
								 
							 | 
							
								
									
										
									
								
							 | 
							
								
							 | 
							
							
								  darwin = ["x86_64-darwin"];
							 | 
						
					
						
							
								
									
										
										
										
											2013-11-04 20:23:47 +01:00
										 
									 
								 
							 | 
							
								
									
										
									
								
							 | 
							
								
							 | 
							
							
								  freebsd = ["i686-freebsd" "x86_64-freebsd"];
							 | 
						
					
						
							
								
									
										
										
										
											2009-10-09 19:42:59 +00:00
										 
									 
								 
							 | 
							
								
									
										
									
								
							 | 
							
								
							 | 
							
							
								  openbsd = ["i686-openbsd" "x86_64-openbsd"];
							 | 
						
					
						
							
								
									
										
										
										
											2009-10-28 12:25:06 +00:00
										 
									 
								 
							 | 
							
								
									
										
									
								
							 | 
							
								
							 | 
							
							
								  netbsd = ["i686-netbsd" "x86_64-netbsd"];
							 | 
						
					
						
							
								
									
										
										
										
											2014-05-29 14:47:07 +02:00
										 
									 
								 
							 | 
							
								
									
										
									
								
							 | 
							
								
							 | 
							
							
								  cygwin = ["i686-cygwin" "x86_64-cygwin"];
							 | 
						
					
						
							
								
									
										
										
										
											2009-10-09 19:42:59 +00:00
										 
									 
								 
							 | 
							
								
									
										
									
								
							 | 
							
								
							 | 
							
							
								  unix = linux ++ darwin ++ freebsd ++ openbsd;
							 | 
						
					
						
							| 
								
							 | 
							
								
							 | 
							
								
							 | 
							
							
								  all = linux ++ darwin ++ cygwin ++ freebsd ++ openbsd;
							 | 
						
					
						
							
								
									
										
										
										
											2012-05-20 20:21:55 +00:00
										 
									 
								 
							 | 
							
								
									
										
									
								
							 | 
							
								
							 | 
							
							
								  none = [];
							 | 
						
					
						
							
								
									
										
										
										
											2014-08-09 12:28:16 +02:00
										 
									 
								 
							 | 
							
								
									
										
									
								
							 | 
							
								
							 | 
							
							
								  allBut = platforms: lists.filter (x: !(builtins.elem x platforms)) all;
							 | 
						
					
						
							
								
									
										
										
										
											2013-02-17 00:28:22 +01:00
										 
									 
								 
							 | 
							
								
									
										
									
								
							 | 
							
								
							 | 
							
							
								  mesaPlatforms = ["i686-linux" "x86_64-linux" "x86_64-darwin" "armv5tel-linux" "armv6l-linux"];
							 | 
						
					
						
							
								
									
										
										
										
											2015-04-17 15:25:54 +02:00
										 
									 
								 
							 | 
							
								
									
										
									
								
							 | 
							
								
							 | 
							
							
								  x86_64 = ["x86_64-linux" "x86_64-darwin" "x86_64-freebsd" "x86_64-openbsd" "x86_64-netbsd" "x86_64-cygwin"];
							 | 
						
					
						
							
								
									
										
										
										
											2015-02-22 11:57:44 +01:00
										 
									 
								 
							 | 
							
								
									
										
									
								
							 | 
							
								
							 | 
							
							
								  i686 = ["i686-linux" "i686-freebsd" "i686-netbsd" "i686-cygwin"];
							 | 
						
					
						
							
								
									
										
										
										
											2015-04-17 15:25:54 +02:00
										 
									 
								 
							 | 
							
								
									
										
									
								
							 | 
							
								
							 | 
							
							
								  arm = ["armv5tel-linux" "armv6l-linux" "armv7l-linux" ];
							 | 
						
					
						
							| 
								
							 | 
							
								
							 | 
							
								
							 | 
							
							
								  mips = [ "mips64el-linux" ];
							 | 
						
					
						
							
								
									
										
										
										
											2009-08-25 08:28:08 +00:00
										 
									 
								 
							 | 
							
								
							 | 
							
								
							 | 
							
							
								}
							 |