From 081193432f4883a3c34110b2b91ed781617fc1d5 Mon Sep 17 00:00:00 2001 From: Michael Schroeder Date: Wed, 15 Jul 2009 17:51:49 +0200 Subject: [PATCH] - add declarations of runtime vars --- src/satversion.h.in | 5 +++++ 1 file changed, 5 insertions(+) diff --git a/src/satversion.h.in b/src/satversion.h.in index 593fcf0..2bddacb 100644 --- a/src/satversion.h.in +++ b/src/satversion.h.in @@ -19,4 +19,9 @@ #define SATSOLVER_VERSION_PATCH @LIBSATSOLVER_PATCH@ #define SATSOLVER_VERSION (SATSOLVER_VERSION_MAJOR * 10000 + SATSOLVER_VERSION_MINOR * 100 + SATSOLVER_VERSION_PATCH) +extern const char sat_version[]; +extern int sat_version_major; +extern int sat_version_minor; +extern int sat_version_patch; + #endif -- 2.7.4