From ca60811f5d55254bec378919430dd0e7e6e5cdd1 Mon Sep 17 00:00:00 2001
From: Martin Nowack <m.nowack@imperial.ac.uk>
Date: Thu, 23 Feb 2023 22:01:12 +0000
Subject: Update build scripts

* Support for Ubuntu 22.04
* Remove support for Python2
* Better separation between sanitizer builds and non-sanitizer builds
* Fix build of metaSMT on newer Ubuntu versions
* Use ninja to build LLVM
* Simplifying building arbitrary LLVM configurations, e.g. different
  LLVM sanitizer builds (MemSan, UBSan, ASan)
* Use MemSan with origin tracking
* Build sqlite3 container correctly
* Add support to provide sqlite3 version number
---
 scripts/build/v-sqlite.inc | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

(limited to 'scripts/build/v-sqlite.inc')

diff --git a/scripts/build/v-sqlite.inc b/scripts/build/v-sqlite.inc
index 366f442f..17f248cc 100644
--- a/scripts/build/v-sqlite.inc
+++ b/scripts/build/v-sqlite.inc
@@ -1,3 +1,5 @@
 artifact_dependency_sqlite=("sanitizer")
 
-required_variables_sqlite=("")
+required_variables_sqlite=(
+  "SQLITE_VERSION"
+)
-- 
cgit 1.4.1