From 9fc9cdde42b5a1d38dd5a3ea0815104762c2b367 Mon Sep 17 00:00:00 2001 From: Dan Liew Date: Sat, 25 Apr 2015 14:39:29 +0100 Subject: Give KLEE release version information in the output of klee and kleaver when they are given the --version command line option. Unfortunately to make the build type and git revision available we need to check this for every build which means KLEE's support library will be rebuilt for every build which will slow down incremental builds. This addresses issue #231 --- include/klee/Internal/Support/PrintVersion.h | 17 +++++++++++++++++ 1 file changed, 17 insertions(+) create mode 100644 include/klee/Internal/Support/PrintVersion.h (limited to 'include') diff --git a/include/klee/Internal/Support/PrintVersion.h b/include/klee/Internal/Support/PrintVersion.h new file mode 100644 index 00000000..2c375ad2 --- /dev/null +++ b/include/klee/Internal/Support/PrintVersion.h @@ -0,0 +1,17 @@ +//===-- Version.h -----------------------------------------------*- C++ -*-===// +// +// The KLEE Symbolic Virtual Machine +// +// This file is distributed under the University of Illinois Open Source +// License. See LICENSE.TXT for details. +// +//===----------------------------------------------------------------------===// + +#ifndef KLEE_PRINT_VERSION_H +#define KLEE_PRINT_VERSION_H + +namespace klee { + void printVersion(); +} + +#endif -- cgit 1.4.1