From eade441ba258dce612788becb8e421babb09b09b Mon Sep 17 00:00:00 2001
From: Eric Mertens <emertens@galois.com>
Date: Wed, 25 Jan 2023 16:49:54 -0500
Subject: [PATCH] cmake preset

---
 CMakePresets.json     | 17 +++++++++++++++++
 compile_commands.json |  2 +-
 2 files changed, 18 insertions(+), 1 deletion(-)
 create mode 100644 CMakePresets.json

diff --git a/CMakePresets.json b/CMakePresets.json
new file mode 100644
index 0000000..e1b73b5
--- /dev/null
+++ b/CMakePresets.json
@@ -0,0 +1,17 @@
+{
+    "version": 2,
+    "configurePresets": [
+        {
+            "name": "build",
+            "displayName": "Configure preset using toolchain file",
+            "description": "Sets Ninja generator, build and install directory",
+            "generator": "Ninja Multi-Config",
+            "binaryDir": "${sourceDir}/out/build/${presetName}",
+            "cacheVariables": {
+                "CMAKE_TOOLCHAIN_FILE": "",
+                "CMAKE_INSTALL_PREFIX": "${sourceDir}/out/install/${presetName}",
+                "CMAKE_EXPORT_COMPILE_COMMANDS": "On"
+            }
+        }
+    ]
+}
diff --git a/compile_commands.json b/compile_commands.json
index 25eb4b2..47f7a28 120000
--- a/compile_commands.json
+++ b/compile_commands.json
@@ -1 +1 @@
-build/compile_commands.json
\ No newline at end of file
+out/build/build/compile_commands.json
\ No newline at end of file