[bitc-dev] Fedora5 install experience

[Jonathan S. Shapiro]

On Wed, 2006-05-17 at 11:02 -0700, Nigel Williams wrote:
> With the recent character decode patches, I too now have bitc test cases
> compiling and running on a clean install of Fedora5 (F5).
> 
> In order to get xenv built on a clean install of F5 I had to add these
> libraries:
> 
> libicu
> libicu-devel
> gc
> gc-devel

This is expected, but needs to be documented.

> Also added libpthread.a and libc.a to get the BitC unit tests to produce
> runnable output.

Not surprising that you needed libc.a, but very surprising that you
needed libpthread.a -- this is probably a libc dependency.

> Aside regarding Coyotos:
> Is the plan at some stage to mechanically translate the C-source of Coyotos to
> BitC? or is BitC intended for non-kernel usage (device drivers, user-mode
> etc)?

The mechanism of "mechanical translation" will be humans typing. BitC
will ultimately be used for both kernel and user-mode critical code --
or at least that is the current plan.

shap