From 16c57decff2f52655fad5984c7bb0208096dcaed Mon Sep 17 00:00:00 2001
From: sjunges <sebastian.junges@rwth-aachen.de>
Date: Thu, 18 Jun 2015 19:33:50 +0200
Subject: [PATCH] print header including info for smtrat and carl (untested)

Former-commit-id: 8490637c559470b1cc70dbe74252dd745c6a98a6
---
 src/utility/cli.h | 16 ++++++++++++++++
 1 file changed, 16 insertions(+)

diff --git a/src/utility/cli.h b/src/utility/cli.h
index 351584e78..7d3e4f662 100644
--- a/src/utility/cli.h
+++ b/src/utility/cli.h
@@ -30,6 +30,14 @@
 #include <cuda_runtime.h>
 #endif
 
+#ifdef STORM_HAVE_CARL
+#include "carl/carl.h"
+#endif 
+
+#ifdef STORM_HAVE_SMTRAT
+#include "lib/smtrat.h"
+#endif
+
 #include "log4cplus/logger.h"
 #include "log4cplus/loggingmacros.h"
 #include "log4cplus/consoleappender.h"
@@ -165,6 +173,14 @@ namespace storm {
                 std::cout << "Linked with " << msatVersion << "." << std::endl;
                 msat_free(msatVersion);
 #endif
+#ifdef STORM_HAVE_SMTRAT
+                std::cout << "Linked with SMT-RAT " << SMTRAT_VERSION << "." << std::endl;
+#endif 
+#ifdef STORM_HAVE_CARL
+                std::cout << "Linked with CARL." << std::endl;
+                // TODO get version string
+#endif
+                
 #ifdef STORM_HAVE_CUDA
 				int deviceCount = 0;
 				cudaError_t error_id = cudaGetDeviceCount(&deviceCount);