| 
									
										
										
										
											2017-05-23 18:04:15 -04:00
										 |  |  | # These can be passed to nixpkgs as either the `localSystem` or | 
					
						
							|  |  |  | # `crossSystem`. They are put here for user convenience, but also used by cross | 
					
						
							|  |  |  | # tests and linux cross stdenv building, so handle with care! | 
					
						
							| 
									
										
										
										
											2017-07-28 20:05:35 -04:00
										 |  |  | { lib }: | 
					
						
							|  |  |  | let platforms = import ./platforms.nix { inherit lib; }; in | 
					
						
							| 
									
										
										
										
											2017-05-23 18:04:15 -04:00
										 |  |  | 
 | 
					
						
							|  |  |  | rec { | 
					
						
							|  |  |  |   # | 
					
						
							|  |  |  |   # Linux | 
					
						
							|  |  |  |   # | 
					
						
							|  |  |  | 
 | 
					
						
							|  |  |  |   sheevaplug = rec { | 
					
						
							| 
									
										
										
										
											2017-05-29 20:12:06 -04:00
										 |  |  |     config = "armv5tel-unknown-linux-gnueabi"; | 
					
						
							| 
									
										
										
										
											2017-05-23 18:04:15 -04:00
										 |  |  |     platform = platforms.sheevaplug; | 
					
						
							|  |  |  |   }; | 
					
						
							|  |  |  | 
 | 
					
						
							|  |  |  |   raspberryPi = rec { | 
					
						
							|  |  |  |     config = "armv6l-unknown-linux-gnueabihf"; | 
					
						
							|  |  |  |     platform = platforms.raspberrypi; | 
					
						
							|  |  |  |   }; | 
					
						
							|  |  |  | 
 | 
					
						
							|  |  |  |   armv7l-hf-multiplatform = rec { | 
					
						
							| 
									
										
										
										
											2018-05-10 00:57:52 -04:00
										 |  |  |     config = "armv7a-unknown-linux-gnueabihf"; | 
					
						
							| 
									
										
										
										
											2017-05-23 18:04:15 -04:00
										 |  |  |     platform = platforms.armv7l-hf-multiplatform; | 
					
						
							|  |  |  |   }; | 
					
						
							|  |  |  | 
 | 
					
						
							|  |  |  |   aarch64-multiplatform = rec { | 
					
						
							|  |  |  |     config = "aarch64-unknown-linux-gnu"; | 
					
						
							|  |  |  |     platform = platforms.aarch64-multiplatform; | 
					
						
							|  |  |  |   }; | 
					
						
							|  |  |  | 
 | 
					
						
							| 
									
										
										
										
											2018-05-11 17:35:56 -04:00
										 |  |  |   armv5te-android-prebuilt = rec { | 
					
						
							|  |  |  |     config = "armv5tel-unknown-linux-androideabi"; | 
					
						
							| 
									
										
										
										
											2018-06-22 10:21:43 -04:00
										 |  |  |     sdkVer = "21"; | 
					
						
							|  |  |  |     ndkVer = "10e"; | 
					
						
							| 
									
										
										
										
											2018-05-11 17:35:56 -04:00
										 |  |  |     platform = platforms.armv5te-android; | 
					
						
							|  |  |  |     useAndroidPrebuilt = true; | 
					
						
							|  |  |  |   }; | 
					
						
							|  |  |  | 
 | 
					
						
							|  |  |  |   armv7a-android-prebuilt = rec { | 
					
						
							|  |  |  |     config = "armv7a-unknown-linux-androideabi"; | 
					
						
							| 
									
										
										
										
											2018-06-22 09:33:25 -04:00
										 |  |  |     sdkVer = "24"; | 
					
						
							| 
									
										
										
										
											2018-06-22 10:21:43 -04:00
										 |  |  |     ndkVer = "17"; | 
					
						
							| 
									
										
										
										
											2018-05-11 17:35:56 -04:00
										 |  |  |     platform = platforms.armv7a-android; | 
					
						
							|  |  |  |     useAndroidPrebuilt = true; | 
					
						
							|  |  |  |   }; | 
					
						
							|  |  |  | 
 | 
					
						
							| 
									
										
										
										
											2017-02-17 00:36:10 -05:00
										 |  |  |   aarch64-android-prebuilt = rec { | 
					
						
							|  |  |  |     config = "aarch64-unknown-linux-android"; | 
					
						
							| 
									
										
										
										
											2018-05-17 17:22:27 +02:00
										 |  |  |     sdkVer = "24"; | 
					
						
							| 
									
										
										
										
											2018-06-22 10:21:43 -04:00
										 |  |  |     ndkVer = "17"; | 
					
						
							| 
									
										
										
										
											2017-02-17 00:36:10 -05:00
										 |  |  |     platform = platforms.aarch64-multiplatform; | 
					
						
							|  |  |  |     useAndroidPrebuilt = true; | 
					
						
							|  |  |  |   }; | 
					
						
							|  |  |  | 
 | 
					
						
							| 
									
										
										
										
											2017-05-23 18:04:15 -04:00
										 |  |  |   scaleway-c1 = armv7l-hf-multiplatform // rec { | 
					
						
							|  |  |  |     platform = platforms.scaleway-c1; | 
					
						
							| 
									
										
										
										
											2017-12-05 13:45:43 -05:00
										 |  |  |     inherit (platform.gcc) fpu; | 
					
						
							| 
									
										
										
										
											2017-05-23 18:04:15 -04:00
										 |  |  |   }; | 
					
						
							|  |  |  | 
 | 
					
						
							|  |  |  |   pogoplug4 = rec { | 
					
						
							| 
									
										
										
										
											2017-12-05 14:17:00 -05:00
										 |  |  |     config = "armv5tel-unknown-linux-gnueabi"; | 
					
						
							| 
									
										
										
										
											2018-01-26 20:40:05 -05:00
										 |  |  |     platform = platforms.pogoplug4; | 
					
						
							| 
									
										
										
										
											2017-05-23 18:04:15 -04:00
										 |  |  |   }; | 
					
						
							|  |  |  | 
 | 
					
						
							| 
									
										
										
										
											2018-05-09 22:40:27 -04:00
										 |  |  |   ben-nanonote = rec { | 
					
						
							|  |  |  |     config = "mipsel-unknown-linux-uclibc"; | 
					
						
							| 
									
										
										
										
											2018-05-11 15:02:18 -04:00
										 |  |  |     platform = platforms.ben_nanonote; | 
					
						
							| 
									
										
										
										
											2018-05-09 22:40:27 -04:00
										 |  |  |   }; | 
					
						
							|  |  |  | 
 | 
					
						
							| 
									
										
										
										
											2017-05-23 18:04:15 -04:00
										 |  |  |   fuloongminipc = rec { | 
					
						
							| 
									
										
										
										
											2017-12-05 10:27:45 +00:00
										 |  |  |     config = "mipsel-unknown-linux-gnu"; | 
					
						
							| 
									
										
										
										
											2017-05-23 18:04:15 -04:00
										 |  |  |     platform = platforms.fuloong2f_n32; | 
					
						
							|  |  |  |   }; | 
					
						
							|  |  |  | 
 | 
					
						
							| 
									
										
										
										
											2018-02-11 14:20:14 -06:00
										 |  |  |   muslpi = raspberryPi // { | 
					
						
							|  |  |  |     config = "armv6l-unknown-linux-musleabihf"; | 
					
						
							|  |  |  |   }; | 
					
						
							|  |  |  | 
 | 
					
						
							|  |  |  |   aarch64-multiplatform-musl = aarch64-multiplatform // { | 
					
						
							|  |  |  |     config = "aarch64-unknown-linux-musl"; | 
					
						
							|  |  |  |   }; | 
					
						
							|  |  |  | 
 | 
					
						
							|  |  |  |   musl64 = { config = "x86_64-unknown-linux-musl"; }; | 
					
						
							|  |  |  |   musl32  = { config = "i686-unknown-linux-musl"; }; | 
					
						
							|  |  |  | 
 | 
					
						
							| 
									
										
										
										
											2018-02-18 00:09:25 -05:00
										 |  |  |   riscv = bits: { | 
					
						
							|  |  |  |     config = "riscv${bits}-unknown-linux-gnu"; | 
					
						
							|  |  |  |     platform = platforms.riscv-multiplatform bits; | 
					
						
							|  |  |  |   }; | 
					
						
							|  |  |  |   riscv64 = riscv "64"; | 
					
						
							|  |  |  |   riscv32 = riscv "32"; | 
					
						
							|  |  |  | 
 | 
					
						
							|  |  |  | 
 | 
					
						
							| 
									
										
										
										
											2017-05-23 18:04:15 -04:00
										 |  |  |   # | 
					
						
							|  |  |  |   # Darwin | 
					
						
							|  |  |  |   # | 
					
						
							|  |  |  | 
 | 
					
						
							|  |  |  |   iphone64 = { | 
					
						
							| 
									
										
										
										
											2018-05-01 01:14:58 -04:00
										 |  |  |     config = "aarch64-apple-ios"; | 
					
						
							|  |  |  |     # config = "aarch64-apple-darwin14"; | 
					
						
							|  |  |  |     sdkVer = "10.2"; | 
					
						
							| 
									
										
										
										
											2018-06-22 17:20:00 -04:00
										 |  |  |     xcodeVer = "8.2"; | 
					
						
							| 
									
										
										
										
											2018-06-25 22:18:23 -04:00
										 |  |  |     xcodePlatform = "iPhoneOS"; | 
					
						
							| 
									
										
										
										
											2018-05-01 01:14:58 -04:00
										 |  |  |     useiOSPrebuilt = true; | 
					
						
							| 
									
										
										
										
											2017-05-23 18:04:15 -04:00
										 |  |  |     platform = {}; | 
					
						
							|  |  |  |   }; | 
					
						
							|  |  |  | 
 | 
					
						
							|  |  |  |   iphone32 = { | 
					
						
							| 
									
										
										
										
											2018-05-01 12:57:07 -04:00
										 |  |  |     config = "armv7a-apple-ios"; | 
					
						
							| 
									
										
										
										
											2018-05-01 01:14:58 -04:00
										 |  |  |     # config = "arm-apple-darwin10"; | 
					
						
							|  |  |  |     sdkVer = "10.2"; | 
					
						
							| 
									
										
										
										
											2018-06-22 17:20:00 -04:00
										 |  |  |     xcodeVer = "8.2"; | 
					
						
							| 
									
										
										
										
											2018-06-25 22:18:23 -04:00
										 |  |  |     xcodePlatform = "iPhoneOS"; | 
					
						
							| 
									
										
										
										
											2018-05-01 01:14:58 -04:00
										 |  |  |     useiOSPrebuilt = true; | 
					
						
							|  |  |  |     platform = {}; | 
					
						
							|  |  |  |   }; | 
					
						
							|  |  |  | 
 | 
					
						
							|  |  |  |   iphone64-simulator = { | 
					
						
							|  |  |  |     config = "x86_64-apple-ios"; | 
					
						
							|  |  |  |     # config = "x86_64-apple-darwin14"; | 
					
						
							|  |  |  |     sdkVer = "10.2"; | 
					
						
							| 
									
										
										
										
											2018-06-22 17:20:00 -04:00
										 |  |  |     xcodeVer = "8.2"; | 
					
						
							| 
									
										
										
										
											2018-06-25 22:18:23 -04:00
										 |  |  |     xcodePlatform = "iPhoneSimulator"; | 
					
						
							| 
									
										
										
										
											2018-05-01 01:14:58 -04:00
										 |  |  |     useiOSPrebuilt = true; | 
					
						
							|  |  |  |     platform = {}; | 
					
						
							|  |  |  |   }; | 
					
						
							|  |  |  | 
 | 
					
						
							|  |  |  |   iphone32-simulator = { | 
					
						
							|  |  |  |     config = "i686-apple-ios"; | 
					
						
							|  |  |  |     # config = "i386-apple-darwin11"; | 
					
						
							|  |  |  |     sdkVer = "10.2"; | 
					
						
							| 
									
										
										
										
											2018-06-22 17:20:00 -04:00
										 |  |  |     xcodeVer = "8.2"; | 
					
						
							| 
									
										
										
										
											2018-06-25 22:18:23 -04:00
										 |  |  |     xcodePlatform = "iPhoneSimulator"; | 
					
						
							| 
									
										
										
										
											2018-05-01 01:14:58 -04:00
										 |  |  |     useiOSPrebuilt = true; | 
					
						
							| 
									
										
										
										
											2017-05-23 18:04:15 -04:00
										 |  |  |     platform = {}; | 
					
						
							|  |  |  |   }; | 
					
						
							|  |  |  | 
 | 
					
						
							|  |  |  |   # | 
					
						
							|  |  |  |   # Windows | 
					
						
							|  |  |  |   # | 
					
						
							|  |  |  | 
 | 
					
						
							|  |  |  |   # 32 bit mingw-w64 | 
					
						
							|  |  |  |   mingw32 = { | 
					
						
							|  |  |  |     config = "i686-pc-mingw32"; | 
					
						
							|  |  |  |     libc = "msvcrt"; # This distinguishes the mingw (non posix) toolchain | 
					
						
							|  |  |  |     platform = {}; | 
					
						
							|  |  |  |   }; | 
					
						
							|  |  |  | 
 | 
					
						
							|  |  |  |   # 64 bit mingw-w64 | 
					
						
							|  |  |  |   mingwW64 = { | 
					
						
							|  |  |  |     # That's the triplet they use in the mingw-w64 docs. | 
					
						
							|  |  |  |     config = "x86_64-pc-mingw32"; | 
					
						
							|  |  |  |     libc = "msvcrt"; # This distinguishes the mingw (non posix) toolchain | 
					
						
							|  |  |  |     platform = {}; | 
					
						
							|  |  |  |   }; | 
					
						
							|  |  |  | } |