continue_on_error is now added for all packages

Author: mmicko

default/rules/solvers.py

@@ -93,7 +93,6 @@
 	sources = [ 'pono' ],
 	dependencies = [ 'smt-switch', 'cvc4', 'boolector' ],
 	license_file = 'pono/LICENSE',
-	continue_on_error = True,
 )
 
 # suprove
@@ -143,5 +142,4 @@
 	name = 'z3',
 	sources = [ 'z3' ],
 	license_file = 'z3/LICENSE.txt',
-	continue_on_error = True,
 )

src/base.py

@@ -84,7 +84,7 @@ def __init__(self, name, vcs, location, revision, no_submodules = False):
 		sources[name] = self
 
 class Target:
-	def __init__(self, name, sources = [], dependencies = [], resources = [], patches = [], arch = [], license_url = None, license_file = None, top_package = False, build_native = False, release_name = None, gitrev = [], branding = None, continue_on_error = False, readme = None):
+	def __init__(self, name, sources = [], dependencies = [], resources = [], patches = [], arch = [], license_url = None, license_file = None, top_package = False, build_native = False, release_name = None, gitrev = [], branding = None, readme = None):
 		self.name = name
 		self.sources = sources
 		self.dependencies = dependencies
@@ -101,7 +101,6 @@ def __init__(self, name, sources = [], dependencies = [], resources = [], patche
 		self.build_native = build_native
 		self.gitrev = gitrev
 		self.branding = branding
-		self.continue_on_error = continue_on_error
 		self.readme = readme
 		if release_name:
 			self.release_name = release_name