diff options
| author | komaeda <819880950@qq.com> | 2019-03-20 21:22:04 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-03-20 21:22:04 +0100 |
| commit | 91dce3126578acb97e15e2b8c77a393b303a2dad (patch) | |
| tree | f9bb7526184caf1b82ca1b92bbaa5f18a7fa7d7e /install.sh | |
| parent | 040ca18a648034e5a57719eaa8737272f9392b2a (diff) | |
| parent | f07703eb7ae347345d1553aff26b1387fa6d858f (diff) | |
Merge pull request #131 from ColinPitrat/master
Verify that rust version is recent enough to install rustlings.
Diffstat (limited to 'install.sh')
| -rwxr-xr-x | install.sh | 52 |
1 files changed, 52 insertions, 0 deletions
@@ -30,6 +30,58 @@ else echo "SUCCESS: Cargo is installed" fi +# Function that compares two versions strings v1 and v2 given in arguments (e.g 1.31 and 1.33.0). +# Returns 1 if v1 > v2, 0 if v1 == v2, 2 if v1 < v2. +function vercomp() { + if [[ $1 == $2 ]] + then + return 0 + fi + v1=( ${1//./ } ) + v2=( ${2//./ } ) + len1=${#v1[@]} + len2=${#v2[@]} + max_len=$len1 + if [[ $max_len -lt $len2 ]] + then + max_len=$len2 + fi + for i in `seq 0 $max_len` + do + # Fill empty fields with zeros in v1 + if [ -z "${v1[$i]}" ] + then + v1[$i]=0 + fi + # And in v2 + if [ -z "${v2[$i]}" ] + then + v2[$i]=0 + fi + if [ ${v1[$i]} -gt ${v2[$i]} ] + then + return 1 + fi + if [ ${v1[$i]} -lt ${v2[$i]} ] + then + return 2 + fi + done + return 0 +} + +RustVersion=$(rustc --version | cut -d " " -f 2) +MinRustVersion=1.31 +vercomp $RustVersion $MinRustVersion +if [ $? -eq 2 ] +then + echo "WARNING: Rust version is too old: $RustVersion - needs at least $MinRustVersion" + echo "Please update Rust with 'rustup update'" + exit 1 +else + echo "SUCCESS: Rust is up to date" +fi + Path=${1:-rustlings/} echo "Cloning Rustlings at $Path..." git clone -q https://github.com/rust-lang/rustlings $Path |
