issue with z3 submodules

mmicko · mmicko · commit 13bd2722964a · 2025-09-18T10:12:29.000+02:00
diff --git a/default/rules/solvers.py b/default/rules/solvers.py
@@ -235,6 +235,7 @@
 	location = 'https://github.com/Z3Prover/z3',
 	revision = 'origin/master',
 	license_file = 'LICENSE.txt',
+    no_submodules = True,
 )
 
 Target(

Original file line number	Diff line number	Diff line change
`@@ -235,6 +235,7 @@`
`235`	`235`	`location = 'https://github.com/Z3Prover/z3',`
`236`	`236`	`revision = 'origin/master',`
`237`	`237`	`license_file = 'LICENSE.txt',`
	`238`	`+ no_submodules = True,`
`238`	`239`	`)`
`239`	`240`
`240`	`241`	`Target(`