Installs bin/nest-server-mpi even when the MPI option is off

[yurivict]

Describe the bug

Configure says that MPI is off:

Build type          : Release
Target System       : FreeBSD
Cross Compiling     : FALSE
C compiler          : Clang 11.0.1 (/usr/bin/cc)
C compiler flags    : -O2 -pipe -fno-omit-frame-pointer  -fstack-protector-strong -fno-strict-aliasing -O2 -Wall    -O2 -pipe -fno-omit-frame-pointer  -fstack-protector-strong -fno-strict-aliasing
C++ compiler        : Clang 11.0.1 (/usr/bin/c++)
C++ compiler flags  : -O2 -pipe -fno-omit-frame-pointer -fstack-protector-strong -fno-strict-aliasing -fno-omit-frame-pointer -std=c++11 -O2 -Wall  -O2 -pipe -fno-omit-frame-pointer -fstack-protector-strong -fno-strict-aliasing -fno-omit-frame-pointer
Build dynamic       : ON

Built-in modules    : models
User modules        : None
Python bindings     : No
Use threading       : No
Use GSL             : Yes (GSL 2.7)
    Includes        : /usr/local/include
    Libraries       : /usr/local/lib/libgsl.so;/usr/local/lib/libgslcblas.so

Use Readline        : Yes (GNU Readline 8.1)
    Includes        : /usr/local/include
    Libraries       : /usr/local/lib/libreadline.so;/usr/lib/libncurses.so

Use libltdl         : Yes (LTDL 2.4.6)
    Includes        : /usr/local/include
    Libraries       : /usr/local/lib/libltdl.so

Use doxygen         : No
Use MPI             : No
Detailed timers     : No

Use MUSIC           : No
Use libneurosim     : No
Use Boost           : Yes (Boost 1.72.0)
    Includes        : /usr/local/include
    Libraries       : 

Use SIONlib         : No

but bin/nest-server-mpi is still installed.

Desktop/Environment (please complete the following information):

• OS: xfce4
• NEST-Version: 3.1

[gtrensch]

Thank you for pointing this out! We will fix that.

[gtrensch]

To avoid conflicts a fix should be based on PR #2200 (refactor static code analysis).

[github-actions[bot]]

Issue automatically marked stale!

[yurivict]

ping.

[gtrensch]

I'll have a look into the issue as soon as possible.

[github-actions[bot]]

Issue automatically marked stale!