Nix: expose Tek9 as a consumable ASDF package #15

Closed
nsaspy wants to merge 0 commits from merge/issue-7-nix-package into master
Owner

Closes #7

Supersedes draft PR #8 at the exact same commit because GitHub's ready-for-review mutation is currently failing. No code was rebased or rewritten.

Exact-head validation

Head: 5931490eee6f160edf37830fbe96e7142fe68533

CI run 123 on this exact commit passed:

  • tests (ubuntu-22.04)
  • tests (ubuntu-24.04)
  • downstream Nix package-smoke
  • benchmark-regression
  • merge-gate

Result

  • exports packages.{x86_64-linux,aarch64-linux}.{tek9,default};
  • loads :tek9 in a downstream sbcl.withPackages closure;
  • propagates Lisp dependencies and pkgs.lmdb.out;
  • keeps mutable LMDB state outside the Nix store;
  • preserves the existing development shell;
  • pins nixpkgs and documents downstream flake consumption.
Closes #7 Supersedes draft PR #8 at the exact same commit because GitHub's ready-for-review mutation is currently failing. No code was rebased or rewritten. ## Exact-head validation Head: `5931490eee6f160edf37830fbe96e7142fe68533` CI run 123 on this exact commit passed: - `tests (ubuntu-22.04)` - `tests (ubuntu-24.04)` - downstream Nix `package-smoke` - `benchmark-regression` - `merge-gate` ## Result - exports `packages.{x86_64-linux,aarch64-linux}.{tek9,default}`; - loads `:tek9` in a downstream `sbcl.withPackages` closure; - propagates Lisp dependencies and `pkgs.lmdb.out`; - keeps mutable LMDB state outside the Nix store; - preserves the existing development shell; - pins nixpkgs and documents downstream flake consumption.
nsaspy closed this pull request 2026-09-04 22:49:50 +00:00
Some checks failed
CI / benchmark-regression (pull_request) Failing after 20m25s
CI / tests (ubuntu-22.04) (pull_request) Successful in 5m3s
CI / tests (ubuntu-24.04) (pull_request) Successful in 4m33s
CI / package-smoke (pull_request) Failing after 6s
CI / merge-gate (pull_request) Failing after 2s

Pull request closed

Sign in to join this conversation.
No description provided.