| View Issue Details [ Jump to Notes ] | [ Issue History ] [ Print ] | ||||||||
| ID | Project | Category | View Status | Date Submitted | Last Update | ||||
|---|---|---|---|---|---|---|---|---|---|
| 0000341 | mercury | Bug | public | 2014-06-24 05:58 | 2014-06-24 11:40 | ||||
| Reporter | nx2059 | ||||||||
| Assigned To | juliensf | ||||||||
| Priority | normal | Severity | minor | Reproducibility | always | ||||
| Status | resolved | Resolution | no change required | ||||||
| Platform | MingW32 | OS | Windows | OS Version | 8.1 | ||||
| Product Version | |||||||||
| Target Version | Fixed in Version | ||||||||
| Summary | 0000341: MingW32 Build Errors | ||||||||
| Description | Various 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 | ||||||||
| Tags | No tags attached. | ||||||||
| Attached Files |
| ||||||||
 Relationships |
|
 Relationships |
| Notes |
|
|
juliensf (administrator) 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. |
| Notes |
| Issue History |
|||
| Date Modified | Username | Field | Change |
|---|---|---|---|
| 2014-06-24 05:58 | nx2059 | New Issue | |
| 2014-06-24 11:40 | juliensf | Note Added: 0000704 | |
| 2014-06-24 11:40 | juliensf | Status | new => resolved |
| 2014-06-24 11:40 | juliensf | Resolution | open => no change required |
| 2014-06-24 11:40 | juliensf | Assigned To | => juliensf |
| Issue History |