From: Mathias Preiner <mathias.preiner@gmail.com>
Date: Mon, 1 Oct 2018 23:37:15 +0000 (-0700)
Subject: cmake: Generate compile_commands.json on configure. (#2559)
X-Git-Tag: cvc5-1.0.0~4477
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=64a0e3f1e4a5a8e3070eeadae0f6942b290c2974;p=cvc5.git

cmake: Generate compile_commands.json on configure. (#2559)
---

diff --git a/CMakeLists.txt b/CMakeLists.txt
index a42406dad..e850f9928 100644
--- a/CMakeLists.txt
+++ b/CMakeLists.txt
@@ -27,6 +27,10 @@ set(CMAKE_MODULE_PATH ${PROJECT_SOURCE_DIR}/cmake)
 set(CMAKE_C_STANDARD 99)
 set(CMAKE_CXX_STANDARD 11)
 
+# Generate compile_commands.json, which can be used for various code completion
+# plugins.
+set(CMAKE_EXPORT_COMPILE_COMMANDS ON)
+
 #-----------------------------------------------------------------------------#
 
 include(Helpers)