# ===========================================================
# mjs_polyspace.conf
# This file specifies a Polyspace Bug Finder Server or
# Polyspace Code Prover Server installation for dispatching
# Polyspace analysis from clients to servers. Declare a
# variable POLYSPACE_SERVER_ROOT that points to a Polyspace Server
# installation.
# ===========================================================

# Copyright 2018-2019 The MathWorks, Inc.

# Windows example
# POLYSPACE_SERVER_ROOT=C:\Program Files\Polyspace Server\ReleaseNumber
# Linux or Mac example
# POLYSPACE_SERVER_ROOT=/usr/local/Polyspace_Server/ReleaseNumber
# Where ReleaseNumber is the release number of the Polyspace Server installation
# (for instance, R2019b, R2020a, ...). The release number must be the same as
# the current MATLAB Parallel Server installation.

#==============================================================
# To continue to use previous releases of MATLAB Parallel Server and Polyspace Server
# use the file matlabroot/toolbox/parallel/bin/mjs_def.sh in Linux or
# matlabroot/toolbox/parallel/bin/mjs_def.bat in Windows and specify
# the previous MATLAB Parallel Server installation path with the variable
# MJS_ADDITIONAL_MATLABROOTS.

# Note: Prior to R2019a, MATLAB Parallel Server was called MATLAB
# Distributed Computing Server and was installed in matlabroot/toolbox/distcomp.
