| Title | Can't run tests via "make test" |
| Status | closed |
| Priority | essential |
| Assigned user | Gareth Rees |
| Organization | Ravenbrook |
| Description | On Ubuntu (lii6gc) I tried to run the test suite by ./configure && make test but this fails: gnumake -C code VARIETY=cool testrun gnumake[1]: *** No rule to make target `testrun'. Stop. make: *** [test] Error 2 |
| Analysis | The failing "gnumake" invocation comes from here in Makefile.in [1]: test: @BUILD_TARGET@ $(MAKE) -C code VARIETY=cool testrun $(MAKE) -C code VARIETY=hot testrun This looks wrong: shouldn't this be as follows? test: @BUILD_TARGET@ $(MAKE) -C code -f $(MPS_TARGET_NAME).gmk VARIETY=cool testrun $(MAKE) -C code -f $(MPS_TARGET_NAME).gmk VARIETY=hot testrun |
| How found | manual_test |
| Evidence | [1] <http://info.ravenbrook.com/project/mps/master/Makefile.in> |
| Observed in | 1.110.0 |
| Test procedure | None |
| Created by | Gareth Rees |
| Created on | 2012-11-06 16:31:40 |
| Last modified by | Gareth Rees |
| Last modified on | 2013-03-07 15:57:30 |
| History | 2012-11-06 GDR Created. |
| Change | Effect | Date | User | Description |
|---|---|---|---|---|
| 181070 | closed | 2013-03-07 10:28:30 | Gareth Rees | Test cases now run by "make test" (on platforms with makefiles). |