- option "optimize" "3";
- option "strip" "1";
- option "outdir" "$profile";
-};
-
-profile "win32"
-{
- option "arch" "win32";
- option "prefix" "$HOME/local/$arch";
- option "outdir" "$profile";
-};
-
-profile "arm"
-{
- option "arch" "arm";
- option "prefix" "$HOME/local/$arch";
- option "outdir" "$profile";