3 binary_package "opengl"
11 binary_package "pthread"
19 binary_package "gmpxx"
27 binary_package "fmod4"
48 prefix "arm-linux-gnu";
53 prefix "i586-mingw32msvc";
59 option "outdir" "$profile";
64 option "optimize" "3";
66 option "outdir" "$profile";
71 option "arch" "win32";
72 option "prefix" "$HOME/local/$arch";
73 option "outdir" "$profile";
79 option "prefix" "$HOME/local/$arch";
80 option "outdir" "$profile";