anchor.diff:  
       i686-linux = {
         BINARY = "32";
  -      TARGET = "P2";
  +      TARGET = setTarget "P2";
         DYNAMIC_ARCH = "1";
         CC = "gcc";
         USE_OPENMP = "1";
  
positive.code: 
      x86_64-darwin = {
        BINARY = "64";
        TARGET = "ATHLON";
        DYNAMIC_ARCH = "1";
        # Note that clang is available through the stdenv on OSX and
        # thus is not an explicit dependency.
  
negative.code: let blas64_ = blas64; in
  
  let
    setTarget = x: if target == null then x else target;
  
    # To add support for a new platform, add an element to this set.
    configs = {
      armv6l-linux = {
        BINARY = "32";
        TARGET = setTarget "ARMV6";
        DYNAMIC_ARCH = "0";
        CC = "gcc";
        USE_OPENMP = "1";
  