3 binary_package "opengl"
11 binary_package "opengl/win32"
19 binary_package "gmpxx"
27 binary_package "fmod4"
46 binary_package "devil"
54 binary_package "devil/win32"
62 binary_package "openal/win32"
72 prefix "arm-linux-gnueabi";
77 prefix "i586-mingw32msvc";
83 option "outdir" "$profile";
88 option "optimize" "3";
90 option "outdir" "$profile";