From b3d2781969031531f0dc8af91f77666121fa5554 Mon Sep 17 00:00:00 2001 From: Giridhar Prasath R Date: Sat, 21 Sep 2024 18:28:01 -0400 Subject: [PATCH] fix CI meson.build subproject script --- subprojects/packagefiles/z3/meson.build | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/subprojects/packagefiles/z3/meson.build b/subprojects/packagefiles/z3/meson.build index 7af6a5f..09e2eb7 100644 --- a/subprojects/packagefiles/z3/meson.build +++ b/subprojects/packagefiles/z3/meson.build @@ -3,7 +3,7 @@ project('z3', 'cpp', version: '3049f578a8f98a0b0992eca193afe57a73b30ca3') python = import('python').find_installation() # Run Z3's configuration script -run_command(python, 'scripts/mk_make.py', '--python', check: true) +run_command(python, 'scripts/mk_make.py', check: true) z3_src = [ 'src/ackermannization/lackr.cpp',