anchor.diff:  
       aarch64-linux = {
         BINARY = "64";
  -      TARGET = "ARMV8";
  +      TARGET = setTarget "ARMV8";
         DYNAMIC_ARCH = "1";
         CC = "gcc";
         USE_OPENMP = "1";
  
positive.code: 
      x86_64-linux = {
        BINARY = "64";
        TARGET = "ATHLON";
        DYNAMIC_ARCH = "1";
        CC = "gcc";
        USE_OPENMP = "1";
  
negative.code: # pointer width, but some expect to use 32-bit integers always
  # (for compatibility with reference BLAS).
  , blas64 ? null
  
  # Select a specifc optimization target (other than the default)
  # See https://github.com/xianyi/OpenBLAS/blob/develop/TargetList.txt
  , target ? null
  }:
  
  with stdenv.lib;
  