@informalsystems/quint/dist/src/config.js

Core tool for the Quint specification language

"use strict";
/* ----------------------------------------------------------------------------------
 * Copyright 2025 Informal Systems
 * Licensed under the Apache License, Version 2.0.
 * See LICENSE in the project root for license information.
 * --------------------------------------------------------------------------------- */
var __importDefault = (this && this.__importDefault) || function (mod) {
    return (mod && mod.__esModule) ? mod : { "default": mod };
};
Object.defineProperty(exports, "__esModule", { value: true });
exports.rustEvaluatorDir = exports.apalacheDistDir = void 0;
/**
 * Setting up the configuration directory for Quint.
 *
 * This is ~/.quint by default, but can be overridden by setting the
 * QUINT_HOME environment variable.
 *
 * @author Gabriela Moreira, Informal Systems, 2026
 *
 * @module
 */
const path_1 = __importDefault(require("path"));
const os_1 = __importDefault(require("os"));
/**
 * Get the configuration directory for Quint.
 * @returns {string} The path to the Quint configuration directory.
 */
function quintConfigDir() {
    return process.env.QUINT_HOME ?? path_1.default.join(os_1.default.homedir(), '.quint');
}
/**
 * Get the path to the Apalache distribution directory.
 * @param {string} version - The version of Apalache.
 * @returns {string} The path to the Apalache distribution directory.
 */
function apalacheDistDir(version) {
    return path_1.default.join(quintConfigDir(), `apalache-dist-${version}`);
}
exports.apalacheDistDir = apalacheDistDir;
/**
 * Get the path to the Rust evaluator executable directory.
 * @param {string} version - The version of the evaluator.
 * @returns {string} The path to the directory that should contain the evaluator executable.
 */
function rustEvaluatorDir(version) {
    return path_1.default.join(quintConfigDir(), `rust-evaluator-${version}`);
}
exports.rustEvaluatorDir = rustEvaluatorDir;
//# sourceMappingURL=config.js.map