#include "ns32k/tek6000.h" #undef CPP_PREDEFINES #define CPP_PREDEFINES \ "-Dns32000 -Dns32k -Dns16000 -Dns32016 -DUTek -DUTEK -Dbsd -DBSD -Dmerlin \ -Asystem=unix -Asystem=bsd -Acpu=ns32k -Amachine=ns32k"