MPS issue job000553

TitleMPS releases should include binaries
Statussuspended
Priorityessential
Assigned userNick Barnes
OrganizationRavenbrook
DescriptionSome MPS users don't want to compile their own libraries, so releases should include binaries for at least some platforms. This means that the release build procedure will need to include building those libraries.
Analysis There is a script (version/1.100/code/w3build.bat) to build libraries for w3i3mv and collect them together with header files in a 'release' directory; ideally this would just be another make target.
How foundcustomer
Evidence<http://info.ravenbrook.com/mail/2002/06/28/05-46-04/0.txt>
Observed in1.100.1
Introduced in1.100.0
Created byNick Barnes
Created on2002-07-08 14:41:59
Last modified byRichard Brooksby
Last modified on2012-09-21 20:26:56
History2002-07-08 NB Created.
2012-09-21 RB Suspended. MPS is kit-only for now at least.