John Ericson
8929989614
lib: Clean up how linux and gcc config is specified ...
The `platform` field is pointless nesting: it's just stuff that happens
to be defined together, and that should be an implementation detail.
This instead makes `linux-kernel` and `gcc` top level fields in platform
configs. They join `rustc` there [all are optional], which was put there
and not in `platform` in anticipation of a change like this.
`linux-kernel.arch` in particular also becomes `linuxArch`, to match the
other `*Arch`es.
The next step after is this to combine the *specific* machines from
`lib.systems.platforms` with `lib.systems.examples`, keeping just the
"multiplatform" ones for defaulting.
2021-01-21 22:44:09 -05:00
2020-01-06 10:39:18 -05:00
2020-02-28 19:38:58 +01:00
2020-03-10 22:45:33 +01:00
2020-01-06 10:39:18 -05:00
2020-04-27 09:32:01 +02:00
2020-10-31 01:35:56 -07:00
2020-05-22 11:23:31 +02:00
2020-09-01 10:07:28 -04:00
2020-01-06 10:39:18 -05:00
2020-09-17 12:04:39 +02:00
2020-11-10 14:00:16 +01:00
2020-10-31 01:35:56 -07:00
2018-07-15 12:22:46 -07:00
2020-04-28 20:30:29 +10:00
2020-01-06 10:39:18 -05:00
2020-04-21 08:55:36 +02:00
2020-01-06 10:39:18 -05:00
2020-11-28 20:15:21 +01:00
2020-05-21 10:29:37 +02:00
2020-10-11 11:15:56 +01:00
2020-11-28 20:15:21 +01:00
2020-04-28 20:30:29 +10:00
2020-01-06 10:39:18 -05:00
2020-04-21 08:55:36 +02:00
2020-06-05 20:16:43 +02:00
2020-11-24 12:42:06 -05:00
2020-04-28 19:13:59 +02:00
2021-01-15 12:54:14 +01:00
2021-01-14 21:27:48 +00:00
2020-08-21 18:56:20 +02:00
2021-01-14 21:27:48 +00:00
2020-11-28 06:50:52 +01:00
2020-08-22 22:45:43 +02:00
2020-01-06 10:39:18 -05:00
2020-01-06 10:39:18 -05:00
2020-11-19 04:29:03 -08:00
2020-04-21 08:55:36 +02:00
2020-10-20 21:09:28 +02:00
2020-10-11 15:55:50 -07:00
2020-04-28 20:30:29 +10:00
2020-12-27 12:59:11 +01:00
2020-11-24 12:42:06 -05:00
2021-01-18 04:43:32 +01:00
2020-11-29 21:28:07 +01:00
2020-10-08 16:04:11 +02:00
2020-12-05 11:02:40 +01:00
2021-01-21 22:44:09 -05:00
2020-12-21 19:41:24 +01:00
2020-11-06 00:39:50 -08:00
2020-01-13 02:01:23 +00:00
2020-02-25 01:32:31 +01:00
2020-08-09 01:52:22 +02:00
2020-04-29 03:53:47 +00:00
2021-01-14 21:27:48 +00:00
2020-01-06 10:39:18 -05:00
2020-01-06 10:39:18 -05:00
2020-10-31 01:35:56 -07:00
2020-01-06 10:39:18 -05:00
2020-01-06 10:39:18 -05:00
2020-11-23 08:42:51 +10:00
2021-01-17 19:13:35 +11:00
2020-10-07 09:36:21 +10:00
2020-08-24 10:10:47 -04:00
2020-11-23 08:42:51 +10:00
2020-04-21 08:55:36 +02:00
2020-08-07 14:45:39 +01:00
2020-01-06 10:39:18 -05:00
2020-12-05 17:42:07 +01:00
2020-05-17 13:42:42 -04:00
2020-12-09 15:46:38 +01:00
8929989614