Re: [Freemint-discuss] freemint build failing due to libcmini

[Thorsten O. <ad...@th...>]

On Montag, 29. April 2024 23:35:37 CEST Miro Kropáček wrote:
> Thorsten could this be related to your recent mintlib changes?

Could have been some problem when fetching the mintlib, but should work now 
again (the archive now includes the /usr directory).

libcmini's usage of using include <osbind.h> is still wrong though, since such 
a file does not exist. It only works in our builds because both mintlib and 
libcmini are installed.