3 binary_package "opengl"
11 binary_package "pthread"
19 binary_package "gmpxx"
27 binary_package "fmod4"
54 binary_package "devil"
64 prefix "arm-linux-gnu";
69 prefix "i586-mingw32msvc";
75 option "outdir" "$profile";
80 option "optimize" "3";
82 option "outdir" "$profile";
87 option "arch" "win32";
88 option "prefix" "$HOME/local/$arch";
89 option "outdir" "$profile";
95 option "prefix" "$HOME/local/$arch";
96 option "outdir" "$profile";