+ if(!arch.get_fpu().empty())
+ {
+ if(arch.get_type()=="x86")
+ {
+ if(arch.get_fpu()=="387")
+ argv.push_back("-mfpmath=387");
+ else if(!arch.get_fpu().compare(0, 3, "sse"))
+ argv.push_back("-mfpmath=sse");
+
+ if(arch.get_fpu()=="sse")
+ argv.push_back("-msse2");
+ else if(arch.get_fpu()=="sse3")
+ argv.push_back("-msse3");
+ else if(arch.get_fpu()=="sse4.1")
+ argv.push_back("-msse4.1");
+ }
+ else if(arch.get_type()=="arm")
+ {
+ argv.push_back("-mfpu="+arch.get_fpu());
+ argv.push_back("-mfloat-abi=softfp");
+ }
+ }
+