Orkuncakilkaya
aca263642d
Getting started meant cloning the repository, bootstrapping a compiler and
learning a task runner called `x`. That is a contributor's workflow handed to
everyone who wants to try the language.
Installing is now one command:
curl -fsSL https://workshopsoft.pages.workshopsoft.io/ludic/install.sh | sh
install.sh puts a complete toolchain — compiler, CLI, engine runtime, bundled
ludic.* packages, formatter, language server — in ~/.ludic and adds it to PATH.
Prebuilt artifacts are checksum-verified; where a platform has none, or the
release predates this layout, it bootstraps from the compiler's own IR seed with
clang. The docs site publishes the script beside the pages that quote it, so the
page and the script can never come from different releases.
`x` becomes `ludic`, and the surface splits by audience. A user of the language
sees `new`, `run`, `build`, `test`, `add`, `fmt`, `lsp`, `doctor`, `upgrade`;
`ludic new` scaffolds a project that builds and plays as it stands. Everything
the toolchain repo needs moved under `ludic dev` — build, test, reseed,
bootstrap-cfree, docs-gen, release — unchanged apart from the namespace. Those
tasks read arguments one position further along, so dispatch_dev sets a shift
and commands use arg_n()/arg_total() rather than each knowing its own depth.
Release artifacts become complete install roots (bin/ beside runtime/, packages/
and VERSION) rather than bare binaries, which is what the installer unpacks.
`ludic dev test` asserts the whole shape: it stages an install, puts it on PATH
with no LUDIC_HOME, and runs new -> build -> test through it.
Co-Authored-By: Claude Opus 5 <noreply@anthropic.com>
89 lines
4.2 KiB
YAML
89 lines
4.2 KiB
YAML
name: ci
|
|
|
|
# Build the language toolchain from its IR seed and run the regression suites on
|
|
# every push to main and every pull request. Until this landed the only workflow
|
|
# was docs.yml, so nothing gated a change on `ludic dev test` / `ludic dev test-tools` or on the
|
|
# compiler even building from the seed. See also bootstrap.yml, which proves the
|
|
# C-free self-rebuild reproduces the seed byte-for-byte.
|
|
on:
|
|
push:
|
|
branches: [main]
|
|
pull_request:
|
|
workflow_dispatch: {}
|
|
|
|
jobs:
|
|
build-and-test:
|
|
# Same runner label the docs workflow uses — the self-hosted Forgejo runner
|
|
# advertises `docker`, not the GitHub-ism `ubuntu-latest`.
|
|
runs-on: docker
|
|
# Reuse the runner's own base image (Debian bookworm with git + node already
|
|
# present) and add just the one thing the toolchain needs: a modern clang
|
|
# (LLVM 16 — the IR uses opaque pointers, so clang 15+ is required). The docs
|
|
# generator and its guards are now Ludic, so the job carries no Python. A
|
|
# prebuilt image with clang baked in is the obvious future speed-up (see
|
|
# issue #33's packaging work).
|
|
container: node:20-bookworm
|
|
steps:
|
|
- name: Install clang-16
|
|
run: |
|
|
set -eu
|
|
export DEBIAN_FRONTEND=noninteractive
|
|
apt-get update -qq
|
|
apt-get install -y -qq --no-install-recommends clang-16 git ca-certificates
|
|
clang-16 --version | head -1
|
|
|
|
- name: Check out the triggering commit
|
|
env:
|
|
# the repository that triggered the run, so a fork or a mirror tests itself
|
|
REPO_URL: ${{ github.server_url }}/${{ github.repository }}.git
|
|
run: |
|
|
set -eu
|
|
git config --global --add safe.directory '*'
|
|
git clone "$REPO_URL" .
|
|
git checkout "${GITHUB_SHA}" 2>/dev/null || git checkout "${GITHUB_REF_NAME:-main}"
|
|
git log --oneline -1
|
|
# The toolchain is macOS-first; on this Linux runner it links against a
|
|
# tiny C-free IR shim that supplies the Darwin standard-stream globals
|
|
# (__stdoutp/__stderrp) over glibc's stdout/stderr. Injected through
|
|
# LUDIC_CC so every clang invocation — the seed bootstrap, `ludic dev build`,
|
|
# and each compiled test program — picks it up. Absolute path so it
|
|
# still resolves if a step changes directory.
|
|
echo "LUDIC_CC=clang-16 $(pwd)/tools/ci/linux_stdio_shim.ll" >> "$GITHUB_ENV"
|
|
echo "LUDIC_HOME=$(pwd)" >> "$GITHUB_ENV"
|
|
|
|
- name: Bootstrap the toolchain from the IR seed (clang only)
|
|
run: |
|
|
set -eu
|
|
# clang assembles + links the compiler's own checked-in IR seed (plus
|
|
# the Linux stdio shim), then that seed builds the whole toolchain into
|
|
# bin/ — ludicc, ludic, x, ludic-fmt, ludic-lsp. No C compiler, no
|
|
# pre-built binaries: the language builds itself from source + seed.
|
|
mkdir -p bin
|
|
clang-16 tools/ci/linux_stdio_shim.ll selfhost/ludicc.seed.ll -o bin/ludicc
|
|
bin/ludicc tools/ludic-cli/main.ludic -o bin/ludic
|
|
bin/ludic dev build
|
|
|
|
- name: Regression suite (ludic dev test)
|
|
run: bin/ludic dev test
|
|
|
|
- name: Editor-toolchain suite (ludic dev test-tools)
|
|
# Grammar/lexer/vocabulary sync, ludic-fmt idempotence (the project's
|
|
# formatting contract — hand alignment is deliberately preserved, so the
|
|
# gate is fmt(fmt(x)) == fmt(x), not fmt(x) == x), and the JSON/XML editor
|
|
# assets. Cross-file LSP behaviour and the golden renders are macOS-ABI
|
|
# bound and skip here — visibly — until the runtime's directory walk and
|
|
# windowing are portable.
|
|
run: bin/ludic dev test-tools
|
|
|
|
- name: Docs cover the implementation
|
|
run: |
|
|
set -eu
|
|
# The whole docs toolchain is written in Ludic and runs through x —
|
|
# no Python anywhere. check-impl / check-vocabulary / check-docs guard
|
|
# the sources; docs-gen builds the site and docs-check is its coverage
|
|
# + integrity guard. (check-vocabulary also runs in `ludic dev test-tools`.)
|
|
bin/ludic dev check-impl
|
|
bin/ludic dev check-vocabulary
|
|
bin/ludic dev check-docs
|
|
bin/ludic dev docs-gen --out build/pages
|
|
bin/ludic dev docs-check build/pages
|