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

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