[nhc-bugs] Building nhc98 on Windows 2000

Malcolm Wallace Malcolm.Wallace@cs.york.ac.uk
Wed, 27 Mar 2002 17:57:31 +0000


"Holzmüller, Bernd" <holzmueller@ICS-AG.de> writes:

> I am not able to fully build nhc98 V1.12 under Windows 2000 (cygwin):
> building hmake constantly fails. 

There was some recent discussion that suggested the separate
distribution of hmake does not build under Cygwin, but that the
version included with nhc98 builds fine.  I am sorry to hear that
even the latter version does not now build correctly.  It would be
helpful if you could supply some more details, such as the output of
./configure, and the last few lines of output before the failure.

> I was able to work around several other problems:
> a) inclusion of stdint.h (which gave name conflicts),
> b) inclusion of inttypes.h (this file is not even present) and
> c) make clean removing all .hc files which subsequently were needed to
> build the thing again.

Could you supply some more details, particularly about how you worked
around problems (a) and (b)?  The only reason for #include'ing those
files is to get the standard typedef for int64_t etc.  Is there an
alternative location for that in Cygwin?

> I would be very glad to have a pre-built binary installation for Windows
> and not needing to build that of my own! (I assume I am not the only one
> :-)

I don't have access to any Windows machines, but surely someone else
on the list must have?

Regards,
    Malcolm