"use strict";
var __importDefault = (this && this.__importDefault) || function (mod) {
    return (mod && mod.__esModule) ? mod : { "default": mod };
};
Object.defineProperty(exports, "__esModule", { value: true });
exports.getServerSideProps = void 0;
const jsx_runtime_1 = require("react/jsx-runtime");
const antd_1 = require("antd");
const footer_1 = __importDefault(require("components/landing/footer"));
const head_1 = __importDefault(require("components/landing/head"));
const header_1 = __importDefault(require("components/landing/header"));
const image_1 = __importDefault(require("components/landing/image"));
const software_info_1 = __importDefault(require("components/landing/software-info"));
const software_libraries_1 = __importDefault(require("components/landing/software-libraries"));
const A_1 = __importDefault(require("components/misc/A"));
const customize_1 = require("lib/customize");
const software_specs_1 = require("lib/landing/software-specs");
const _1 = require(".");
const julia_jupyter_png_1 = __importDefault(require("/public/software/julia-jupyter.png"));
function Julia(props) {
    const { customize, spec, inventory, components, execInfo } = props;
    function renderIntro() {
        return ((0, jsx_runtime_1.jsxs)(jsx_runtime_1.Fragment, { children: [(0, jsx_runtime_1.jsx)("div", { style: { width: "50%", float: "right", padding: "0 0 15px 15px" }, children: (0, jsx_runtime_1.jsx)(image_1.default, { src: julia_jupyter_png_1.default, alt: "Using Julia in a Jupyter notebook" }) }), (0, jsx_runtime_1.jsxs)("p", { children: ["Julia is a fast modern compiled language that is", " ", (0, jsx_runtime_1.jsx)(A_1.default, { href: "/features/julia", children: "well supported" }), " on CoCalc. This table lists available ", (0, jsx_runtime_1.jsx)(A_1.default, { href: "https://julialang.org/", children: "Julia" }), " libraries. If something is missing, you can", " ", (0, jsx_runtime_1.jsx)(A_1.default, { href: "https://doc.cocalc.com/howto/install-julia-package.html", children: "install additional libraries" }), ", or request that we install them."] })] }));
    }
    function renderInfoBox() {
        return ((0, jsx_runtime_1.jsx)(antd_1.Alert, { style: { margin: "15px 0" }, message: "Learn More", description: (0, jsx_runtime_1.jsxs)("span", { style: { fontSize: "10pt" }, children: ["Learn more about", " ", (0, jsx_runtime_1.jsx)("strong", { children: (0, jsx_runtime_1.jsx)(A_1.default, { href: "/features/julia", children: "Julia in CoCalc" }) }), " ", "and our", " ", (0, jsx_runtime_1.jsx)("strong", { children: (0, jsx_runtime_1.jsx)(A_1.default, { href: "https://doc.cocalc.com/howto/pluto.html", children: "Pluto" }) }), " ", "and", " ", (0, jsx_runtime_1.jsx)("strong", { children: (0, jsx_runtime_1.jsx)(A_1.default, { href: "/features/jupyter-notebook", children: "Jupyter" }) }), " ", "Notebook support."] }), type: "info", showIcon: true }));
    }
    return ((0, jsx_runtime_1.jsxs)(customize_1.Customize, { value: customize, children: [(0, jsx_runtime_1.jsx)(head_1.default, { title: "Julia Packages in CoCalc" }), (0, jsx_runtime_1.jsxs)(antd_1.Layout, { children: [(0, jsx_runtime_1.jsx)(header_1.default, { page: "software", subPage: "julia" }), (0, jsx_runtime_1.jsxs)(antd_1.Layout.Content, { style: {
                            backgroundColor: "white",
                        }, children: [(0, jsx_runtime_1.jsxs)("div", { style: _1.STYLE_PAGE, children: [(0, jsx_runtime_1.jsx)("h1", { style: { textAlign: "center", fontSize: "32pt", color: "#444" }, children: "Installed Julia Packages" }), renderIntro(), renderInfoBox(), (0, jsx_runtime_1.jsx)(software_info_1.default, { info: execInfo }), (0, jsx_runtime_1.jsx)(software_libraries_1.default, { spec: spec, inventory: inventory, components: components, libWidthPct: 60 })] }), (0, jsx_runtime_1.jsx)(footer_1.default, {})] }), " "] })] }));
}
exports.default = Julia;
async function getServerSideProps(context) {
    return await (0, software_specs_1.withCustomizedAndSoftwareSpec)(context, "julia", [
        "/ext/bin/julia",
    ]);
}
exports.getServerSideProps = getServerSideProps;
//# sourceMappingURL=julia.js.map