Installation issue: cannot download cmake due to certificate expiration

[hecmay]

A minor issue.

In the Makefile, wget is used to download cmake from the official website, but it seems that the HTTPS certificate of their website expired, and using wget directly would lead to an error:

(ubuntu) [sx233@brg-zhang-xcel heterocl]$ make -j64
make -C pkgs
make[1]: Entering directory '/work/shared/users/phd/sx233/heterocl/pkgs'
make[2]: Entering directory '/work/shared/users/phd/sx233/heterocl/pkgs/cmake'
--2021-09-30 15:16:48--  https://cmake.org/files/v3.10/cmake-3.10.2-Linux-x86_64.tar.gz
Resolving cmake.org (cmake.org)... 66.194.253.25
Connecting to cmake.org (cmake.org)|66.194.253.25|:443... connected.
ERROR: cannot verify cmake.org's certificate, issued by ‘/C=US/O=Let's Encrypt/CN=R3’:
  Issued certificate has expired.
To connect to cmake.org insecurely, use `--no-check-certificate'.
tar (child): cmake-3.10.2-Linux-x86_64.tar.gz: Cannot open: No such file or directory
tar (child): Error is not recoverable: exiting now
tar: Child returned status 2
tar: Error is not recoverable: exiting now
rm: cannot remove ‘cmake-3.10.2-Linux-x86_64.tar.gz’: No such file or directory
mv: cannot stat ‘cmake-3.10.2-Linux-x86_64’: No such file or directory
make[2]: *** [Makefile:21: /work/shared/users/phd/sx233/heterocl/build/pkgs/cmake/build/.built-cmake] Error 1
make[2]: Leaving directory '/work/shared/users/phd/sx233/heterocl/pkgs/cmake'
make[1]: *** [Makefile.pkg.common:6: all] Error 1
make[1]: Leaving directory '/work/shared/users/phd/sx233/heterocl/pkgs'
make: *** [Makefile:8: build-pkgs] Error 2

The solution would be adding `--no-check-certificate' option when using wget.

[hecmay]

It seems that my wget is not update-to-date and it threw out some warnings when downloading the zip file. After updating wget, the issue is fixed.