[AutoTVM][Ansor] Turn on USE_RANDOM by default

[comaniac]

After #6391, we require USE_RANDOM to be on during the tuning. However, setting USE_RANDOM ON in cmake/config.cmake doesn't really turn it on by default.

This PR makes CMakefile and config.cmake consistent. Specifically, turn on USE_RANDOM and USE_SORT in CMakefile as in config.cmake; remove unnecessary configs in install_tvm_xx.sh.

cc @FrozenGene, @tqchen

[FrozenGene]

Thanks Cody. Could you explain a little bit why cmake/config.cmake doesn’t turn it on by default? As USE_SORT uses this way too------------------ Original ------------------From: Cody Yu <notifications@github.com>Date: Sat,Sep 26,2020 7:16 AMTo: apache/incubator-tvm <incubator-tvm@noreply.github.com>Cc: Zhao Wu <zhaowu@apache.org>, Mention <mention@noreply.github.com>Subject: Re: [apache/incubator-tvm] [AutoTVM][Ansor] Turn on USE_RANDOM by default (#6562)After #6391, we require USE_RANDOM to be on during the tuning. However, setting USE_RANDOM ON in cmake/config.cmake doesn't really turn it on by default. cc @FrozenGene You can view, comment on, or merge this pull request online at:   #6562 Commit Summary Turn on USE_RANDOM by default File Changes M CMakeLists.txt (2) Patch Links: https://github.com/apache/incubator-tvm/pull/6562.patch https://github.com/apache/incubator-tvm/pull/6562.diff —You are receiving this because you were mentioned.Reply to this email directly, view it on GitHub, or unsubscribe.

[comaniac]

It's fine if users directly copy cmake/config.cmake to build. However, as the usage in the docker images, some users prefer to create a simple config.cmake that only overrides the values against CMakefile. In my personal case, my config.cmake doesn't have USE_RANDOM and I expected it to be ON by referring to cmake/config.cmake, but it doesn't work as expected, so does USE_SORT.

[FrozenGene]

ok. Thanks for explaining.