Line data Source code
1 : // Author(s): Aad Mathijssen 2 : // Copyright: see the accompanying file COPYING or copy at 3 : // https://github.com/mCRL2org/mCRL2/blob/master/COPYING 4 : // 5 : // Distributed under the Boost Software License, Version 1.0. 6 : // (See accompanying file LICENSE_1_0.txt or copy at 7 : // http://www.boost.org/LICENSE_1_0.txt) 8 : // 9 : /// \file toolset_version.cpp 10 : 11 : /* 12 : * The MCRL2_VERSION constant is declared in toolset_version_const.h, which 13 : * is a file generated by the build system. This constant is separated from 14 : * the declaration of get_toolset_version() so we do not have to recompile 15 : * the entire toolkit when the version number changes (only 16 : * toolset_version.cpp depends on toolset_version_const.h). 17 : */ 18 : 19 : #include "mcrl2/utilities/toolset_version.h" 20 : #include "mcrl2/utilities/toolset_version_const.h" 21 : 22 5 : std::string mcrl2::utilities::get_toolset_version() 23 : { 24 5 : return MCRL2_VERSION; 25 : }