Bill Allombert on Sun, 10 Nov 2002 18:42:41 +0100

[Date Prev] [Date Next] [Thread Prev] [Thread Next] [Date Index] [Thread Index]

Re: --host in Configure

On Sun, Nov 10, 2002 at 12:57:55AM -0800, Ilya Zakharevich wrote:
> Is it made specially complicated to compile with arch=none?

The CVS version has a --disable-kernel option for this purpose.
In the gmp-kernel branch, this option is replaced by a '--kernel=xxx'
option, so you must do --kernel=none.

If everybody agree I commit this change to the HEAD branch.