Merge pull request #227 from hannes14/version

fix version number in banner
oscar-system · Apr 28, 2020 · a351c01 · a351c01
2 parents bc5ea27 + 82e8dcc
commit a351c01
Show file tree

Hide file tree

Showing 2 changed files with 5 additions and 1 deletion.
diff --git a/deps/src/singular.cpp b/deps/src/singular.cpp
@@ -72,6 +72,9 @@ JLCXX_MODULE define_julia_module(jlcxx::Module & Singular)
     Singular.method("versionString", []() {
         return const_cast<const char *>(versionString());
     });
+    Singular.method("version", []() {
+        return SINGULAR_VERSION;
+    });
 
     singular_define_coeffs(Singular);
     singular_define_rings(Singular);

diff --git a/src/Singular.jl b/src/Singular.jl
@@ -110,11 +110,12 @@ function __init__()
    show_banner = isinteractive() &&
                 !any(x->x.name in ["Oscar"], keys(Base.package_locks))
 
+   singular_version_nr=Singular.libSingular.version()
    if show_banner             
      println("""Singular.jl, based on
                      SINGULAR                                 /  
  A Computer Algebra System for Polynomial Computations       /   
-                                                           0< $VERSION
+                                                           0< $singular_version_nr
  by: W. Decker, G.-M. Greuel, G. Pfister, H. Schoenemann     \\   
 FB Mathematik der Universitaet, D-67653 Kaiserslautern        \\
      """)