Overview

HTTPS SSH
ALL-IN-ONE build:
	If project.py is existed
		Run build_all.py
	otherwise
		Run build_all.py to generate project.py
		Modify proj.py to set environments
		Run build_all.py
		
Manual build:
	see doc/HowToBuildSalviaManual.txt