| Title | It's not clear what's the best way to build the MPS |
| Status | closed |
| Priority | nice |
| Assigned user | Gareth Rees |
| Organization | Ravenbrook |
| Description | Christian Schafmeister wrote in #memorypoolsystem: "When I configure MPS with "configure" it says: CONFIGURE/MAKE IS NOT THE BEST WAY TO BUILD THE MPS -- see <manual/build.txt>" But manual/build.txt seems to indicate that configure/make is a good way to build MPS - any tips on the best way to install it?" |
| Analysis | There is no contradiction here: something can be "good" and yet "not the best". However, perhaps the documentation could be improved -- an explicit discussion of the different ways of building the MPS and the trade-offs involved might be helpful to a puzzled beginner. |
| How found | customer |
| Evidence | See text quoted from #memorypoolsystem |
| Observed in | 1.111.0 |
| Created by | Gareth Rees |
| Created on | 2013-07-01 13:27:40 |
| Last modified by | Gareth Rees |
| Last modified on | 2014-04-15 11:13:55 |
| History | 2013-07-01 GDR Created. |