Move module Kore.VersionInfo into the library

* moved Kore.VersionInfo to the library

* Materialize Nix expressions

* added doc header to VersionInfo

Co-authored-by: MirceaS <[email protected]>
Co-authored-by: Thomas Tuegel <[email protected]>

Author: MirceaS

kore/app/share/GlobalMain.hs

@@ -132,11 +132,11 @@ import Kore.Syntax.Definition
     , getModuleNameForError
     )
 import qualified Kore.Verified as Verified
+import Kore.VersionInfo
 
 import qualified Paths_kore as MetaData
     ( version
     )
-import VersionInfo
 
 type Main = LoggerT IO
 

kore/kore.cabal

@@ -4,7 +4,7 @@ cabal-version: 2.2
 --
 -- see: https://github.com/sol/hpack
 --
--- hash: 3d55d4e48de30558077ae922d1e28eb952053eba723c498c6844dbb35e799899
+-- hash: 03c98e7a7113ac321409caf3539c3987574f8cb7fa4049e7fb285d8c462de491
 
 name:           kore
 version:        0.40.0.0
@@ -384,6 +384,7 @@ library
       Kore.Variables.Fresh
       Kore.Variables.Target
       Kore.Verified
+      Kore.VersionInfo
       Log
       Log.Entry
       Logic
@@ -477,7 +478,6 @@ executable kore-exec
   main-is: Main.hs
   other-modules:
       GlobalMain
-      VersionInfo
       Paths_kore
   hs-source-dirs:
       app/exec
@@ -558,7 +558,6 @@ executable kore-format
   main-is: Main.hs
   other-modules:
       GlobalMain
-      VersionInfo
       Paths_kore
   hs-source-dirs:
       app/format
@@ -639,7 +638,6 @@ executable kore-parser
   main-is: Main.hs
   other-modules:
       GlobalMain
-      VersionInfo
       Paths_kore
   hs-source-dirs:
       app/parser
@@ -794,7 +792,6 @@ executable kore-repl
   main-is: Main.hs
   other-modules:
       GlobalMain
-      VersionInfo
       Paths_kore
   hs-source-dirs:
       app/repl

kore/app/share/VersionInfo.hs renamed to kore/src/Kore/VersionInfo.hs

@@ -1,9 +1,15 @@
+{- |
+Copyright   : (c) Runtime Verification, 2021
+License     : NCSA
+
+ -}
+
 {-# LANGUAGE DeriveLift              #-}
 {-# LANGUAGE NoDuplicateRecordFields #-}
 {-# LANGUAGE Strict                  #-}
 {-# LANGUAGE TemplateHaskell         #-}
 
-module VersionInfo
+module Kore.VersionInfo
     ( VersionInfo (..)
     , versionInfo
     ) where

nix/kore.nix.d/kore.nix

@@ -443,6 +443,7 @@
           "Kore/Variables/Fresh"
           "Kore/Variables/Target"
           "Kore/Verified"
+          "Kore/VersionInfo"
           "Log"
           "Log/Entry"
           "Logic"
@@ -531,7 +532,7 @@
             (hsPkgs.buildPackages.tasty-discover or (pkgs.buildPackages.tasty-discover or (errorHandler.buildToolDepError "tasty-discover")))
             ];
           buildable = true;
-          modules = [ "GlobalMain" "VersionInfo" "Paths_kore" ];
+          modules = [ "GlobalMain" "Paths_kore" ];
           hsSourceDirs = [ "app/exec" "app/share" ];
           mainPath = ([
             "Main.hs"
@@ -603,7 +604,7 @@
             (hsPkgs.buildPackages.tasty-discover or (pkgs.buildPackages.tasty-discover or (errorHandler.buildToolDepError "tasty-discover")))
             ];
           buildable = true;
-          modules = [ "GlobalMain" "VersionInfo" "Paths_kore" ];
+          modules = [ "GlobalMain" "Paths_kore" ];
           hsSourceDirs = [ "app/format" "app/share" ];
           mainPath = ([
             "Main.hs"
@@ -675,7 +676,7 @@
             (hsPkgs.buildPackages.tasty-discover or (pkgs.buildPackages.tasty-discover or (errorHandler.buildToolDepError "tasty-discover")))
             ];
           buildable = true;
-          modules = [ "GlobalMain" "VersionInfo" "Paths_kore" ];
+          modules = [ "GlobalMain" "Paths_kore" ];
           hsSourceDirs = [ "app/parser" "app/share" ];
           mainPath = ([
             "Main.hs"
@@ -817,7 +818,7 @@
             (hsPkgs.buildPackages.tasty-discover or (pkgs.buildPackages.tasty-discover or (errorHandler.buildToolDepError "tasty-discover")))
             ];
           buildable = true;
-          modules = [ "GlobalMain" "VersionInfo" "Paths_kore" ];
+          modules = [ "GlobalMain" "Paths_kore" ];
           hsSourceDirs = [ "app/repl" "app/share" ];
           mainPath = ([
             "Main.hs"