0
};
+const char *fpus[] =
+{
+ "387", "x86",
+ "sse", "x86",
+ "vfpv3", "arm",
+ "neon", "arm",
+ 0
+};
+
const char *systems[] =
{
"linux",
name = type;
if(!cpu.empty())
name += format("-%s", cpu);
+ if(!fpu.empty())
+ name += format("-%s", fpu);
name += format("-%d-%s", bits, system);
if(system=="windows")
{
if((*i=="32" && bits==32) || (*i=="64" && bits==64))
;
- else if(*i!=type && *i!=cpu && *i!=system)
+ else if(*i!=type && *i!=cpu && *i!=fpu && *i!=system)
return negate;
}
return !negate;
ok = true;
}
+ for(unsigned j=0; (!ok && fpus[j]); j+=2)
+ if(*i==fpus[j])
+ {
+ if(fpus[j+1]!=type)
+ throw invalid_argument("Conflicting FPU specification");
+ fpu = *i;
+ ok = true;
+ }
+
for(unsigned j=0; (!ok && systems[j]); ++j)
if(*i==systems[j])
{