MPS issue job003430

TitleCan't run test suite on OS X
Statusclosed
Priorityessential
Assigned userGareth Rees
OrganizationRavenbrook
DescriptionOn OS X 10.8.2 (xci6ll) I tried to run the test suite by

    ./configure && make test

but it fails:

    gnumake -C code -f xci6ll.gmk VARIETY=cool testrun
    gnumake[1]: xci6ll.gmk: No such file or directory
    gnumake[1]: *** No rule to make target `xci6ll.gmk'. Stop.
    make: *** [test] Error 2
AnalysisWe should provide a target in the Xcode project that runs the test suite, and arrange for "make test" to run this instead of "gnumake testrun" on platform xci6ll.
How foundmanual_test
EvidenceNone
Observed in1.110.0
Created byGareth Rees
Created on2013-03-07 10:41:05
Last modified byGareth Rees
Last modified on2013-03-08 10:17:08
History2013-03-07 GDR Created.

Fixes

Change Effect Date User Description
181085 closed 2013-03-08 10:17:08 Gareth Rees Test suite runs on OS X:
* New Xcode target "testrun" runs all the (runnable) test cases.
* Makefile provides separate targets test-make-build and test-xcode-build for running test suite on different platforms.
* configure selects the appropriate test target.