From eb16e7c7281e182297581fa8d565561869c81bca Mon Sep 17 00:00:00 2001 From: Michele Calgaro Date: Sat, 14 Nov 2020 11:45:52 +0800 Subject: DEB: added cmake directive to create compilation database 'compile_commands.json' at build time. This can be used to provide linting, autocompletion, hovering info, go-to-definition and in general other LSP functionality in development environments. Signed-off-by: Michele Calgaro --- ubuntu/_base/tdeedu/debian/rules | 1 + 1 file changed, 1 insertion(+) (limited to 'ubuntu/_base/tdeedu/debian') diff --git a/ubuntu/_base/tdeedu/debian/rules b/ubuntu/_base/tdeedu/debian/rules index 0070b7556..fa6957b40 100755 --- a/ubuntu/_base/tdeedu/debian/rules +++ b/ubuntu/_base/tdeedu/debian/rules @@ -23,6 +23,7 @@ PACKAGES_WITH_LIBS := libtdeedu3-trinity libkiten1-trinity kvoctrain-trinity HAVE_OCAMLOPT= $(if $(wildcard /usr/bin/ocamlopt),ON,OFF) DEB_CMAKE_EXTRA_FLAGS := \ + -DCMAKE_EXPORT_COMPILE_COMMANDS="ON" \ -DCMAKE_INSTALL_PREFIX="/opt/trinity" \ -DCONFIG_INSTALL_DIR="/etc/trinity" \ -DSYSCONF_INSTALL_DIR="/etc" \ -- cgit v1.2.1