nova-cli 0.3.2

The Nova programming language: compiler, formatter, language server, package manager and documentation generator
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22

//! The runtime library this `nova` carries. `build.rs` writes it, gzipped,
//! and names it through these variables (spec
//! `docs/superpowers/specs/2026-10-07-phase-3-0-foundations-design.md`
//! ยง4.1). An empty payload means this `nova` carries none.

/// The gzip stream `build.rs` wrote; empty when nothing is embedded.
pub const PAYLOAD: &[u8] = include_bytes!(env!("NOVA_EMBEDDED_RUNTIME"));

/// The payload, as nova-driver takes it.
pub fn runtime() -> nova_driver::EmbeddedRuntime {
    nova_driver::EmbeddedRuntime {
        gz: PAYLOAD,
        crc32: env!("NOVA_EMBEDDED_RUNTIME_CRC32")
            .parse()
            .expect("build.rs writes the CRC-32 as a u32"),
        size: env!("NOVA_EMBEDDED_RUNTIME_SIZE")
            .parse()
            .expect("build.rs writes the size as a number"),
        file_name: env!("NOVA_EMBEDDED_RUNTIME_NAME"),
        version: env!("CARGO_PKG_VERSION"),
    }
}