MPS issue job003367

TitleCan't run tests via "make test"
Assigned userGareth Rees
DescriptionOn 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
AnalysisThe failing "gnumake" invocation comes from here 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 foundmanual_test
Evidence[1] <>
Observed in1.110.0
Test procedureNone
Created byGareth Rees
Created on2012-11-06 16:31:40
Last modified byGareth Rees
Last modified on2013-03-07 15:57:30
History2012-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).