1 binary_package "opengl"
9 binary_package "pthread"
17 binary_package "gmpxx"
25 binary_package "fmod4"
44 architecture "arm" "arm-linux-gnu";
45 architecture "win32" "i586-mingw32msvc";
50 option "outdir" "$profile";
55 option "optimize" "3";
57 option "outdir" "$profile";
62 option "arch" "win32";
63 option "prefix" "$HOME/local/$arch";
64 option "outdir" "$profile";
70 option "prefix" "$HOME/local/$arch";
71 option "outdir" "$profile";