Method compile

MiniZincIDE/mainwindow.cpp:1089–1207

}

void MainWindow::compile(const SolverConfiguration& sc, const QString& model, const QStringList& data, const QStringList& extraArgs, const QStringList& inlineData, bool profile)
{
    if (!requireMiniZinc()) {
        return;
    }

    QFileInfo fi(model);

    QSettings settings;
    settings.beginGroup("ide");
    bool printCommand = settings.value("printCommand", false).toBool();
    settings.endGroup();

    QTemporaryDir* fznTmpDir = new QTemporaryDir;
    if (!fznTmpDir->isValid()) {
        QMessageBox::critical(this, "MiniZinc IDE", "Could not create temporary directory for compilation.");
        return;
    }
    cleanupTmpDirs.append(fznTmpDir);
    QString fzn = fznTmpDir->path() + "/" + fi.baseName() + ".fzn";

    auto proc = new MznProcess(this);
    QStringList args;
    args << "-c"
         << "-o" << fzn
         << model
         << data
         << extraArgs;
    for (auto dzn : inlineData) {
        args << "-D" << dzn;
    }
    if (profile) {
        args << "--output-paths-to-stdout"
             << "--output-detailed-timing";
    }
    connect(this, &MainWindow::terminating, proc, [=] () {
        proc->terminate();
        proc->deleteLater();
    });
    connect(ui->actionStop, &QAction::triggered, proc, [=] () {
        ui->actionStop->setDisabled(true);
        proc->stop();
        ui->outputWidget->addText("Stopped.");
    });

    if (profile) {
        auto* timing = new QVector<TimingEntry>;
        auto* paths = new QVector<PathEntry>;

        connect(proc, &MznProcess::profilingOutput, [=] (const QVector<TimingEntry>& t) {
            *timing << t;
        });
        connect(proc, &MznProcess::pathsOutput, [=] (const QVector<PathEntry>& p) {
            *paths << p;
        });

        connect(proc, &MznProcess::success, [=] (bool cancelled) {
            profileCompiledFzn(*timing, *paths);