Method setLocation

MiniZincIDE/process.cpp:134–224

#endif

void MznDriver::setLocation(const QString &mznDistribPath)
{
    clear();

    _mznDistribPath = mznDistribPath;
    MznProcess p;
    QRegularExpression version_regexp("version (\\d+)\\.(\\d+)\\.(\\d+)");
    _minizincExecutable = QStringList({"minizinc"});

#ifdef Q_OS_MAC
    int isTranslated = 0;
    {
        size_t size = sizeof(isTranslated);
        if (sysctlbyname("sysctl.proc_translated", &isTranslated, &size, NULL, 0) == -1) {
            isTranslated = 0;
        }
    }

    if (isTranslated) {
        _minizincExecutable = QStringList({"arch", "-arch", "arm64", "minizinc"});
    }
    for (int i = 0; i <= isTranslated; i++) {
        if (i == 1) {
            _minizincExecutable = QStringList({"minizinc"});
        }
        try {
            auto result = p.run({"--version"});
            _versionString = result.stdOut + result.stdErr;
            QRegularExpressionMatch path_match = version_regexp.match(_versionString);
            if (path_match.hasMatch()) {
                break;
            }
        } catch (ProcessError& e) {
            if (i == isTranslated) {
                clear();
                throw;
            }
        }
    }
#else
    try {
        auto result = p.run({"--version"});
        _versionString = result.stdOut + result.stdErr;
    } catch (ProcessError&) {
        clear();
        throw;
    }
#endif

    QRegularExpressionMatch path_match = version_regexp.match(_versionString);
    if (path_match.hasMatch()) {
        _version = QVersionNumber(
                    path_match.captured(1).toInt(),
                    path_match.captured(2).toInt(),
                    path_match.captured(3).toInt()
        );
    } else {
        QString message = _versionString;