| View Issue Details [ Jump to Notes ] | [ Issue History ] [ Print ] | ||||||||
| ID | Project | Category | View Status | Date Submitted | Last Update | ||||
|---|---|---|---|---|---|---|---|---|---|
| 0000222 | mercury | Bug | public | 2011-10-18 19:14 | 2013-05-28 13:47 | ||||
| Reporter | gloomdemon | ||||||||
| Assigned To | juliensf | ||||||||
| Priority | normal | Severity | minor | Reproducibility | always | ||||
| Status | resolved | Resolution | fixed | ||||||
| Product Version | |||||||||
| Target Version | Fixed in Version | ||||||||
| Summary | 0000222: mmc can't compile csharp grade without --make under mingw | ||||||||
| Description | rotd 2011-10-11, simple hello world program command 'mmc --make --grade csharp hello' compiles all command 'mmc --grade csharp hello.m': $ mmc --grade csharp hello.m mkinit: error opening file `hello.c': No such file or directory mkinit: error opening file `c:\mingw\mercury\lib\mercury\modules\csharp\mer_rt.init': No such file or directory mkinit: error opening file `c:\mingw\mercury\lib\mercury\modules\csharp\mer_std.init': No such file or directory Error: system command received signal 1. create files: hello.cs, hello.cs_date, hello.d mercury compiled with configure options: CFLAGS=-O2 CPPFLAGS=-O2 ./configure --prefix=c:/mingw/mercury --enable-libgrades=asm_fast.gc,asm_fast.gc.debug,asm_fast.gc.decldebug,hlc.gc,hlc.par.gc,reg.gc,csharp --enable-csharp-grade --enable-new-mercuryfile-struct | ||||||||
| Additional Information | hello.m: :- module hello. :- interface. :- import_module io. :- pred main(io::di, io::uo) is det. :- implementation. :- import_module int. main(!IO) :- io.write_string("hello ", !IO). | ||||||||
| Tags | No tags attached. | ||||||||
| Attached Files |
| ||||||||
 Relationships |
|
 Relationships |
| Notes |
|
|
juliensf (administrator) 2011-10-18 21:33 |
IIRC, the non-C backends (csharp, java, and erlang) require the use of mmc --make in order to work properly. |
|
juliensf (administrator) 2013-05-28 13:47 |
The documentation for the non-C backend is now clearer about the requirement for mmc --make. |
| Notes |
| Issue History |
|||
| Date Modified | Username | Field | Change |
|---|---|---|---|
| 2011-10-18 19:14 | gloomdemon | New Issue | |
| 2011-10-18 21:33 | juliensf | Note Added: 0000367 | |
| 2011-10-18 21:33 | juliensf | Status | new => acknowledged |
| 2013-05-28 13:47 | juliensf | Note Added: 0000529 | |
| 2013-05-28 13:47 | juliensf | Status | acknowledged => resolved |
| 2013-05-28 13:47 | juliensf | Resolution | open => fixed |
| 2013-05-28 13:47 | juliensf | Assigned To | => juliensf |
| Issue History |