From 66534ae88828abe628682c7fbd6c977f0845d32d Mon Sep 17 00:00:00 2001
From: Felix Morgner <felix.morgner@gmail.com>
Date: Wed, 17 Jul 2024 16:27:13 +0200
Subject: ide: define local install prefix

---
 .vscode/settings.json | 1 +
 1 file changed, 1 insertion(+)

diff --git a/.vscode/settings.json b/.vscode/settings.json
index 16e5da3..3073d74 100644
--- a/.vscode/settings.json
+++ b/.vscode/settings.json
@@ -20,6 +20,7 @@
     "cmake.configureOnOpen": true,
     "cmake.ctest.testExplorerIntegrationEnabled": false,
     "cmake.configureArgs": [
+        "-DCMAKE_INSTALL_PREFIX=${env:HOME}/.local",
         "-DTURNS_USE_INSTALLED_TRANSLATIONS=OFF"
     ],
 
-- 
cgit v1.2.3