[nhc-bugs] nhc-1.16: no stdint.h

[malcolm@cs.york.ac.uk]

> I just tried to install nhc-1.16 on a rather old system (Linux, kernel
> 2.0.35, libc1).

>   mark.h:10: stdint.h: No such file or directory

> I suppose this has something to do with the ancient C library (though I
> do not recall seeing libc2 listed as a prerequisite in the
> installation instructions); is there any simple way to build or
> install nhc on this system?

You are probably correct about the cause.  Try changing the
<stdint.h> to <inttypes.h> instead, in the two affected files:
    src/runtime/Kernel/mark.h
    include/HsFFI.h
If <inttypes.h> is also not available, then have a close
look at the #ifdefs nearby - there is a set of prototypes for
__CYGWIN__ which may be usable instead of #including the
missing header file.

Regards,
    Malcolm