Merge pull request #2354 from mingodad/patch-2

Add word size to help screen
souffle-lang · Nov 14, 2022 · b8b1d69 · b8b1d69
2 parents a11d23e + 448f52f
commit b8b1d69
Show file tree

Hide file tree

Showing 2 changed files with 10 additions and 0 deletions.
diff --git a/src/include/souffle/CompiledOptions.h b/src/include/souffle/CompiledOptions.h
@@ -222,6 +222,11 @@ class CmdOptions {
 #endif
         std::cerr << "    -h                           -- prints this help page.\n";
         std::cerr << "--------------------------------------------------------------------\n";
+#ifdef SOUFFLE_GENERATOR_VERSION
+        std::cerr << " Version: " << SOUFFLE_GENERATOR_VERSION << std::endl;
+#endif
+        std::cerr << " Word size: " << RAM_DOMAIN_SIZE << " bits" << std::endl;
+        std::cerr << "--------------------------------------------------------------------\n";
         std::cerr << " Copyright (c) 2016-22 The Souffle Developers." << std::endl;
         std::cerr << " Copyright (c) 2013-16 Oracle and/or its affiliates." << std::endl;
         std::cerr << " All rights reserved.\n";

diff --git a/src/synthesiser/Synthesiser.cpp b/src/synthesiser/Synthesiser.cpp
@@ -20,6 +20,7 @@
 #include "GenDb.h"
 #include "Global.h"
 #include "RelationTag.h"
+#include "config.h"
 #include "ram/AbstractParallel.h"
 #include "ram/Aggregate.h"
 #include "ram/Aggregator.h"
@@ -2485,6 +2486,10 @@ void Synthesiser::generateCode(GenDb& db, const std::string& id, bool& withShare
     std::string classname = "Sf_" + id;
 
     // generate C++ program
+    std::string package_gen_version = "SOUFFLE_GENERATOR_VERSION \"";
+    package_gen_version += PACKAGE_VERSION;
+    package_gen_version += "\"";
+    db.addGlobalDefine(package_gen_version);
 
     if (Global::config().has("verbose")) {
         db.addGlobalDefine("_SOUFFLE_STATS");