File tree Expand file tree Collapse file tree 1 file changed +8
-0
lines changed Expand file tree Collapse file tree 1 file changed +8
-0
lines changed Original file line number Diff line number Diff line change @@ -40,6 +40,7 @@ do_openmp="yes"
4040do_lld=" yes"
4141do_lldb=" no"
4242do_polly=" yes"
43+ do_mlir=" yes"
4344BuildDir=" ` pwd` "
4445ExtraConfigureFlags=" "
4546ExportBranch=" "
@@ -72,6 +73,7 @@ function usage() {
7273 echo " -lldb Enable check-out & build lldb"
7374 echo " -no-lldb Disable check-out & build lldb (default)"
7475 echo " -no-polly Disable check-out & build Polly"
76+ echo " -no-mlir Disable check-out & build MLIR"
7577}
7678
7779while [ $# -gt 0 ]; do
@@ -167,6 +169,9 @@ while [ $# -gt 0 ]; do
167169 -no-polly )
168170 do_polly=" no"
169171 ;;
172+ -no-mlir )
173+ do_mlir=" no"
174+ ;;
170175 -help | --help | -h | --h | -\? )
171176 usage
172177 exit 0
253258if [ $do_polly = " yes" ]; then
254259 projects=" $projects polly"
255260fi
261+ if [ $do_mlir = " yes" ]; then
262+ projects=" $projects mlir"
263+ fi
256264
257265# Go to the build directory (may be different from CWD)
258266BuildDir=$BuildDir /$RC
You can’t perform that action at this time.
0 commit comments