[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