let cxx_flags = [ "-fno-PIC"; "-std=c++0x"; "-static" ];;
let main_targets = [ "native","src/main.native";
"byte", "src/main.byte" ];;
let cxx_flags = [ "-fno-PIC"; "-std=c++0x"; "-static" ];;
let main_targets = [ "native","src/main.native";
"byte", "src/main.byte" ];;