Mercury Bugs - mercury
View Issue Details
IDProjectCategoryView StatusDate SubmittedLast Update
0000341mercuryBugpublic2014-06-24 05:582014-06-24 11:40
Reporternx2059 
Assigned Tojuliensf 
PrioritynormalSeverityminorReproducibilityalways
StatusresolvedResolutionno change required 
PlatformMingW32OSWindowsOS Version8.1
Product Version 
Target VersionFixed in Version 
Summary0000341: MingW32 Build Errors
DescriptionVarious unknown types cause errors on builds (off64_t, off_t, etc..)
Steps To Reproduce$ cd mercury-srcdist-14.01

$ gcc --version
gcc.exe (GCC) 4.8.1
Copyright (C) 2013 Free Software Foundation, Inc.
This is free software; see the source for copying conditions. There is NO
warranty; not even for MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.

$./configure --disable-most-grades

$make

...

make[2]: Leaving directory `/src/mercury-srcdist-14.01/robdd'
/tmp/mmake.YhJAkb:1045: warning: undefined variable `DESTDIR'
cd library && PATH=../scripts:../util:../mfilterjavac:../../mfilterjavac:$PATH M
MAKE_VPATH=. MMAKE_DIR=../scripts DESTDIR= ../scripts/mmake
make[2]: Entering directory `/src/mercury-srcdist-14.01/library'
../scripts/mgnuc --grade hlc.gc.pregen -- -c tree234.c -o tree234.o
In file included from c:\mingw\include\unistd.h:36:0,
                 from ../runtime/mercury_timing.h:23,
                 from benchmarking.m:163,
                 from tree234.c:32:
c:\mingw\include\io.h:301:1: error: unknown type name 'off64_t'
 __CRT_INLINE off64_t lseek64 (int, off64_t, int);
 ^
c:\mingw\include\io.h:301:36: error: unknown type name 'off64_t'
 __CRT_INLINE off64_t lseek64 (int, off64_t, int);
                                    ^
c:\mingw\include\io.h:302:1: error: unknown type name 'off64_t'
 __CRT_INLINE off64_t lseek64 (int fd, off64_t offset, int whence) {
 ^
c:\mingw\include\io.h:302:39: error: unknown type name 'off64_t'
 __CRT_INLINE off64_t lseek64 (int fd, off64_t offset, int whence) {
                                       ^
In file included from ../runtime/mercury_timing.h:23:0,
                 from benchmarking.m:163,
                 from tree234.c:32:
c:\mingw\include\unistd.h:65:20: error: unknown type name 'off_t'
 int ftruncate(int, off_t);
                    ^
c:\mingw\include\unistd.h:67:38: error: unknown type name 'off_t'
 __CRT_INLINE int ftruncate(int __fd, off_t __length)
                                      ^
make[2]: *** [tree234.o] Error 1
make[2]: Leaving directory `/src/mercury-srcdist-14.01/library'
make[1]: *** [library] Error 2
make[1]: Leaving directory `/src/mercury-srcdist-14.01'
make: *** [all] Error 2



TagsNo tags attached.
Relationships
Attached Files

Notes
(0000704)
juliensf   
2014-06-24 11:40   
This has been fixed in the latest 14.01.1 beta release -- the problem is that
the MinGW headers are broken when compiling with -ansi.

Issue History
Date ModifiedUsernameFieldChange
2014-06-24 05:58nx2059New Issue
2014-06-24 11:40juliensfNote Added: 0000704
2014-06-24 11:40juliensfStatusnew => resolved
2014-06-24 11:40juliensfResolutionopen => no change required
2014-06-24 11:40juliensfAssigned To => juliensf