| Title | MPS kit fails to install shared libraries |
| Status | open |
| Priority | optional |
| Assigned user | Gareth Rees |
| Organization | Ravenbrook |
| Description | Christian Schafmeister wrote [1]: "I compiled MPS using configure/make and it generated a libmps.a and libmps-debug.a. My application generates several dynamic libraries and an executable that uses those libraries. Is there a way to get a dynamic MPS library or do you know how to get the static MPS libraries to work with my dynamic libraries?" |
| Analysis | It's not clear that the customer would be best off with a shared library: perhaps he should be compiling the MPS directly into his program as described in [3]. The documentation could perhaps be improved to make this clearer: see job003533. But in any case, it should be straightforward to build shared libraries in addition to (or instead of?) the static libraries. On OS X we could add a dynamic library to the Xcode project as described in [2]. On Linux and FreeBSD we'd use the -shared option to gcc. |
| How found | customer |
| Evidence | [1] <https://info.ravenbrook.com/mail/2013/07/01/06-45-54/0/>[2] < https://info.ravenbrook.com/mail/2013/07/01/12-16-36/0/>[3] < http://www.ravenbrook.com/project/mps/....html#optimizing-for-your-object-format> |
| Observed in | 1.111.0 |
| Created by | Gareth Rees |
| Created on | 2013-07-01 13:12:16 |
| Last modified by | Gareth Rees |
| Last modified on | 2014-04-15 12:47:48 |
| History | 2013-07-01 GDR Created based on [1]. |