Mantis Bug Tracker

View Issue Details Jump to Notes ] Issue History ] Print ]
IDProjectCategoryView StatusDate SubmittedLast Update
0005833OCamlOCaml documentationpublic2012-11-19 06:112013-08-19 20:25
Reportersesquized 
Assigned Todoligez 
PriorityhighSeverityminorReproducibilitysometimes
StatusclosedResolutionfixed 
PlatformWindowsOSWindowsOS VersionVista 64
Product Version4.00.1 
Target Version4.01.0+devFixed in Version4.01.0+dev 
Summary0005833: README.win32 can leave the wrong flexlink in the path
DescriptionReadme.win32 says to put in .msenv64
a path of "${VCPATH}:$PATH:${FLPATH}"

However, if flexdll is installed with cygwin, this can have the make system try to use an old flexlink and fail. I think it would be better to say
${FLPATH}:${VCPATH}:$PATH

TagsNo tags attached.
Attached Files

- Relationships
related to 0005830closed README.win32 says to use "/usr/bin/find" 

-  Notes
(0009636)
doligez (administrator)
2013-06-28 17:44

Should be done and tested at the same time as PR#5830.
(0010196)
doligez (administrator)
2013-08-19 15:46

Interesting. The instructions for the .msenv32 say "$VCPATH:$FLPATH:$PATH". I'm going to copy that to the .msenv64 instructions and do some testing.
(0010204)
doligez (administrator)
2013-08-19 20:25

fixed in branch 4.01 (rev 14020)

- Issue History
Date Modified Username Field Change
2012-11-19 06:11 sesquized New Issue
2013-06-28 17:44 doligez Status new => acknowledged
2013-06-28 17:44 doligez Target Version => 4.01.0+dev
2013-06-28 17:44 doligez Note Added: 0009636
2013-06-28 17:44 doligez Relationship added related to 0005830
2013-08-19 15:46 doligez Note Added: 0010196
2013-08-19 15:46 doligez Assigned To => doligez
2013-08-19 15:46 doligez Status acknowledged => assigned
2013-08-19 15:54 doligez Priority normal => high
2013-08-19 20:25 doligez Note Added: 0010204
2013-08-19 20:25 doligez Status assigned => closed
2013-08-19 20:25 doligez Resolution open => fixed
2013-08-19 20:25 doligez Fixed in Version => 4.01.0+dev


Copyright © 2000 - 2011 MantisBT Group
Powered by Mantis Bugtracker