Vitte

Make Targets

This page indexes the most useful make entrypoints.

Overview

AreaPurpose
Beginner / Local Loopshort local iteration and basic health checks
Core Languagegrammar and core compiler contract gates
Documentationdocs generation, rendering, and validation flows
Modules / Stdlibmodule graph, snapshots, and package governance
CI / Reportsconsolidated repo-wide gates and reporting targets
VitteOSoperating-system oriented checks and CI chains
Packaginginstall and release packaging targets

Responsibilities

  • provide a curated index of the most useful repository entry points
  • keep target names aligned with make help output
  • make documentation, CI, packaging, and local loop targets easy to find

Invariants

  • this page is generated from make help and should not drift from it
  • the curated sections should remain stable even as descriptions evolve
  • readers should be able to find the primary bootstrap and driver-related targets quickly

Data Flow

  1. make help defines the source descriptions.
  2. tools/generate_make_targets_doc.py extracts and groups the selected targets.
  3. docs/MAKE_TARGETS.md is regenerated from that grouped view.

Bootstrap

Bootstrap-oriented targets live mostly in make help; this page points to the most useful top-level documentation and validation commands around them.

Driver

Driver-related targets are surfaced here when they are part of the curated local, CI, or documentation workflow.

For the full list, run:

make help

Beginner / Local Loop

  • make build: everything
  • make quickstart-check: verify the beginner path against examples/first_project.vit
  • make doctor: print local toolchain and environment readiness
  • make test: run tests (std/test)
  • make parse: run parser-level tests
  • make hir-validate: run HIR validator test fixtures

Core Language

  • make grammar-check: fail if grammar generated artifacts are out of sync
  • make grammar-gate: run grammar-check + grammar-test
  • make core-language-gate: run grammar-check + core-language-test + core semantic gates +

lint local diagnostics

  • make core-release-gate: run the protected language contract gate for release-facing work

Documentation

  • make docs-phase1-smoke: run full docs pipeline phase1 + local index/news/community style smoke
  • make docs-maximal: run the full documentation generation + validation pipeline (default

PHASE=phase3)

  • make site-html: regenerate sibling HTML pages in English under docs/
  • make book-qa-strict: run strict book QA checks

Modules / Stdlib

  • make modules-tests: run module graph/doctor fixtures
  • make modules-snapshots: assert mod graph/doctor outputs
  • make modules-contract-snapshots: assert modules contract snapshots
  • make packages-gate: run package governance/layout/perf/contract gate

CI / Reports

  • make ci-fast: run fast CI chain for language/compiler snapshots and checks
  • make ci-strict: run strict CI chain with additional diagnostics/highlight checks
  • make ci-completions: run completion check + lint + snapshots + fallback
  • make repo-hygiene-check: verify root-level repository hygiene constraints
  • make docs-paths-check: verify README/docs local path references exist
  • make dx-adoption: run DX/adoption quality gates
  • make public-benchmark-dashboard: generate publication dashboard + KPI (3/3 use cases)
  • make release-proof-notes: generate proof-oriented release notes + tag candidate
  • make all-tests: run full grouped test inventory
  • make reports-index: build target/reports/index.json (unified reports registry)
  • make release-doctor: run the snapshot/release readiness report continued

VitteOS

  • make vitteos-doctor: print VitteOS environment diagnostics
  • make vitteos-quick: run quick local loop (issues + domain + orphan + space + arch-contract +

header + targeted + smoke)

  • make vitteos-ci: run VitteOS CI chain (soft scripts + bin gate + issues + domain + orphan +

space + arch-contract + header + targeted + smoke + adr)

  • make vitteos-ci-strict: run strict VitteOS CI chain (strict scripts + bin gate + issues + domain
  • orphan + space + arch-contract + header + targeted + smoke + adr)

Packaging

  • make pkg-debian: build Debian .deb installer (PACKAGE_PROFILE=full, PKG_VERSION=0.1.0)
  • make pkg-debian-audit: audit generated Debian .deb content and largest files
  • make pkg-macos: build macOS install pkg (PKG_VERSION=0.1.0)
  • make macos-universal-bin: build target/universal/vitte (arm64 + x86_64 via lipo)
  • make pkg-macos-universal: build macOS universal installer pkg (vitte-0.1.0-universal.pkg)
  • make release-check: run build + core-release-gate + ci-fast + ci-completions + pkg build