From 7e84b7e426e4a17b09931a11a03996cd833a0e6e Mon Sep 17 00:00:00 2001
From: Henrich Lauko <xlauko@mail.muni.cz>
Date: Thu, 2 Nov 2023 09:57:31 +0100
Subject: [PATCH] devcontainer: Bump up to llvm-17.

---
 .devcontainer/devcontainer.json | 5 ++---
 1 file changed, 2 insertions(+), 3 deletions(-)

diff --git a/.devcontainer/devcontainer.json b/.devcontainer/devcontainer.json
index 2430dc198b..dcd4f12404 100644
--- a/.devcontainer/devcontainer.json
+++ b/.devcontainer/devcontainer.json
@@ -2,9 +2,8 @@
 // https://github.com/microsoft/vscode-dev-containers/tree/v0.245.2/containers/cpp
 {
 	"name": "C++",
-	"image": "xheno/vast-ubuntu-22.04-dev:latest",
 	// to run local build of devcontainer
-	// "build": { "dockerfile": "./Dockerfile" },
+	"build": { "dockerfile": "./Dockerfile" },
 	"runArgs": ["--cap-add=SYS_PTRACE", "--security-opt", "seccomp=unconfined"],
 
 	// Configure tool-specific properties.
@@ -25,7 +24,7 @@
 		"python": "os-provided"
 	},
 	"containerEnv": {
-		"CMAKE_PREFIX_PATH": "/usr/lib/llvm-16/lib/cmake/mlir/;/usr/lib/llvm-16/lib/cmake/clang/",
+		"CMAKE_PREFIX_PATH": "/usr/lib/llvm-17/lib/cmake/mlir/;/usr/lib/llvm-17/lib/cmake/clang/",
 		"LLVM_EXTERNAL_LIT": "/usr/local/bin/lit"
 	}