Mercury Bugs - mercury | |||||
View Issue Details | |||||
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 | ||
Platform | OS | OS Version | |||
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. | ||||
Relationships | |||||
Attached Files |
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 |