Mercury Bugs - mercury | |||||
| View Issue Details | |||||
| ID | Project | Category | View Status | Date Submitted | Last Update |
| 0000200 | mercury | Bug | public | 2011-06-10 03:52 | 2012-02-13 13:56 |
| Reporter | juliensf | ||||
|---|---|---|---|---|---|
| Assigned To | juliensf | ||||
| Priority | normal | Severity | minor | Reproducibility | have not tried |
| Status | resolved | Resolution | fixed | ||
| Platform | OS | OS Version | |||
| Product Version | |||||
| Target Version | Fixed in Version | ||||
| Summary | 0000200: csharp grade does not install on Cygwin with Mono | ||||
| Description | From mercury-users: >>> Hello. I'm trying to compile Mercury version 11.01 in cygwin inside >>> Windows XP. ./configure and make succeed. When I enter: >>> >>> make install LIBGRADES=csharp >>> >>> I get the error: >>> >>> cygwin warning: >>> MS-DOS style path detected: ..\runtime\mercury_dotnet.cs >>> Preferred POSIX equivalent is: ../runtime/mercury_dotnet.cs >>> Making mer_std.dll >>> ** Error making `mer_std.dll'. >>> error CS2001: Source file `..runtimemercur >>> dotnet.cs' could not be found >>> >>> I can't find the makefile that is using \ instead of /. >> >> It is library/Mmakefile:378, specifically these line: >> >> # Don't use Unix style paths with the Microsoft C# compiler. >> ifeq ($(CSC),csc) >> MLOBJS += ..\runtime\mercury_dotnet.cs >> else >> MLOBJS += ../runtime/mercury_dotnet.cs >> >> The above is a workaround for the fact that --link-object does not yet >> do any path conversion. > > Thanks! That worked. I set both lines to: > MLOBJS += ../runtime/mercury_dotnet.cs > > cygwin uses the Mono compiler. Perhaps Mono doesn't have a problem with Unix > style paths? | ||||
| Additional Information | It appears as though the wrong assignment to MLOBJS in library/Mmakefile is being made when we are telling the compiler to include mercury_dotnet.cs | ||||
| Tags | No tags attached. | ||||
| Relationships | |||||
| Attached Files | |||||
| Notes | |||||
|
|
|||||
|
|
||||
| Issue History | |||||
| Date Modified | Username | Field | Change | ||
|---|---|---|---|---|---|
| 2011-06-10 03:52 | juliensf | New Issue | |||
| 2011-06-10 03:52 | juliensf | Status | new => assigned | ||
| 2011-06-10 03:52 | juliensf | Assigned To | => juliensf | ||
| 2012-02-13 13:56 | juliensf | Note Added: 0000451 | |||
| 2012-02-13 13:56 | juliensf | Status | assigned => resolved | ||
| 2012-02-13 13:56 | juliensf | Resolution | open => fixed | ||