<div id="docs-body">
 <div class="section">
  <div class="titlepage">
   <div>
    <div>
     <h3 class="title">
      <a name="source-configuration-third-party">
      </a>
      2.8.9 MySQL Configuration and Third-Party Tools
     </h3>
    </div>
   </div>
  </div>
  <a class="indexterm" name="idm46045327157504">
  </a>
  <a class="indexterm" name="idm46045327156016">
  </a>
  <p>
   Third-party tools that need to determine the MySQL version from
      the MySQL source can read the
   <code class="filename">
    MYSQL_VERSION
   </code>
   file in the top-level source directory. The file lists the pieces
      of the version separately. For example, if the version is MySQL
      8.4.0, the file looks like this:
  </p>
  <div class="copytoclipboard-wrapper">
   <pre class="programlisting language-simple"><div class="docs-select-all right" id="sa11651994"><div class="copy-help left">Press ⌘+C to copy</div> <div class="right"><button class="clipboard-btn" title="Copy to Clipboard"><span class="icon-clipboard"></span></button></div></div><code class="language-simple">MYSQL_VERSION_MAJOR<span class="token operator">=</span>8
MYSQL_VERSION_MINOR<span class="token operator">=</span>4
MYSQL_VERSION_PATCH<span class="token operator">=</span>0
MYSQL_VERSION_EXTRA<span class="token operator">=</span>"INNOVATION"</code></pre>
  </div>
  <p>
   To construct a five-digit number from the version components, use
      this formula:
  </p>
  <div class="copytoclipboard-wrapper">
   <pre class="programlisting one-line language-simple"><div class="docs-select-all right" id="sa79772766"><div class="copy-help left">Press ⌘+C to copy</div> <div class="right"><button class="clipboard-btn" title="Copy to Clipboard"><span class="icon-clipboard"></span></button></div></div><code class="language-simple">MYSQL_VERSION_MAJOR<span class="token operator">*</span>10000 <span class="token operator">+</span> MYSQL_VERSION_MINOR<span class="token operator">*</span>100 <span class="token operator">+</span> MYSQL_VERSION_PATCH</code></pre>
  </div>
 </div>
 <br/>
</div>
