|Anonymous | Login | Signup for a new account||2017-01-23 07:37 CET|
|Main | My View | View Issues | Change Log | Roadmap|
|View Issue Details|
|ID||Project||Category||View Status||Date Submitted||Last Update|
|0005482||OCaml||OCaml general||public||2012-01-18 16:34||2013-08-31 12:44|
|Target Version||Fixed in Version|
|Summary||0005482: Fixes for the test-suite...|
|Description||The test-suite currently (r12043) doesn't work on Debian because:|
- it uses a bashism (and on Debian (and Ubuntu), /bin/sh is not bash)
- there are missing (empty) reference files
- a reference file doesn't match the actual output
Attached are patches that fix that. I'm not sure if the last point is expected, though.
|Tags||No tags attached.|
|Attached Files|| 0014-Fix-bashism-in-testsuite.patch [^] (852 bytes) 2012-01-18 16:34 [Show Content]
0015-Fix-testsuite-expected-results.patch [^] (2,633 bytes) 2012-01-18 16:34 [Show Content]
Xavier, could you mention which revision this was fixed in? Did you integrate the patch? I was unable to find out which one of your latest commits fixes this :)
|The testsuite results have been fixed, but not the bashism...|
My bad, I thought one would run the testsuite with "SHELL=/bin/bash"
(this is what I used on Debian). Moreover, I suspect other bashisms in
the various Makefile.
For the record, the report is resolved in the trunk as of revision 12054.
|2012-01-18 16:34||glondu||New Issue|
|2012-01-18 16:34||glondu||File Added: 0014-Fix-bashism-in-testsuite.patch|
|2012-01-18 16:34||glondu||File Added: 0015-Fix-testsuite-expected-results.patch|
|2012-01-18 16:57||xclerc||Assigned To||=> xclerc|
|2012-01-18 16:57||xclerc||Status||new => assigned|
|2012-01-18 17:15||xclerc||Status||assigned => resolved|
|2012-01-18 17:15||xclerc||Resolution||open => fixed|
|2012-01-18 17:40||protz||Note Added: 0006724|
|2012-01-18 17:48||glondu||Note Added: 0006725|
|2012-01-19 08:59||xclerc||Note Added: 0006726|
|2013-08-31 12:44||xleroy||Status||resolved => closed|
|Copyright © 2000 - 2011 MantisBT Group|