007/guix.scm at main · hyperpolymath/007 · GitHub

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
;; SPDX-License-Identifier: MPL-2.0
;; Copyright (c) 2026 Jonathan D.A. Jewell (hyperpolymath) <j.d.a.jewell@open.ac.uk>
;;
;; Guix package definition for 007-lang
;;
;; Usage:
;;   guix shell -D -f guix.scm    # Enter development shell
;;   guix build -f guix.scm       # Build package

(use-modules (guix packages)
             (guix gexp)
             (guix git-download)
             (guix build-system cargo)
             (guix licenses))
;; NOTE (2026-04-17): (gnu packages crates-io) was removed from upstream
;; Guix; the Rust crate modules are now named (gnu packages rust-crates).
;; 007-lang has no named crate dependencies declared here (cargo vendors
;; everything), so the three (gnu packages ...) imports were simply
;; unused — dropping them is the correct fix. Re-add (gnu packages
;; rust-crates) only if specific Guix-packaged crates are ever needed.

(package
  (name "007-lang")
  (version "0.1.0")
  (source (local-file "." "source"
                       #:recursive? #t
                       #:select? (lambda (file stat)
                                   (not (string-contains file ".git")))))
  (build-system cargo-build-system)
  (arguments
   '(#:phases
     (modify-phases %standard-phases
       ;; Cargo workspace build
       (replace 'build
         (lambda _
           (invoke "cargo" "build" "--release")))
       (replace 'check
         (lambda _
           (invoke "cargo" "test")))
       (replace 'install
         (lambda* (#:key outputs #:allow-other-keys)
           (let ((out (assoc-ref outputs "out")))
             (mkdir-p (string-append out "/bin"))
             (copy-file "target/release/oo7-cli"
                        (string-append out "/bin/007"))
             (mkdir-p (string-append out "/share/doc/007-lang"))
             (copy-file "README.adoc"
                        (string-append out "/share/doc/007-lang/README.adoc"))
             (copy-file "spec/007-spec.md"
                        (string-append out "/share/doc/007-lang/007-spec.md"))))))))
  (native-inputs
   (list
    ;; Rust toolchain provided by cargo-build-system
    ))
  (inputs
   (list
    ;; No runtime dependencies — standalone binary
    ))
  (home-page "https://github.com/The-Metadatastician/007-lang")
  (synopsis "Agent meta-language with Harvard architecture, actors, and linear types")
  (description "007-lang is an agent meta-language featuring Harvard architecture
(separated code and data memory), actor-based concurrency, linear types,
session types, and choreographic programming.  Reference evaluator is a
tree-walking interpreter with a Pest PEG parser.")
  (license (list
            ;; MPL-2.0 extends MPL-2.0
            mpl2.0)))