tree 7e82b853ba03a19abd54b8cc2fc409a11d135b30
parent 578f2ec695e6918f86f2837068c1f66d2ccf26c3
author Junxiao Shi <git@mail1.yoursunny.com> 1636038141 -0600
committer Junxiao Shi <git@mail1.yoursunny.com> 1636038141 -0600

install: rewrite install script

* set dependency versions: PPA, git repository & commit
* separate download and build+install steps
* don't reinstall package if it's already installed

refs #4630

Change-Id: I966fac5e1633cbabf78ce20cd151a35618efc345