MPS issue job003630

TitleBad variety not detected
Statusclosed
Prioritynice
Assigned userGareth Rees
OrganizationRavenbrook
DescriptionIf you get the name of the variety wrong when building the MPS, then the output is misleading:

    $ make -f xci3gc.gmk VARIETY=HOT
    xci3gc: xci3gc/HOT/abqtest
    Undefined symbols for architecture i386:
      "_ABQInit", referenced from:
          _main in abqtest.o
      "_ABQIterate", referenced from:
          _step in abqtest.o
      "_ABQPop", referenced from:
          _step in abqtest.o
      "_ABQPush", referenced from:
          _step in abqtest.o
      "_mps_arena_class_vm", referenced from:
          _main in abqtest.o
      "_mps_arena_create", referenced from:
          _main in abqtest.o
      "_mps_lib_assert_fail_install", referenced from:
          _main in abqtest.o
    ld: symbol(s) not found for architecture i386
    collect2: ld returned 1 exit status
    make[1]: *** [xci3gc/HOT/abqtest] Error 1
    make: *** [abqtest] Error 2

See the manual [1] for documentation of the varieties.
AnalysisIt should be an error if VARIETY is defined but not equal to "rash", "hot", or "cool".
How foundmanual_test
Evidence[1] <http://www.ravenbrook.com/project/mps/.../manual/html/topic/error.html#varieties>
Created byGareth Rees
Created on2013-09-30 19:53:18
Last modified byGareth Rees
Last modified on2013-10-02 17:17:40
History2013-09-30 GDR Created.

Fixes

Change Effect Date User Description
183499 closed 2013-10-01 10:53:09 Gareth Rees Raise an error if VARIETY is something other than rash, hot, or cool.