From: Morgan Deters <mdeters@gmail.com>
Date: Thu, 1 Apr 2010 07:26:37 +0000 (+0000)
Subject: cvc4 --show-config now gives library version
X-Git-Tag: cvc5-1.0.0~9149
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=6fe1db1645f57f3ff0378839ba3f25b0b21e83f9;p=cvc5.git

cvc4 --show-config now gives library version
---

diff --git a/src/main/getopt.cpp b/src/main/getopt.cpp
index 64958519c..cd952eef9 100644
--- a/src/main/getopt.cpp
+++ b/src/main/getopt.cpp
@@ -207,6 +207,11 @@ throw(OptionException) {
       printf("\n");
       printf("version   : %s\n", Configuration::getVersionString().c_str());
       printf("\n");
+      printf("library   : %u.%u.%u\n",
+             Configuration::getVersionMajor(),
+             Configuration::getVersionMinor(),
+             Configuration::getVersionRelease());
+      printf("\n");
       printf("debug code: %s\n", Configuration::isDebugBuild() ? "yes" : "no");
       printf("tracing   : %s\n", Configuration::isTracingBuild() ? "yes" : "no");
       printf("muzzled   : %s\n", Configuration::isMuzzledBuild() ? "yes" : "no");