| Title | Missing dependencies for benchmarks |
| Status | closed |
| Priority | essential |
| Assigned user | Gareth Rees |
| Organization | Ravenbrook |
| Description | If you edit an MPM source file (for example, arena.c) and then run make VARIETY=cool, the benchmarks (djbench and gcbench) are not recompiled. |
| Analysis | The benchmarks (djbench and gcbench) build via mps.c, even in the COOL variety. This means that they depend on mps.c and all the files it includes. But this dependency is not expressed in the build system, which (incorrectly) expresses a dependency on mps.a. |
| How found | manual_test |
| Evidence | None |
| Created by | Gareth Rees |
| Created on | 2014-05-19 10:37:56 |
| Last modified by | Gareth Rees |
| Last modified on | 2014-05-20 22:14:31 |
| History | 2014-05-19 GDR Created. |