3 binary_package "opengl"
11 binary_package "opengl/win32"
19 binary_package "gmpxx"
27 binary_package "fmod4"
54 binary_package "devil"
62 binary_package "devil/win32"
70 binary_package "openal/win32"
80 prefix "arm-linux-gnu";
85 prefix "i586-mingw32msvc";
91 option "outdir" "$profile";
96 option "optimize" "3";
98 option "outdir" "$profile";