David Given 2d0bc7ef0d Finally fix the build system issue where ackprogram would try to explicitly ... link all the language libraries.		2016-11-20 18:57:44 +01:00
..
cpm	Distributions are a pain --- let's not bother any more. Instead, we just tag	2016-09-02 23:00:38 +02:00
linux/libsys	Use .hol0 as an additional name for hol0; mcg requires it.	2016-11-19 11:09:07 +01:00
linux68k	Distributions are a pain --- let's not bother any more. Instead, we just tag	2016-09-02 23:00:38 +02:00
linux386	Distributions are a pain --- let's not bother any more. Instead, we just tag	2016-09-02 23:00:38 +02:00
linuxppc	Add the very experimental qemuppc plat, intended to generate minimal images	2016-11-12 19:20:58 +01:00
pc86	Distributions are a pain --- let's not bother any more. Instead, we just tag	2016-09-02 23:00:38 +02:00
qemuppc	inn works now; add a helper for it.	2016-11-20 12:53:44 +01:00
rpi	Distributions are a pain --- let's not bother any more. Instead, we just tag	2016-09-02 23:00:38 +02:00
build.lua	Finally fix the build system issue where ackprogram would try to explicitly	2016-11-20 18:57:44 +01:00