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"
40
40
do_lld=" yes"
41
41
do_lldb=" no"
42
42
do_polly=" yes"
43
+ do_mlir=" yes"
43
44
BuildDir=" ` pwd` "
44
45
ExtraConfigureFlags=" "
45
46
ExportBranch=" "
@@ -72,6 +73,7 @@ function usage() {
72
73
echo " -lldb Enable check-out & build lldb"
73
74
echo " -no-lldb Disable check-out & build lldb (default)"
74
75
echo " -no-polly Disable check-out & build Polly"
76
+ echo " -no-mlir Disable check-out & build MLIR"
75
77
}
76
78
77
79
while [ $# -gt 0 ]; do
@@ -167,6 +169,9 @@ while [ $# -gt 0 ]; do
167
169
-no-polly )
168
170
do_polly=" no"
169
171
;;
172
+ -no-mlir )
173
+ do_mlir=" no"
174
+ ;;
170
175
-help | --help | -h | --h | -\? )
171
176
usage
172
177
exit 0
253
258
if [ $do_polly = " yes" ]; then
254
259
projects=" $projects polly"
255
260
fi
261
+ if [ $do_mlir = " yes" ]; then
262
+ projects=" $projects mlir"
263
+ fi
256
264
257
265
# Go to the build directory (may be different from CWD)
258
266
BuildDir=$BuildDir /$RC
You can’t perform that action at this time.
0 commit comments