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
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
| | (define-module (gnu packages bqn)
#:use-module ((guix licenses) #:prefix license:)
#:use-module (guix gexp)
#:use-module (guix packages)
#:use-module (guix download)
#:use-module (guix git-download)
#:use-module (guix build-system copy)
#:use-module (guix build-system gnu)
#:use-module (guix utils)
#:use-module (guix deprecation)
#:use-module (gnu packages)
#:use-module (gnu packages libffi)
#:use-module (gnu packages base)
#:use-module (gnu packages pkg-config)
#:use-module (gnu packages llvm)
#:use-module (gnu packages java))
;; Currently this package is non-deterministic due to random generation in
;; some of the primitives. This is marked as a TODO in the source code, but
;; per the maintainer this package almost solely exists for the purpose of
;; building CBQN at this point, and therefore is not a high priority. Git
;; reports this here:
;;
;; src/BQN/types/callable/builtins/fns/EpsBuiltin.java:45:71:
;; …<snip> // TODO these (and in ⊐) shouldn't be random numbers
;;
;; Reported Upstream Here: https://github.com/dzaima/BQN/issues/14
;;
;; This issue therefore means that none of the packages for bqn can be checked
;; for non-determinism at this time, as dbqn is a prerequisite for all of
;; them.
(define-public dbqn
(let* ((tag "0.2.1")
(revision "1")
(commit "0bbe096fc07d278b679a8479318f1722d096a03e")
(hash "1kxzxz2hrd1871281s4rsi569qk314aqfmng9pkqn8gv9nqhmph0")
(version (git-version tag revision commit)))
(package
(name "dbqn")
(version version)
(source (origin
(method git-fetch)
(uri (git-reference
(url "https://github.com/dzaima/BQN")
(commit commit)))
(file-name (git-file-name name version))
(sha256
(base32
hash))))
(outputs '("out"))
(build-system gnu-build-system)
(arguments
(list #:tests? #f ;While there is a "test" directory, there is no
;; mechanism to run the tests other than to feed the files into the
;; binary and check for an error. This is outside the scope of a
;; packaging workflow, and would need to be fixed upstream
;; instead. Issue Reported: https://github.com/dzaima/BQN/issues/12
;; Maintainer says many of the tests fail, and so they will remain off
;; until this is sorted out.
#:phases #~(modify-phases %standard-phases
(delete 'configure)
(replace 'build
(lambda* _
(invoke "./build")))
(replace 'install
(lambda* (#:key outputs #:allow-other-keys)
(let* ((out (assoc-ref outputs "out"))
(dest-bin (string-append out "/bin"))
(dest-jar (string-append out
"/share/java")))
(mkdir-p dest-bin)
(mkdir-p dest-jar)
(copy-recursively "BQN"
(string-append dest-bin
"/dbqn"))
(chmod (string-append dest-bin "/dbqn") 493)
(install-file "BQN.jar" dest-jar))))
(add-after 'install 'subjars
(lambda* (#:key outputs #:allow-other-keys)
(let* ((out (assoc-ref outputs "out"))
(dest-bin (string-append out "/bin"))
(dest-jar (string-append out
"/share/java")))
(substitute* (string-append dest-bin "/dbqn")
(("BQN.jar")
(string-append dest-jar "/BQN.jar")))))))))
(native-inputs (list `(,openjdk17 "jdk")
coreutils))
(synopsis "BQN implementation based on dzaima/APL")
(description "BQN implementation based on dzaima/APL.")
(home-page "https://github.com/dzaima/BQN")
(license license:expat))))
(define bqn-bytecode-sources
(let* ((tag "0")
(revision "1")
(commit "e219af48401473a7bac49bdd8b89d69082cf5dd8")
(hash "0r6pa9lscl2395g4xlvmg90vpdsjzhin4f1r0s7brymmpvmns2yc")
(version (git-version tag revision commit)))
(package
(name "bqn-bytecode-sources")
(version version)
(source (origin
(method git-fetch)
(uri (git-reference
(url "https://github.com/mlochbaum/BQN")
(commit commit)))
(file-name (git-file-name name version))
(sha256
(base32
hash))))
(outputs '("out"))
(build-system copy-build-system) ;This package pulls down needed source
;; files for CBQN's build process. They
;; will be compiled during that build;
;; none of them are prebuilt binaries.
(arguments
(list #:install-plan '(list (list "src/" "share/src"
#:exclude '("README.txt" "doc/"))
(list "test/" "share/test"
#:exclude '("README.txt")))))
(synopsis "Official BQN sources in BQN")
(description
"The collection of sources needed for building a
BQN-based BQN implementation. These are included here for bootstrapping
purposes.")
(home-page "https://github.com/mlochbaum/BQN.git")
(license license:gpl3))))
(define cbqn-bootstrap
(let* ((tag "0")
(revision "1")
(commit "88f65850fa6ac28bc50886c5942652f21d5be924")
(hash "0bqwpvzwp2v20k2l725cwxx4fkvisniw9nls3685wd0fa3agpb47")
(version (git-version tag revision commit)))
(package
(name "cbqn-bootstrap")
(version version)
(source (origin
(method git-fetch)
(uri (git-reference
(url "https://github.com/dzaima/CBQN")
(commit commit)))
(file-name (git-file-name name version))
(sha256
(base32
hash))))
(build-system gnu-build-system)
(outputs '("out"))
(arguments
(list #:tests? #f ;Skipping Tests for Bootstrap.
#:phases #~(modify-phases %standard-phases
(delete 'configure)
(add-before 'build 'generate-bytecode
(lambda* (#:key inputs #:allow-other-keys)
(system (string-append #$(this-package-native-input
"dbqn")
"/bin/dbqn ./genRuntime "
#$(this-package-input
"bqn-bytecode-sources") "/share/"))))
(replace 'install
(lambda* (#:key outputs #:allow-other-keys)
(mkdir-p (string-append #$output "/bin"))
(chmod "BQN" 493)
(copy-recursively "BQN"
(string-append #$output
"/bin/bqn")))))))
(native-inputs (list dbqn openjdk17 clang-toolchain))
(inputs (list bqn-bytecode-sources libffi))
(synopsis "BQN implementation in C")
(description
"The expected implementation for the BQN language,
according to the official documentation of that specification.")
(home-page "https://mlochbaum.github.io/BQN/")
(license license:gpl3))))
(define singeli-bootstrap
(let* ((tag "0")
(revision "1")
(commit "fd17b144483549dbd2bcf23e3a37a09219171a99")
(hash "1rr4l7ijzcg25n2igi1mzya6qllh5wsrf3m5i429rlgwv1fwvfji")
(version (git-version tag revision commit)))
(package
(name "singeli-bootstrap")
(version version)
(source (origin
(method git-fetch)
(uri (git-reference
(url "https://github.com/mlochbaum/Singeli")
(commit commit)))
(file-name (git-file-name name version))
(sha256
(base32
hash))))
(outputs '("out"))
(build-system copy-build-system)
(arguments
(list
;; cbqn needs the layout of singeli to stay the same for its tests.
#:install-plan '(list (list "./" "share/singeli"))))
(native-inputs (list cbqn-bootstrap))
(synopsis "High-level interface for low-level programming")
(description
"Singeli is a domain-specific language for building SIMD
algorithms with flexible abstractions and control over every instruction
emitted. It's implemented in BQN, with a frontend that emits IR and a
backend that converts it to C. Other backends like LLVM or machine code
are possible—it should be easy to support other CPU architectures but
there are no plans to target GPUs.")
(home-page "https://github.com/mlochbaum/Singeli")
(license license:isc))))
(define-public cbqn
(package
(inherit cbqn-bootstrap)
(name "cbqn")
(outputs '("out" "lib"))
(arguments
(list #:make-flags '(list "shared-o3" "o3n-singeli")
#:phases #~(modify-phases %standard-phases
(delete 'configure)
(add-before 'build 'link-singeli
(lambda* (#:key inputs #:allow-other-keys)
(symlink (string-append #$(this-package-input
"singeli-bootstrap")
"/share/singeli")
"Singeli")))
(add-before 'build 'generate-bytecode
(lambda* (#:key inputs #:allow-other-keys)
(system (string-append #$(this-package-native-input
"dbqn")
"/bin/dbqn ./genRuntime "
#$(this-package-input
"bqn-bytecode-sources")
"/share/"))))
(replace 'check
(lambda* (#:key inputs tests? #:allow-other-keys)
(when tests?
(map (lambda (x)
(system (string-append "./test/" x ".sh "
#$(this-package-input
"bqn-bytecode-sources")
"/share/")))
'("mainCfgs" "x86Cfgs" "moreCfgs"))
(map (lambda (x)
(system (string-append "./BQN ./test/" x
".bqn")))
'("cmp" "equal" "copy" "bitcpy" "random"))
(system "make -C test/ffi"))))
(replace 'install
(lambda* (#:key outputs #:allow-other-keys)
(let* ((bin (string-append (assoc-ref outputs
"out")
"/bin"))
(lib (string-append (assoc-ref outputs
"lib")
"/lib")))
(mkdir-p bin)
(mkdir-p lib)
(chmod "BQN" 493)
(copy-recursively "BQN"
(string-append bin "/bqn"))
(install-file "libcbqn.so" lib)))))))
(inputs (list bqn-bytecode-sources libffi singeli-bootstrap))))
|