On Wed, Jul 26, 2017 at 09:43:59PM +0300, Kari Pahula wrote: > On Tue, Jul 25, 2017 at 02:14:24PM -0400, Aaron M. Ucko wrote: > > Builds of gecode for hurd-i386 have been failing: > > > > checking for the host operating system... configure: error: Host OS not > > supported.
> I suppose this is just a case of upstream being overly defensive with > their configure script. Could someone running Hurd please give Never mind. I set the host_os type as linux (which is shared, among others, with kfreebsd) and it seemed to build just fine with it.
