"use strict";
var __assign = (this && this.__assign) || function () {
    __assign = Object.assign || function(t) {
        for (var s, i = 1, n = arguments.length; i < n; i++) {
            s = arguments[i];
            for (var p in s) if (Object.prototype.hasOwnProperty.call(s, p))
                t[p] = s[p];
        }
        return t;
    };
    return __assign.apply(this, arguments);
};
var __awaiter = (this && this.__awaiter) || function (thisArg, _arguments, P, generator) {
    function adopt(value) { return value instanceof P ? value : new P(function (resolve) { resolve(value); }); }
    return new (P || (P = Promise))(function (resolve, reject) {
        function fulfilled(value) { try { step(generator.next(value)); } catch (e) { reject(e); } }
        function rejected(value) { try { step(generator["throw"](value)); } catch (e) { reject(e); } }
        function step(result) { result.done ? resolve(result.value) : adopt(result.value).then(fulfilled, rejected); }
        step((generator = generator.apply(thisArg, _arguments || [])).next());
    });
};
var __generator = (this && this.__generator) || function (thisArg, body) {
    var _ = { label: 0, sent: function() { if (t[0] & 1) throw t[1]; return t[1]; }, trys: [], ops: [] }, f, y, t, g;
    return g = { next: verb(0), "throw": verb(1), "return": verb(2) }, typeof Symbol === "function" && (g[Symbol.iterator] = function() { return this; }), g;
    function verb(n) { return function (v) { return step([n, v]); }; }
    function step(op) {
        if (f) throw new TypeError("Generator is already executing.");
        while (_) try {
            if (f = 1, y && (t = op[0] & 2 ? y["return"] : op[0] ? y["throw"] || ((t = y["return"]) && t.call(y), 0) : y.next) && !(t = t.call(y, op[1])).done) return t;
            if (y = 0, t) op = [op[0] & 2, t.value];
            switch (op[0]) {
                case 0: case 1: t = op; break;
                case 4: _.label++; return { value: op[1], done: false };
                case 5: _.label++; y = op[1]; op = [0]; continue;
                case 7: op = _.ops.pop(); _.trys.pop(); continue;
                default:
                    if (!(t = _.trys, t = t.length > 0 && t[t.length - 1]) && (op[0] === 6 || op[0] === 2)) { _ = 0; continue; }
                    if (op[0] === 3 && (!t || (op[1] > t[0] && op[1] < t[3]))) { _.label = op[1]; break; }
                    if (op[0] === 6 && _.label < t[1]) { _.label = t[1]; t = op; break; }
                    if (t && _.label < t[2]) { _.label = t[2]; _.ops.push(op); break; }
                    if (t[2]) _.ops.pop();
                    _.trys.pop(); continue;
            }
            op = body.call(thisArg, _);
        } catch (e) { op = [6, e]; y = 0; } finally { f = t = 0; }
        if (op[0] & 5) throw op[1]; return { value: op[0] ? op[1] : void 0, done: true };
    }
};
var __values = (this && this.__values) || function(o) {
    var s = typeof Symbol === "function" && Symbol.iterator, m = s && o[s], i = 0;
    if (m) return m.call(o);
    if (o && typeof o.length === "number") return {
        next: function () {
            if (o && i >= o.length) o = void 0;
            return { value: o && o[i++], done: !o };
        }
    };
    throw new TypeError(s ? "Object is not iterable." : "Symbol.iterator is not defined.");
};
var __read = (this && this.__read) || function (o, n) {
    var m = typeof Symbol === "function" && o[Symbol.iterator];
    if (!m) return o;
    var i = m.call(o), r, ar = [], e;
    try {
        while ((n === void 0 || n-- > 0) && !(r = i.next()).done) ar.push(r.value);
    }
    catch (error) { e = { error: error }; }
    finally {
        try {
            if (r && !r.done && (m = i["return"])) m.call(i);
        }
        finally { if (e) throw e.error; }
    }
    return ar;
};
var __importDefault = (this && this.__importDefault) || function (mod) {
    return (mod && mod.__esModule) ? mod : { "default": mod };
};
Object.defineProperty(exports, "__esModule", { value: true });
exports.getServerSideProps = void 0;
var jsx_runtime_1 = require("react/jsx-runtime");
var antd_1 = require("antd");
var footer_1 = __importDefault(require("components/landing/footer"));
var head_1 = __importDefault(require("components/landing/head"));
var header_1 = __importDefault(require("components/landing/header"));
var image_1 = __importDefault(require("components/landing/image"));
var software_info_1 = __importDefault(require("components/landing/software-info"));
var software_libraries_1 = __importDefault(require("components/landing/software-libraries"));
var A_1 = __importDefault(require("components/misc/A"));
var customize_1 = require("lib/customize");
var software_specs_1 = require("lib/landing/software-specs");
var _1 = require(".");
var frame_editor_python_png_1 = __importDefault(require("/public/features/frame-editor-python.png"));
function Software(props) {
    var customize = props.customize, spec = props.spec, inventory = props.inventory, components = props.components, execInfo = props.execInfo;
    function renderEnvs() {
        var e_1, _a;
        var envs = [];
        try {
            for (var _b = __values(Object.entries(spec)), _c = _b.next(); !_c.done; _c = _b.next()) {
                var _d = __read(_c.value, 2), key = _d[0], info = _d[1];
                envs.push((0, jsx_runtime_1.jsxs)("div", { children: [(0, jsx_runtime_1.jsxs)("b", { children: [(0, jsx_runtime_1.jsx)(A_1.default, __assign({ href: info.url }, { children: info.name })), ":"] }), " ", info.doc] }, key));
            }
        }
        catch (e_1_1) { e_1 = { error: e_1_1 }; }
        finally {
            try {
                if (_c && !_c.done && (_a = _b.return)) _a.call(_b);
            }
            finally { if (e_1) throw e_1.error; }
        }
        return envs;
    }
    function renderBox() {
        return ((0, jsx_runtime_1.jsx)(antd_1.Alert, { style: { margin: "15px 0" }, message: "Learn More", description: (0, jsx_runtime_1.jsxs)("span", __assign({ style: { fontSize: "10pt" } }, { children: ["Learn more about", " ", (0, jsx_runtime_1.jsx)("strong", { children: (0, jsx_runtime_1.jsx)(A_1.default, __assign({ href: "/features/python" }, { children: "Python in CoCalc" })) }), " ", "and", " ", (0, jsx_runtime_1.jsx)("strong", { children: (0, jsx_runtime_1.jsx)(A_1.default, __assign({ href: "/features/jupyter-notebook" }, { children: "Jupyter Notebook support" })) }), "."] })), type: "info", showIcon: true }));
    }
    function renderIntro() {
        return ((0, jsx_runtime_1.jsxs)(jsx_runtime_1.Fragment, { children: [(0, jsx_runtime_1.jsx)("h1", __assign({ style: { textAlign: "center", fontSize: "32pt", color: "#444" } }, { children: "Installed Python Libraries" })), (0, jsx_runtime_1.jsx)("div", __assign({ style: { width: "50%", float: "right", padding: "0 0 15px 15px" } }, { children: (0, jsx_runtime_1.jsx)(image_1.default, { src: frame_editor_python_png_1.default, alt: "Writing and running a Python program" }) })), (0, jsx_runtime_1.jsxs)("p", { children: ["The table below lists available Python libraries for each supported environment. If something is missing, you can", " ", (0, jsx_runtime_1.jsx)(A_1.default, __assign({ href: "https://doc.cocalc.com/howto/install-python-lib.html" }, { children: "install it yourself" })), ", or request that we install it."] })] }));
    }
    // top part has the same with, the table is wider
    function renderTop() {
        return ((0, jsx_runtime_1.jsxs)("div", __assign({ style: { maxWidth: _1.STYLE_PAGE.maxWidth, margin: "0 auto" } }, { children: [renderIntro(), renderBox(), (0, jsx_runtime_1.jsx)("h2", { children: (0, jsx_runtime_1.jsx)(A_1.default, __assign({ href: "/features/python" }, { children: "Python Environments" })) }), (0, jsx_runtime_1.jsx)("ul", { children: renderEnvs() }), (0, jsx_runtime_1.jsx)(software_info_1.default, { info: execInfo, showHeader: false })] })));
    }
    return ((0, jsx_runtime_1.jsxs)(customize_1.Customize, __assign({ value: customize }, { children: [(0, jsx_runtime_1.jsx)(head_1.default, { title: "Python Libraries in CoCalc" }), (0, jsx_runtime_1.jsx)(header_1.default, { page: "software", subPage: "python" }), (0, jsx_runtime_1.jsxs)(antd_1.Layout.Content, __assign({ style: {
                    backgroundColor: "white",
                } }, { children: [(0, jsx_runtime_1.jsxs)("div", __assign({ style: _1.STYLE_PAGE_WIDE }, { children: [renderTop(), (0, jsx_runtime_1.jsx)(software_libraries_1.default, { spec: spec, inventory: inventory, components: components, libWidthPct: 40 })] })), (0, jsx_runtime_1.jsx)(footer_1.default, {})] }))] })));
}
exports.default = Software;
function getServerSideProps(context) {
    return __awaiter(this, void 0, void 0, function () {
        return __generator(this, function (_a) {
            switch (_a.label) {
                case 0: return [4 /*yield*/, (0, software_specs_1.withCustomizedAndSoftwareSpec)(context, "python", [
                        "/usr/bin/python3",
                        "/ext/anaconda2020.02/bin/python",
                        "/ext/anaconda2021.11/bin/python",
                        "/ext/bin/python3-sage",
                        "/usr/bin/python2",
                    ])];
                case 1: return [2 /*return*/, _a.sent()];
            }
        });
    });
}
exports.getServerSideProps = getServerSideProps;
//# sourceMappingURL=python.js.map