MPS issue job001091

TitleMPS treats all Linuxes the same.
Statussuspended
Priorityoptional
Assigned userDavid Jones
OrganizationRavenbrook
DescriptionWhen building the MPS we treat all Linuxes the same. But is not
at all clear that Debian Linux is "the same as" Red Hat Linux.

There are several aspects:

1) Source code compatibility. Most differences would be
  detected at compile time.

2) Protocol incompatibility. The most common of which would be
  something like different return codes for the same syscall.

3) Binary incompatibility. I mean that a library built on one
Linux might simply be the wrong format for some other Linux.
The issue here being that on an NFS mounted build environment we
would want separate directories for the different Linuxes.

I think this needs investigation more than anything. For
starters I don't even know if the above are genuine problems or
not.

There are similar issues with (for example) assuming all version
of Mac OS X are the same or that all version of Solaris or OSF/1
(er Tru64) are the same.
AnalysisNeeded.
How foundunknown
Observed in1.104.0
Created byDavid Jones
Created on2004-12-10 14:03:51
Last modified byGareth Rees
Last modified on2013-03-19 12:05:43
History2004-12-10 DRJ Created.
2013-03-19 GDR Suspended. (Can reopen if we find evidence that this is a problem.)