From mboxrd@z Thu Jan  1 00:00:00 1970
Date: Wed,  9 May 2012 17:34:56 +0200
From: David du Colombier <0intro@gmail.com>
To: 9fans@9fans.net
Message-ID: <20120509173456.58ea39c8@wks-ddc.exosec.local>
In-Reply-To: <CAE9W7-jHBPoFtO6mJFU-AiU9a832iuMEF3nOw1rSDojxsqNDzw@mail.gmail.com>
References: <CAE9W7-hWmuF5_s6=q=JVg=Gs6E0WtUs-nVUT=MRAp6QASejR-g@mail.gmail.com>
	<a925b3ae067dbca8fff287fd42481b52@rei2.9hal>
	<CAE9W7-iEkLpCc4RfzCk05cyyYd6m5c73kCw=tiowXvtEnwMBqA@mail.gmail.com>
	<20120509171116.5570338a@wks-ddc.exosec.local>
	<CAE9W7-jHBPoFtO6mJFU-AiU9a832iuMEF3nOw1rSDojxsqNDzw@mail.gmail.com>
Mime-Version: 1.0
Content-Type: text/plain; charset=US-ASCII
Content-Transfer-Encoding: 7bit
Subject: Re: [9fans] 5i floating point?
Topicbox-Message-UUID: 863b3b82-ead7-11e9-9d60-3106f5b1d025

> Ok, linking gives:
>
>   main: undefined: ainc in main
>
> Looks to be a function (which also seems to be undeclared in 5e.c),
> anybody know where it is located?

It's defined in the libc. You can add it
to /sys/include/libc.h if you wish.

--
David du Colombier