edacation 0.5.0 → 0.6.0

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
Files changed (24) hide show
  1. package/dist/cli/util.d.ts +2 -1
  2. package/dist/project/configuration.d.ts +184 -1321
  3. package/dist/project/configuration.js +31 -13
  4. package/dist/project/configuration.js.map +1 -1
  5. package/dist/project/flasher.d.ts +9 -0
  6. package/dist/project/flasher.js +81 -0
  7. package/dist/project/flasher.js.map +1 -0
  8. package/dist/project/index.d.ts +1 -0
  9. package/dist/project/index.js +1 -0
  10. package/dist/project/index.js.map +1 -1
  11. package/dist/project/iverilog.js +1 -1
  12. package/dist/project/iverilog.js.map +1 -1
  13. package/dist/project/nextpnr.js +14 -3
  14. package/dist/project/nextpnr.js.map +1 -1
  15. package/dist/project/project.d.ts +118 -20
  16. package/dist/project/project.js +441 -42
  17. package/dist/project/project.js.map +1 -1
  18. package/dist/project/target.d.ts +1 -0
  19. package/dist/project/target.js +3 -2
  20. package/dist/project/target.js.map +1 -1
  21. package/dist/util.d.ts +3 -2
  22. package/dist/util.js +5 -1
  23. package/dist/util.js.map +1 -1
  24. package/package.json +12 -10
package/dist/project/configuration.d.ts CHANGED
@@ -1,754 +1,213 @@
1
1
  import { z } from 'zod';
2
2
  import type { ArrayElement } from '../util.js';
3
+ export declare const DEFAULT_TARGET: TargetConfiguration;
3
4
  export declare const DEFAULT_CONFIGURATION: ProjectConfiguration;
4
5
  declare const schemaValueList: z.ZodObject<{
5
6
  useGenerated: z.ZodDefault<z.ZodOptional<z.ZodBoolean>>;
6
- values: z.ZodDefault<z.ZodOptional<z.ZodArray<z.ZodString, "many">>>;
7
- }, "strip", z.ZodTypeAny, {
8
- useGenerated: boolean;
9
- values: string[];
10
- }, {
11
- useGenerated?: boolean | undefined;
12
- values?: string[] | undefined;
13
- }>;
14
- declare const schemaValueListTarget: z.ZodObject<z.objectUtil.extendShape<{
7
+ values: z.ZodDefault<z.ZodOptional<z.ZodArray<z.ZodString>>>;
8
+ }, z.core.$strip>;
9
+ declare const schemaValueListTarget: z.ZodObject<{
15
10
  useGenerated: z.ZodDefault<z.ZodOptional<z.ZodBoolean>>;
16
- values: z.ZodDefault<z.ZodOptional<z.ZodArray<z.ZodString, "many">>>;
17
- }, {
11
+ values: z.ZodDefault<z.ZodOptional<z.ZodArray<z.ZodString>>>;
18
12
  useDefault: z.ZodDefault<z.ZodOptional<z.ZodBoolean>>;
19
- }>, "strip", z.ZodTypeAny, {
20
- useGenerated: boolean;
21
- values: string[];
22
- useDefault: boolean;
23
- }, {
24
- useGenerated?: boolean | undefined;
25
- values?: string[] | undefined;
26
- useDefault?: boolean | undefined;
27
- }>;
13
+ }, z.core.$strip>;
28
14
  declare const schemaWorker: z.ZodObject<{
29
15
  inputFiles: z.ZodOptional<z.ZodObject<{
30
16
  useGenerated: z.ZodDefault<z.ZodOptional<z.ZodBoolean>>;
31
- values: z.ZodDefault<z.ZodOptional<z.ZodArray<z.ZodString, "many">>>;
32
- }, "strip", z.ZodTypeAny, {
33
- useGenerated: boolean;
34
- values: string[];
35
- }, {
36
- useGenerated?: boolean | undefined;
37
- values?: string[] | undefined;
38
- }>>;
17
+ values: z.ZodDefault<z.ZodOptional<z.ZodArray<z.ZodString>>>;
18
+ }, z.core.$strip>>;
39
19
  outputFiles: z.ZodOptional<z.ZodObject<{
40
20
  useGenerated: z.ZodDefault<z.ZodOptional<z.ZodBoolean>>;
41
- values: z.ZodDefault<z.ZodOptional<z.ZodArray<z.ZodString, "many">>>;
42
- }, "strip", z.ZodTypeAny, {
43
- useGenerated: boolean;
44
- values: string[];
45
- }, {
46
- useGenerated?: boolean | undefined;
47
- values?: string[] | undefined;
48
- }>>;
49
- }, "strip", z.ZodTypeAny, {
50
- inputFiles?: {
51
- useGenerated: boolean;
52
- values: string[];
53
- } | undefined;
54
- outputFiles?: {
55
- useGenerated: boolean;
56
- values: string[];
57
- } | undefined;
58
- }, {
59
- inputFiles?: {
60
- useGenerated?: boolean | undefined;
61
- values?: string[] | undefined;
62
- } | undefined;
63
- outputFiles?: {
64
- useGenerated?: boolean | undefined;
65
- values?: string[] | undefined;
66
- } | undefined;
67
- }>;
21
+ values: z.ZodDefault<z.ZodOptional<z.ZodArray<z.ZodString>>>;
22
+ }, z.core.$strip>>;
23
+ }, z.core.$strip>;
68
24
  declare const schemaWorkerTarget: z.ZodObject<{
69
- inputFiles: z.ZodOptional<z.ZodObject<z.objectUtil.extendShape<{
25
+ inputFiles: z.ZodOptional<z.ZodObject<{
70
26
  useGenerated: z.ZodDefault<z.ZodOptional<z.ZodBoolean>>;
71
- values: z.ZodDefault<z.ZodOptional<z.ZodArray<z.ZodString, "many">>>;
72
- }, {
27
+ values: z.ZodDefault<z.ZodOptional<z.ZodArray<z.ZodString>>>;
73
28
  useDefault: z.ZodDefault<z.ZodOptional<z.ZodBoolean>>;
74
- }>, "strip", z.ZodTypeAny, {
75
- useGenerated: boolean;
76
- values: string[];
77
- useDefault: boolean;
78
- }, {
79
- useGenerated?: boolean | undefined;
80
- values?: string[] | undefined;
81
- useDefault?: boolean | undefined;
82
- }>>;
83
- outputFiles: z.ZodOptional<z.ZodObject<z.objectUtil.extendShape<{
29
+ }, z.core.$strip>>;
30
+ outputFiles: z.ZodOptional<z.ZodObject<{
84
31
  useGenerated: z.ZodDefault<z.ZodOptional<z.ZodBoolean>>;
85
- values: z.ZodDefault<z.ZodOptional<z.ZodArray<z.ZodString, "many">>>;
86
- }, {
32
+ values: z.ZodDefault<z.ZodOptional<z.ZodArray<z.ZodString>>>;
87
33
  useDefault: z.ZodDefault<z.ZodOptional<z.ZodBoolean>>;
88
- }>, "strip", z.ZodTypeAny, {
89
- useGenerated: boolean;
90
- values: string[];
91
- useDefault: boolean;
92
- }, {
93
- useGenerated?: boolean | undefined;
94
- values?: string[] | undefined;
95
- useDefault?: boolean | undefined;
96
- }>>;
97
- }, "strip", z.ZodTypeAny, {
98
- inputFiles?: {
99
- useGenerated: boolean;
100
- values: string[];
101
- useDefault: boolean;
102
- } | undefined;
103
- outputFiles?: {
104
- useGenerated: boolean;
105
- values: string[];
106
- useDefault: boolean;
107
- } | undefined;
108
- }, {
109
- inputFiles?: {
110
- useGenerated?: boolean | undefined;
111
- values?: string[] | undefined;
112
- useDefault?: boolean | undefined;
113
- } | undefined;
114
- outputFiles?: {
115
- useGenerated?: boolean | undefined;
116
- values?: string[] | undefined;
117
- useDefault?: boolean | undefined;
118
- } | undefined;
119
- }>;
34
+ }, z.core.$strip>>;
35
+ }, z.core.$strip>;
120
36
  declare const schemaYosysOptions: z.ZodObject<{
121
37
  optimize: z.ZodOptional<z.ZodBoolean>;
122
38
  topLevelModule: z.ZodOptional<z.ZodString>;
123
- }, "strip", z.ZodTypeAny, {
124
- optimize?: boolean | undefined;
125
- topLevelModule?: string | undefined;
126
- }, {
127
- optimize?: boolean | undefined;
128
- topLevelModule?: string | undefined;
129
- }>;
39
+ }, z.core.$strip>;
130
40
  declare const schemaYosys: z.ZodObject<{
131
41
  commands: z.ZodOptional<z.ZodObject<{
132
42
  useGenerated: z.ZodDefault<z.ZodOptional<z.ZodBoolean>>;
133
- values: z.ZodDefault<z.ZodOptional<z.ZodArray<z.ZodString, "many">>>;
134
- }, "strip", z.ZodTypeAny, {
135
- useGenerated: boolean;
136
- values: string[];
137
- }, {
138
- useGenerated?: boolean | undefined;
139
- values?: string[] | undefined;
140
- }>>;
43
+ values: z.ZodDefault<z.ZodOptional<z.ZodArray<z.ZodString>>>;
44
+ }, z.core.$strip>>;
141
45
  options: z.ZodOptional<z.ZodObject<{
142
46
  optimize: z.ZodOptional<z.ZodBoolean>;
143
47
  topLevelModule: z.ZodOptional<z.ZodString>;
144
- }, "strip", z.ZodTypeAny, {
145
- optimize?: boolean | undefined;
146
- topLevelModule?: string | undefined;
147
- }, {
148
- optimize?: boolean | undefined;
149
- topLevelModule?: string | undefined;
150
- }>>;
151
- }, "strip", z.ZodTypeAny, {
152
- options?: {
153
- optimize?: boolean | undefined;
154
- topLevelModule?: string | undefined;
155
- } | undefined;
156
- commands?: {
157
- useGenerated: boolean;
158
- values: string[];
159
- } | undefined;
160
- }, {
161
- options?: {
162
- optimize?: boolean | undefined;
163
- topLevelModule?: string | undefined;
164
- } | undefined;
165
- commands?: {
166
- useGenerated?: boolean | undefined;
167
- values?: string[] | undefined;
168
- } | undefined;
169
- }>;
48
+ }, z.core.$strip>>;
49
+ }, z.core.$strip>;
170
50
  declare const schemaYosysTarget: z.ZodObject<{
171
- commands: z.ZodOptional<z.ZodObject<z.objectUtil.extendShape<{
51
+ commands: z.ZodOptional<z.ZodObject<{
172
52
  useGenerated: z.ZodDefault<z.ZodOptional<z.ZodBoolean>>;
173
- values: z.ZodDefault<z.ZodOptional<z.ZodArray<z.ZodString, "many">>>;
174
- }, {
53
+ values: z.ZodDefault<z.ZodOptional<z.ZodArray<z.ZodString>>>;
175
54
  useDefault: z.ZodDefault<z.ZodOptional<z.ZodBoolean>>;
176
- }>, "strip", z.ZodTypeAny, {
177
- useGenerated: boolean;
178
- values: string[];
179
- useDefault: boolean;
180
- }, {
181
- useGenerated?: boolean | undefined;
182
- values?: string[] | undefined;
183
- useDefault?: boolean | undefined;
184
- }>>;
55
+ }, z.core.$strip>>;
185
56
  options: z.ZodOptional<z.ZodObject<{
186
57
  optimize: z.ZodOptional<z.ZodBoolean>;
187
58
  topLevelModule: z.ZodOptional<z.ZodString>;
188
- }, "strip", z.ZodTypeAny, {
189
- optimize?: boolean | undefined;
190
- topLevelModule?: string | undefined;
191
- }, {
192
- optimize?: boolean | undefined;
193
- topLevelModule?: string | undefined;
194
- }>>;
195
- }, "strip", z.ZodTypeAny, {
196
- options?: {
197
- optimize?: boolean | undefined;
198
- topLevelModule?: string | undefined;
199
- } | undefined;
200
- commands?: {
201
- useGenerated: boolean;
202
- values: string[];
203
- useDefault: boolean;
204
- } | undefined;
205
- }, {
206
- options?: {
207
- optimize?: boolean | undefined;
208
- topLevelModule?: string | undefined;
209
- } | undefined;
210
- commands?: {
211
- useGenerated?: boolean | undefined;
212
- values?: string[] | undefined;
213
- useDefault?: boolean | undefined;
214
- } | undefined;
215
- }>;
59
+ }, z.core.$strip>>;
60
+ }, z.core.$strip>;
216
61
  declare const schemaNextpnrOptions: z.ZodObject<{
217
62
  placedSvg: z.ZodOptional<z.ZodBoolean>;
218
63
  routedSvg: z.ZodOptional<z.ZodBoolean>;
219
64
  routedJson: z.ZodOptional<z.ZodBoolean>;
220
- }, "strip", z.ZodTypeAny, {
221
- placedSvg?: boolean | undefined;
222
- routedSvg?: boolean | undefined;
223
- routedJson?: boolean | undefined;
224
- }, {
225
- placedSvg?: boolean | undefined;
226
- routedSvg?: boolean | undefined;
227
- routedJson?: boolean | undefined;
228
- }>;
65
+ pinConfigFile: z.ZodOptional<z.ZodString>;
66
+ }, z.core.$strip>;
229
67
  declare const schemaNextpnr: z.ZodObject<{
230
68
  arguments: z.ZodOptional<z.ZodObject<{
231
69
  useGenerated: z.ZodDefault<z.ZodOptional<z.ZodBoolean>>;
232
- values: z.ZodDefault<z.ZodOptional<z.ZodArray<z.ZodString, "many">>>;
233
- }, "strip", z.ZodTypeAny, {
234
- useGenerated: boolean;
235
- values: string[];
236
- }, {
237
- useGenerated?: boolean | undefined;
238
- values?: string[] | undefined;
239
- }>>;
70
+ values: z.ZodDefault<z.ZodOptional<z.ZodArray<z.ZodString>>>;
71
+ }, z.core.$strip>>;
240
72
  options: z.ZodOptional<z.ZodObject<{
241
73
  placedSvg: z.ZodOptional<z.ZodBoolean>;
242
74
  routedSvg: z.ZodOptional<z.ZodBoolean>;
243
75
  routedJson: z.ZodOptional<z.ZodBoolean>;
244
- }, "strip", z.ZodTypeAny, {
245
- placedSvg?: boolean | undefined;
246
- routedSvg?: boolean | undefined;
247
- routedJson?: boolean | undefined;
248
- }, {
249
- placedSvg?: boolean | undefined;
250
- routedSvg?: boolean | undefined;
251
- routedJson?: boolean | undefined;
252
- }>>;
253
- }, "strip", z.ZodTypeAny, {
254
- options?: {
255
- placedSvg?: boolean | undefined;
256
- routedSvg?: boolean | undefined;
257
- routedJson?: boolean | undefined;
258
- } | undefined;
259
- arguments?: {
260
- useGenerated: boolean;
261
- values: string[];
262
- } | undefined;
263
- }, {
264
- options?: {
265
- placedSvg?: boolean | undefined;
266
- routedSvg?: boolean | undefined;
267
- routedJson?: boolean | undefined;
268
- } | undefined;
269
- arguments?: {
270
- useGenerated?: boolean | undefined;
271
- values?: string[] | undefined;
272
- } | undefined;
273
- }>;
76
+ pinConfigFile: z.ZodOptional<z.ZodString>;
77
+ }, z.core.$strip>>;
78
+ }, z.core.$strip>;
274
79
  declare const schemaNextpnrTarget: z.ZodObject<{
275
- arguments: z.ZodOptional<z.ZodObject<z.objectUtil.extendShape<{
80
+ arguments: z.ZodOptional<z.ZodObject<{
276
81
  useGenerated: z.ZodDefault<z.ZodOptional<z.ZodBoolean>>;
277
- values: z.ZodDefault<z.ZodOptional<z.ZodArray<z.ZodString, "many">>>;
278
- }, {
82
+ values: z.ZodDefault<z.ZodOptional<z.ZodArray<z.ZodString>>>;
279
83
  useDefault: z.ZodDefault<z.ZodOptional<z.ZodBoolean>>;
280
- }>, "strip", z.ZodTypeAny, {
281
- useGenerated: boolean;
282
- values: string[];
283
- useDefault: boolean;
284
- }, {
285
- useGenerated?: boolean | undefined;
286
- values?: string[] | undefined;
287
- useDefault?: boolean | undefined;
288
- }>>;
84
+ }, z.core.$strip>>;
289
85
  options: z.ZodOptional<z.ZodObject<{
290
86
  placedSvg: z.ZodOptional<z.ZodBoolean>;
291
87
  routedSvg: z.ZodOptional<z.ZodBoolean>;
292
88
  routedJson: z.ZodOptional<z.ZodBoolean>;
293
- }, "strip", z.ZodTypeAny, {
294
- placedSvg?: boolean | undefined;
295
- routedSvg?: boolean | undefined;
296
- routedJson?: boolean | undefined;
297
- }, {
298
- placedSvg?: boolean | undefined;
299
- routedSvg?: boolean | undefined;
300
- routedJson?: boolean | undefined;
301
- }>>;
302
- }, "strip", z.ZodTypeAny, {
303
- options?: {
304
- placedSvg?: boolean | undefined;
305
- routedSvg?: boolean | undefined;
306
- routedJson?: boolean | undefined;
307
- } | undefined;
308
- arguments?: {
309
- useGenerated: boolean;
310
- values: string[];
311
- useDefault: boolean;
312
- } | undefined;
313
- }, {
314
- options?: {
315
- placedSvg?: boolean | undefined;
316
- routedSvg?: boolean | undefined;
317
- routedJson?: boolean | undefined;
318
- } | undefined;
319
- arguments?: {
320
- useGenerated?: boolean | undefined;
321
- values?: string[] | undefined;
322
- useDefault?: boolean | undefined;
323
- } | undefined;
324
- }>;
89
+ pinConfigFile: z.ZodOptional<z.ZodString>;
90
+ }, z.core.$strip>>;
91
+ }, z.core.$strip>;
325
92
  declare const schemaIVerilogOptions: z.ZodObject<{
326
93
  testbenchFile: z.ZodOptional<z.ZodString>;
327
- }, "strip", z.ZodTypeAny, {
328
- testbenchFile?: string | undefined;
329
- }, {
330
- testbenchFile?: string | undefined;
331
- }>;
94
+ }, z.core.$strip>;
332
95
  declare const schemaIVerilog: z.ZodObject<{
333
96
  arguments: z.ZodOptional<z.ZodObject<{
334
97
  useGenerated: z.ZodDefault<z.ZodOptional<z.ZodBoolean>>;
335
- values: z.ZodDefault<z.ZodOptional<z.ZodArray<z.ZodString, "many">>>;
336
- }, "strip", z.ZodTypeAny, {
337
- useGenerated: boolean;
338
- values: string[];
339
- }, {
340
- useGenerated?: boolean | undefined;
341
- values?: string[] | undefined;
342
- }>>;
98
+ values: z.ZodDefault<z.ZodOptional<z.ZodArray<z.ZodString>>>;
99
+ }, z.core.$strip>>;
343
100
  options: z.ZodOptional<z.ZodObject<{
344
101
  testbenchFile: z.ZodOptional<z.ZodString>;
345
- }, "strip", z.ZodTypeAny, {
346
- testbenchFile?: string | undefined;
347
- }, {
348
- testbenchFile?: string | undefined;
349
- }>>;
350
- }, "strip", z.ZodTypeAny, {
351
- options?: {
352
- testbenchFile?: string | undefined;
353
- } | undefined;
354
- arguments?: {
355
- useGenerated: boolean;
356
- values: string[];
357
- } | undefined;
358
- }, {
359
- options?: {
360
- testbenchFile?: string | undefined;
361
- } | undefined;
362
- arguments?: {
363
- useGenerated?: boolean | undefined;
364
- values?: string[] | undefined;
365
- } | undefined;
366
- }>;
102
+ }, z.core.$strip>>;
103
+ }, z.core.$strip>;
367
104
  declare const schemaIVerilogTarget: z.ZodObject<{
368
- arguments: z.ZodOptional<z.ZodObject<z.objectUtil.extendShape<{
105
+ arguments: z.ZodOptional<z.ZodObject<{
369
106
  useGenerated: z.ZodDefault<z.ZodOptional<z.ZodBoolean>>;
370
- values: z.ZodDefault<z.ZodOptional<z.ZodArray<z.ZodString, "many">>>;
371
- }, {
107
+ values: z.ZodDefault<z.ZodOptional<z.ZodArray<z.ZodString>>>;
372
108
  useDefault: z.ZodDefault<z.ZodOptional<z.ZodBoolean>>;
373
- }>, "strip", z.ZodTypeAny, {
374
- useGenerated: boolean;
375
- values: string[];
376
- useDefault: boolean;
377
- }, {
378
- useGenerated?: boolean | undefined;
379
- values?: string[] | undefined;
380
- useDefault?: boolean | undefined;
381
- }>>;
109
+ }, z.core.$strip>>;
382
110
  options: z.ZodOptional<z.ZodObject<{
383
111
  testbenchFile: z.ZodOptional<z.ZodString>;
384
- }, "strip", z.ZodTypeAny, {
385
- testbenchFile?: string | undefined;
386
- }, {
387
- testbenchFile?: string | undefined;
388
- }>>;
389
- }, "strip", z.ZodTypeAny, {
390
- options?: {
391
- testbenchFile?: string | undefined;
392
- } | undefined;
393
- arguments?: {
394
- useGenerated: boolean;
395
- values: string[];
396
- useDefault: boolean;
397
- } | undefined;
398
- }, {
399
- options?: {
400
- testbenchFile?: string | undefined;
401
- } | undefined;
402
- arguments?: {
403
- useGenerated?: boolean | undefined;
404
- values?: string[] | undefined;
405
- useDefault?: boolean | undefined;
406
- } | undefined;
407
- }>;
112
+ }, z.core.$strip>>;
113
+ }, z.core.$strip>;
114
+ declare const schemaFlasherOptions: z.ZodObject<{
115
+ board: z.ZodOptional<z.ZodString>;
116
+ }, z.core.$strip>;
117
+ declare const schemaFlasher: z.ZodObject<{
118
+ arguments: z.ZodOptional<z.ZodObject<{
119
+ useGenerated: z.ZodDefault<z.ZodOptional<z.ZodBoolean>>;
120
+ values: z.ZodDefault<z.ZodOptional<z.ZodArray<z.ZodString>>>;
121
+ }, z.core.$strip>>;
122
+ options: z.ZodOptional<z.ZodObject<{
123
+ board: z.ZodOptional<z.ZodString>;
124
+ }, z.core.$strip>>;
125
+ }, z.core.$strip>;
126
+ declare const schemaFlasherTarget: z.ZodObject<{
127
+ arguments: z.ZodOptional<z.ZodObject<{
128
+ useGenerated: z.ZodDefault<z.ZodOptional<z.ZodBoolean>>;
129
+ values: z.ZodDefault<z.ZodOptional<z.ZodArray<z.ZodString>>>;
130
+ useDefault: z.ZodDefault<z.ZodOptional<z.ZodBoolean>>;
131
+ }, z.core.$strip>>;
132
+ options: z.ZodOptional<z.ZodObject<{
133
+ board: z.ZodOptional<z.ZodString>;
134
+ }, z.core.$strip>>;
135
+ }, z.core.$strip>;
408
136
  export declare const schemaProjectConfiguration: z.ZodObject<{
409
137
  defaults: z.ZodOptional<z.ZodObject<{
410
- yosys: z.ZodOptional<z.ZodObject<z.objectUtil.extendShape<{
138
+ yosys: z.ZodOptional<z.ZodObject<{
411
139
  inputFiles: z.ZodOptional<z.ZodObject<{
412
140
  useGenerated: z.ZodDefault<z.ZodOptional<z.ZodBoolean>>;
413
- values: z.ZodDefault<z.ZodOptional<z.ZodArray<z.ZodString, "many">>>;
414
- }, "strip", z.ZodTypeAny, {
415
- useGenerated: boolean;
416
- values: string[];
417
- }, {
418
- useGenerated?: boolean | undefined;
419
- values?: string[] | undefined;
420
- }>>;
141
+ values: z.ZodDefault<z.ZodOptional<z.ZodArray<z.ZodString>>>;
142
+ }, z.core.$strip>>;
421
143
  outputFiles: z.ZodOptional<z.ZodObject<{
422
144
  useGenerated: z.ZodDefault<z.ZodOptional<z.ZodBoolean>>;
423
- values: z.ZodDefault<z.ZodOptional<z.ZodArray<z.ZodString, "many">>>;
424
- }, "strip", z.ZodTypeAny, {
425
- useGenerated: boolean;
426
- values: string[];
427
- }, {
428
- useGenerated?: boolean | undefined;
429
- values?: string[] | undefined;
430
- }>>;
431
- }, {
145
+ values: z.ZodDefault<z.ZodOptional<z.ZodArray<z.ZodString>>>;
146
+ }, z.core.$strip>>;
432
147
  commands: z.ZodOptional<z.ZodObject<{
433
148
  useGenerated: z.ZodDefault<z.ZodOptional<z.ZodBoolean>>;
434
- values: z.ZodDefault<z.ZodOptional<z.ZodArray<z.ZodString, "many">>>;
435
- }, "strip", z.ZodTypeAny, {
436
- useGenerated: boolean;
437
- values: string[];
438
- }, {
439
- useGenerated?: boolean | undefined;
440
- values?: string[] | undefined;
441
- }>>;
149
+ values: z.ZodDefault<z.ZodOptional<z.ZodArray<z.ZodString>>>;
150
+ }, z.core.$strip>>;
442
151
  options: z.ZodOptional<z.ZodObject<{
443
152
  optimize: z.ZodOptional<z.ZodBoolean>;
444
153
  topLevelModule: z.ZodOptional<z.ZodString>;
445
- }, "strip", z.ZodTypeAny, {
446
- optimize?: boolean | undefined;
447
- topLevelModule?: string | undefined;
448
- }, {
449
- optimize?: boolean | undefined;
450
- topLevelModule?: string | undefined;
451
- }>>;
452
- }>, "strip", z.ZodTypeAny, {
453
- options?: {
454
- optimize?: boolean | undefined;
455
- topLevelModule?: string | undefined;
456
- } | undefined;
457
- inputFiles?: {
458
- useGenerated: boolean;
459
- values: string[];
460
- } | undefined;
461
- outputFiles?: {
462
- useGenerated: boolean;
463
- values: string[];
464
- } | undefined;
465
- commands?: {
466
- useGenerated: boolean;
467
- values: string[];
468
- } | undefined;
469
- }, {
470
- options?: {
471
- optimize?: boolean | undefined;
472
- topLevelModule?: string | undefined;
473
- } | undefined;
474
- inputFiles?: {
475
- useGenerated?: boolean | undefined;
476
- values?: string[] | undefined;
477
- } | undefined;
478
- outputFiles?: {
479
- useGenerated?: boolean | undefined;
480
- values?: string[] | undefined;
481
- } | undefined;
482
- commands?: {
483
- useGenerated?: boolean | undefined;
484
- values?: string[] | undefined;
485
- } | undefined;
486
- }>>;
487
- nextpnr: z.ZodOptional<z.ZodObject<z.objectUtil.extendShape<{
154
+ }, z.core.$strip>>;
155
+ }, z.core.$strip>>;
156
+ nextpnr: z.ZodOptional<z.ZodObject<{
488
157
  inputFiles: z.ZodOptional<z.ZodObject<{
489
158
  useGenerated: z.ZodDefault<z.ZodOptional<z.ZodBoolean>>;
490
- values: z.ZodDefault<z.ZodOptional<z.ZodArray<z.ZodString, "many">>>;
491
- }, "strip", z.ZodTypeAny, {
492
- useGenerated: boolean;
493
- values: string[];
494
- }, {
495
- useGenerated?: boolean | undefined;
496
- values?: string[] | undefined;
497
- }>>;
159
+ values: z.ZodDefault<z.ZodOptional<z.ZodArray<z.ZodString>>>;
160
+ }, z.core.$strip>>;
498
161
  outputFiles: z.ZodOptional<z.ZodObject<{
499
162
  useGenerated: z.ZodDefault<z.ZodOptional<z.ZodBoolean>>;
500
- values: z.ZodDefault<z.ZodOptional<z.ZodArray<z.ZodString, "many">>>;
501
- }, "strip", z.ZodTypeAny, {
502
- useGenerated: boolean;
503
- values: string[];
504
- }, {
505
- useGenerated?: boolean | undefined;
506
- values?: string[] | undefined;
507
- }>>;
508
- }, {
163
+ values: z.ZodDefault<z.ZodOptional<z.ZodArray<z.ZodString>>>;
164
+ }, z.core.$strip>>;
509
165
  arguments: z.ZodOptional<z.ZodObject<{
510
166
  useGenerated: z.ZodDefault<z.ZodOptional<z.ZodBoolean>>;
511
- values: z.ZodDefault<z.ZodOptional<z.ZodArray<z.ZodString, "many">>>;
512
- }, "strip", z.ZodTypeAny, {
513
- useGenerated: boolean;
514
- values: string[];
515
- }, {
516
- useGenerated?: boolean | undefined;
517
- values?: string[] | undefined;
518
- }>>;
167
+ values: z.ZodDefault<z.ZodOptional<z.ZodArray<z.ZodString>>>;
168
+ }, z.core.$strip>>;
519
169
  options: z.ZodOptional<z.ZodObject<{
520
170
  placedSvg: z.ZodOptional<z.ZodBoolean>;
521
171
  routedSvg: z.ZodOptional<z.ZodBoolean>;
522
172
  routedJson: z.ZodOptional<z.ZodBoolean>;
523
- }, "strip", z.ZodTypeAny, {
524
- placedSvg?: boolean | undefined;
525
- routedSvg?: boolean | undefined;
526
- routedJson?: boolean | undefined;
527
- }, {
528
- placedSvg?: boolean | undefined;
529
- routedSvg?: boolean | undefined;
530
- routedJson?: boolean | undefined;
531
- }>>;
532
- }>, "strip", z.ZodTypeAny, {
533
- options?: {
534
- placedSvg?: boolean | undefined;
535
- routedSvg?: boolean | undefined;
536
- routedJson?: boolean | undefined;
537
- } | undefined;
538
- inputFiles?: {
539
- useGenerated: boolean;
540
- values: string[];
541
- } | undefined;
542
- outputFiles?: {
543
- useGenerated: boolean;
544
- values: string[];
545
- } | undefined;
546
- arguments?: {
547
- useGenerated: boolean;
548
- values: string[];
549
- } | undefined;
550
- }, {
551
- options?: {
552
- placedSvg?: boolean | undefined;
553
- routedSvg?: boolean | undefined;
554
- routedJson?: boolean | undefined;
555
- } | undefined;
556
- inputFiles?: {
557
- useGenerated?: boolean | undefined;
558
- values?: string[] | undefined;
559
- } | undefined;
560
- outputFiles?: {
561
- useGenerated?: boolean | undefined;
562
- values?: string[] | undefined;
563
- } | undefined;
564
- arguments?: {
565
- useGenerated?: boolean | undefined;
566
- values?: string[] | undefined;
567
- } | undefined;
568
- }>>;
569
- iverilog: z.ZodOptional<z.ZodObject<z.objectUtil.extendShape<{
173
+ pinConfigFile: z.ZodOptional<z.ZodString>;
174
+ }, z.core.$strip>>;
175
+ }, z.core.$strip>>;
176
+ iverilog: z.ZodOptional<z.ZodObject<{
570
177
  inputFiles: z.ZodOptional<z.ZodObject<{
571
178
  useGenerated: z.ZodDefault<z.ZodOptional<z.ZodBoolean>>;
572
- values: z.ZodDefault<z.ZodOptional<z.ZodArray<z.ZodString, "many">>>;
573
- }, "strip", z.ZodTypeAny, {
574
- useGenerated: boolean;
575
- values: string[];
576
- }, {
577
- useGenerated?: boolean | undefined;
578
- values?: string[] | undefined;
579
- }>>;
179
+ values: z.ZodDefault<z.ZodOptional<z.ZodArray<z.ZodString>>>;
180
+ }, z.core.$strip>>;
580
181
  outputFiles: z.ZodOptional<z.ZodObject<{
581
182
  useGenerated: z.ZodDefault<z.ZodOptional<z.ZodBoolean>>;
582
- values: z.ZodDefault<z.ZodOptional<z.ZodArray<z.ZodString, "many">>>;
583
- }, "strip", z.ZodTypeAny, {
584
- useGenerated: boolean;
585
- values: string[];
586
- }, {
587
- useGenerated?: boolean | undefined;
588
- values?: string[] | undefined;
589
- }>>;
590
- }, {
183
+ values: z.ZodDefault<z.ZodOptional<z.ZodArray<z.ZodString>>>;
184
+ }, z.core.$strip>>;
591
185
  arguments: z.ZodOptional<z.ZodObject<{
592
186
  useGenerated: z.ZodDefault<z.ZodOptional<z.ZodBoolean>>;
593
- values: z.ZodDefault<z.ZodOptional<z.ZodArray<z.ZodString, "many">>>;
594
- }, "strip", z.ZodTypeAny, {
595
- useGenerated: boolean;
596
- values: string[];
597
- }, {
598
- useGenerated?: boolean | undefined;
599
- values?: string[] | undefined;
600
- }>>;
187
+ values: z.ZodDefault<z.ZodOptional<z.ZodArray<z.ZodString>>>;
188
+ }, z.core.$strip>>;
601
189
  options: z.ZodOptional<z.ZodObject<{
602
190
  testbenchFile: z.ZodOptional<z.ZodString>;
603
- }, "strip", z.ZodTypeAny, {
604
- testbenchFile?: string | undefined;
605
- }, {
606
- testbenchFile?: string | undefined;
607
- }>>;
608
- }>, "strip", z.ZodTypeAny, {
609
- options?: {
610
- testbenchFile?: string | undefined;
611
- } | undefined;
612
- inputFiles?: {
613
- useGenerated: boolean;
614
- values: string[];
615
- } | undefined;
616
- outputFiles?: {
617
- useGenerated: boolean;
618
- values: string[];
619
- } | undefined;
620
- arguments?: {
621
- useGenerated: boolean;
622
- values: string[];
623
- } | undefined;
624
- }, {
625
- options?: {
626
- testbenchFile?: string | undefined;
627
- } | undefined;
628
- inputFiles?: {
629
- useGenerated?: boolean | undefined;
630
- values?: string[] | undefined;
631
- } | undefined;
632
- outputFiles?: {
633
- useGenerated?: boolean | undefined;
634
- values?: string[] | undefined;
635
- } | undefined;
636
- arguments?: {
637
- useGenerated?: boolean | undefined;
638
- values?: string[] | undefined;
639
- } | undefined;
640
- }>>;
641
- }, "strip", z.ZodTypeAny, {
642
- yosys?: {
643
- options?: {
644
- optimize?: boolean | undefined;
645
- topLevelModule?: string | undefined;
646
- } | undefined;
647
- inputFiles?: {
648
- useGenerated: boolean;
649
- values: string[];
650
- } | undefined;
651
- outputFiles?: {
652
- useGenerated: boolean;
653
- values: string[];
654
- } | undefined;
655
- commands?: {
656
- useGenerated: boolean;
657
- values: string[];
658
- } | undefined;
659
- } | undefined;
660
- nextpnr?: {
661
- options?: {
662
- placedSvg?: boolean | undefined;
663
- routedSvg?: boolean | undefined;
664
- routedJson?: boolean | undefined;
665
- } | undefined;
666
- inputFiles?: {
667
- useGenerated: boolean;
668
- values: string[];
669
- } | undefined;
670
- outputFiles?: {
671
- useGenerated: boolean;
672
- values: string[];
673
- } | undefined;
674
- arguments?: {
675
- useGenerated: boolean;
676
- values: string[];
677
- } | undefined;
678
- } | undefined;
679
- iverilog?: {
680
- options?: {
681
- testbenchFile?: string | undefined;
682
- } | undefined;
683
- inputFiles?: {
684
- useGenerated: boolean;
685
- values: string[];
686
- } | undefined;
687
- outputFiles?: {
688
- useGenerated: boolean;
689
- values: string[];
690
- } | undefined;
691
- arguments?: {
692
- useGenerated: boolean;
693
- values: string[];
694
- } | undefined;
695
- } | undefined;
696
- }, {
697
- yosys?: {
698
- options?: {
699
- optimize?: boolean | undefined;
700
- topLevelModule?: string | undefined;
701
- } | undefined;
702
- inputFiles?: {
703
- useGenerated?: boolean | undefined;
704
- values?: string[] | undefined;
705
- } | undefined;
706
- outputFiles?: {
707
- useGenerated?: boolean | undefined;
708
- values?: string[] | undefined;
709
- } | undefined;
710
- commands?: {
711
- useGenerated?: boolean | undefined;
712
- values?: string[] | undefined;
713
- } | undefined;
714
- } | undefined;
715
- nextpnr?: {
716
- options?: {
717
- placedSvg?: boolean | undefined;
718
- routedSvg?: boolean | undefined;
719
- routedJson?: boolean | undefined;
720
- } | undefined;
721
- inputFiles?: {
722
- useGenerated?: boolean | undefined;
723
- values?: string[] | undefined;
724
- } | undefined;
725
- outputFiles?: {
726
- useGenerated?: boolean | undefined;
727
- values?: string[] | undefined;
728
- } | undefined;
729
- arguments?: {
730
- useGenerated?: boolean | undefined;
731
- values?: string[] | undefined;
732
- } | undefined;
733
- } | undefined;
734
- iverilog?: {
735
- options?: {
736
- testbenchFile?: string | undefined;
737
- } | undefined;
738
- inputFiles?: {
739
- useGenerated?: boolean | undefined;
740
- values?: string[] | undefined;
741
- } | undefined;
742
- outputFiles?: {
743
- useGenerated?: boolean | undefined;
744
- values?: string[] | undefined;
745
- } | undefined;
746
- arguments?: {
747
- useGenerated?: boolean | undefined;
748
- values?: string[] | undefined;
749
- } | undefined;
750
- } | undefined;
751
- }>>;
191
+ }, z.core.$strip>>;
192
+ }, z.core.$strip>>;
193
+ flasher: z.ZodOptional<z.ZodObject<{
194
+ inputFiles: z.ZodOptional<z.ZodObject<{
195
+ useGenerated: z.ZodDefault<z.ZodOptional<z.ZodBoolean>>;
196
+ values: z.ZodDefault<z.ZodOptional<z.ZodArray<z.ZodString>>>;
197
+ }, z.core.$strip>>;
198
+ outputFiles: z.ZodOptional<z.ZodObject<{
199
+ useGenerated: z.ZodDefault<z.ZodOptional<z.ZodBoolean>>;
200
+ values: z.ZodDefault<z.ZodOptional<z.ZodArray<z.ZodString>>>;
201
+ }, z.core.$strip>>;
202
+ arguments: z.ZodOptional<z.ZodObject<{
203
+ useGenerated: z.ZodDefault<z.ZodOptional<z.ZodBoolean>>;
204
+ values: z.ZodDefault<z.ZodOptional<z.ZodArray<z.ZodString>>>;
205
+ }, z.core.$strip>>;
206
+ options: z.ZodOptional<z.ZodObject<{
207
+ board: z.ZodOptional<z.ZodString>;
208
+ }, z.core.$strip>>;
209
+ }, z.core.$strip>>;
210
+ }, z.core.$strip>>;
752
211
  targets: z.ZodArray<z.ZodObject<{
753
212
  id: z.ZodString;
754
213
  name: z.ZodString;
@@ -757,699 +216,99 @@ export declare const schemaProjectConfiguration: z.ZodObject<{
757
216
  device: z.ZodString;
758
217
  package: z.ZodString;
759
218
  directory: z.ZodOptional<z.ZodString>;
760
- yosys: z.ZodOptional<z.ZodObject<z.objectUtil.extendShape<{
761
- inputFiles: z.ZodOptional<z.ZodObject<z.objectUtil.extendShape<{
219
+ yosys: z.ZodOptional<z.ZodObject<{
220
+ inputFiles: z.ZodOptional<z.ZodObject<{
762
221
  useGenerated: z.ZodDefault<z.ZodOptional<z.ZodBoolean>>;
763
- values: z.ZodDefault<z.ZodOptional<z.ZodArray<z.ZodString, "many">>>;
764
- }, {
222
+ values: z.ZodDefault<z.ZodOptional<z.ZodArray<z.ZodString>>>;
765
223
  useDefault: z.ZodDefault<z.ZodOptional<z.ZodBoolean>>;
766
- }>, "strip", z.ZodTypeAny, {
767
- useGenerated: boolean;
768
- values: string[];
769
- useDefault: boolean;
770
- }, {
771
- useGenerated?: boolean | undefined;
772
- values?: string[] | undefined;
773
- useDefault?: boolean | undefined;
774
- }>>;
775
- outputFiles: z.ZodOptional<z.ZodObject<z.objectUtil.extendShape<{
224
+ }, z.core.$strip>>;
225
+ outputFiles: z.ZodOptional<z.ZodObject<{
776
226
  useGenerated: z.ZodDefault<z.ZodOptional<z.ZodBoolean>>;
777
- values: z.ZodDefault<z.ZodOptional<z.ZodArray<z.ZodString, "many">>>;
778
- }, {
227
+ values: z.ZodDefault<z.ZodOptional<z.ZodArray<z.ZodString>>>;
779
228
  useDefault: z.ZodDefault<z.ZodOptional<z.ZodBoolean>>;
780
- }>, "strip", z.ZodTypeAny, {
781
- useGenerated: boolean;
782
- values: string[];
783
- useDefault: boolean;
784
- }, {
785
- useGenerated?: boolean | undefined;
786
- values?: string[] | undefined;
787
- useDefault?: boolean | undefined;
788
- }>>;
789
- }, {
790
- commands: z.ZodOptional<z.ZodObject<z.objectUtil.extendShape<{
229
+ }, z.core.$strip>>;
230
+ commands: z.ZodOptional<z.ZodObject<{
791
231
  useGenerated: z.ZodDefault<z.ZodOptional<z.ZodBoolean>>;
792
- values: z.ZodDefault<z.ZodOptional<z.ZodArray<z.ZodString, "many">>>;
793
- }, {
232
+ values: z.ZodDefault<z.ZodOptional<z.ZodArray<z.ZodString>>>;
794
233
  useDefault: z.ZodDefault<z.ZodOptional<z.ZodBoolean>>;
795
- }>, "strip", z.ZodTypeAny, {
796
- useGenerated: boolean;
797
- values: string[];
798
- useDefault: boolean;
799
- }, {
800
- useGenerated?: boolean | undefined;
801
- values?: string[] | undefined;
802
- useDefault?: boolean | undefined;
803
- }>>;
234
+ }, z.core.$strip>>;
804
235
  options: z.ZodOptional<z.ZodObject<{
805
236
  optimize: z.ZodOptional<z.ZodBoolean>;
806
237
  topLevelModule: z.ZodOptional<z.ZodString>;
807
- }, "strip", z.ZodTypeAny, {
808
- optimize?: boolean | undefined;
809
- topLevelModule?: string | undefined;
810
- }, {
811
- optimize?: boolean | undefined;
812
- topLevelModule?: string | undefined;
813
- }>>;
814
- }>, "strip", z.ZodTypeAny, {
815
- options?: {
816
- optimize?: boolean | undefined;
817
- topLevelModule?: string | undefined;
818
- } | undefined;
819
- inputFiles?: {
820
- useGenerated: boolean;
821
- values: string[];
822
- useDefault: boolean;
823
- } | undefined;
824
- outputFiles?: {
825
- useGenerated: boolean;
826
- values: string[];
827
- useDefault: boolean;
828
- } | undefined;
829
- commands?: {
830
- useGenerated: boolean;
831
- values: string[];
832
- useDefault: boolean;
833
- } | undefined;
834
- }, {
835
- options?: {
836
- optimize?: boolean | undefined;
837
- topLevelModule?: string | undefined;
838
- } | undefined;
839
- inputFiles?: {
840
- useGenerated?: boolean | undefined;
841
- values?: string[] | undefined;
842
- useDefault?: boolean | undefined;
843
- } | undefined;
844
- outputFiles?: {
845
- useGenerated?: boolean | undefined;
846
- values?: string[] | undefined;
847
- useDefault?: boolean | undefined;
848
- } | undefined;
849
- commands?: {
850
- useGenerated?: boolean | undefined;
851
- values?: string[] | undefined;
852
- useDefault?: boolean | undefined;
853
- } | undefined;
854
- }>>;
855
- nextpnr: z.ZodOptional<z.ZodObject<z.objectUtil.extendShape<{
856
- inputFiles: z.ZodOptional<z.ZodObject<z.objectUtil.extendShape<{
238
+ }, z.core.$strip>>;
239
+ }, z.core.$strip>>;
240
+ nextpnr: z.ZodOptional<z.ZodObject<{
241
+ inputFiles: z.ZodOptional<z.ZodObject<{
857
242
  useGenerated: z.ZodDefault<z.ZodOptional<z.ZodBoolean>>;
858
- values: z.ZodDefault<z.ZodOptional<z.ZodArray<z.ZodString, "many">>>;
859
- }, {
243
+ values: z.ZodDefault<z.ZodOptional<z.ZodArray<z.ZodString>>>;
860
244
  useDefault: z.ZodDefault<z.ZodOptional<z.ZodBoolean>>;
861
- }>, "strip", z.ZodTypeAny, {
862
- useGenerated: boolean;
863
- values: string[];
864
- useDefault: boolean;
865
- }, {
866
- useGenerated?: boolean | undefined;
867
- values?: string[] | undefined;
868
- useDefault?: boolean | undefined;
869
- }>>;
870
- outputFiles: z.ZodOptional<z.ZodObject<z.objectUtil.extendShape<{
245
+ }, z.core.$strip>>;
246
+ outputFiles: z.ZodOptional<z.ZodObject<{
871
247
  useGenerated: z.ZodDefault<z.ZodOptional<z.ZodBoolean>>;
872
- values: z.ZodDefault<z.ZodOptional<z.ZodArray<z.ZodString, "many">>>;
873
- }, {
248
+ values: z.ZodDefault<z.ZodOptional<z.ZodArray<z.ZodString>>>;
874
249
  useDefault: z.ZodDefault<z.ZodOptional<z.ZodBoolean>>;
875
- }>, "strip", z.ZodTypeAny, {
876
- useGenerated: boolean;
877
- values: string[];
878
- useDefault: boolean;
879
- }, {
880
- useGenerated?: boolean | undefined;
881
- values?: string[] | undefined;
882
- useDefault?: boolean | undefined;
883
- }>>;
884
- }, {
885
- arguments: z.ZodOptional<z.ZodObject<z.objectUtil.extendShape<{
250
+ }, z.core.$strip>>;
251
+ arguments: z.ZodOptional<z.ZodObject<{
886
252
  useGenerated: z.ZodDefault<z.ZodOptional<z.ZodBoolean>>;
887
- values: z.ZodDefault<z.ZodOptional<z.ZodArray<z.ZodString, "many">>>;
888
- }, {
253
+ values: z.ZodDefault<z.ZodOptional<z.ZodArray<z.ZodString>>>;
889
254
  useDefault: z.ZodDefault<z.ZodOptional<z.ZodBoolean>>;
890
- }>, "strip", z.ZodTypeAny, {
891
- useGenerated: boolean;
892
- values: string[];
893
- useDefault: boolean;
894
- }, {
895
- useGenerated?: boolean | undefined;
896
- values?: string[] | undefined;
897
- useDefault?: boolean | undefined;
898
- }>>;
255
+ }, z.core.$strip>>;
899
256
  options: z.ZodOptional<z.ZodObject<{
900
257
  placedSvg: z.ZodOptional<z.ZodBoolean>;
901
258
  routedSvg: z.ZodOptional<z.ZodBoolean>;
902
259
  routedJson: z.ZodOptional<z.ZodBoolean>;
903
- }, "strip", z.ZodTypeAny, {
904
- placedSvg?: boolean | undefined;
905
- routedSvg?: boolean | undefined;
906
- routedJson?: boolean | undefined;
907
- }, {
908
- placedSvg?: boolean | undefined;
909
- routedSvg?: boolean | undefined;
910
- routedJson?: boolean | undefined;
911
- }>>;
912
- }>, "strip", z.ZodTypeAny, {
913
- options?: {
914
- placedSvg?: boolean | undefined;
915
- routedSvg?: boolean | undefined;
916
- routedJson?: boolean | undefined;
917
- } | undefined;
918
- inputFiles?: {
919
- useGenerated: boolean;
920
- values: string[];
921
- useDefault: boolean;
922
- } | undefined;
923
- outputFiles?: {
924
- useGenerated: boolean;
925
- values: string[];
926
- useDefault: boolean;
927
- } | undefined;
928
- arguments?: {
929
- useGenerated: boolean;
930
- values: string[];
931
- useDefault: boolean;
932
- } | undefined;
933
- }, {
934
- options?: {
935
- placedSvg?: boolean | undefined;
936
- routedSvg?: boolean | undefined;
937
- routedJson?: boolean | undefined;
938
- } | undefined;
939
- inputFiles?: {
940
- useGenerated?: boolean | undefined;
941
- values?: string[] | undefined;
942
- useDefault?: boolean | undefined;
943
- } | undefined;
944
- outputFiles?: {
945
- useGenerated?: boolean | undefined;
946
- values?: string[] | undefined;
947
- useDefault?: boolean | undefined;
948
- } | undefined;
949
- arguments?: {
950
- useGenerated?: boolean | undefined;
951
- values?: string[] | undefined;
952
- useDefault?: boolean | undefined;
953
- } | undefined;
954
- }>>;
955
- iverilog: z.ZodOptional<z.ZodObject<z.objectUtil.extendShape<{
956
- inputFiles: z.ZodOptional<z.ZodObject<z.objectUtil.extendShape<{
260
+ pinConfigFile: z.ZodOptional<z.ZodString>;
261
+ }, z.core.$strip>>;
262
+ }, z.core.$strip>>;
263
+ iverilog: z.ZodOptional<z.ZodObject<{
264
+ inputFiles: z.ZodOptional<z.ZodObject<{
957
265
  useGenerated: z.ZodDefault<z.ZodOptional<z.ZodBoolean>>;
958
- values: z.ZodDefault<z.ZodOptional<z.ZodArray<z.ZodString, "many">>>;
959
- }, {
266
+ values: z.ZodDefault<z.ZodOptional<z.ZodArray<z.ZodString>>>;
960
267
  useDefault: z.ZodDefault<z.ZodOptional<z.ZodBoolean>>;
961
- }>, "strip", z.ZodTypeAny, {
962
- useGenerated: boolean;
963
- values: string[];
964
- useDefault: boolean;
965
- }, {
966
- useGenerated?: boolean | undefined;
967
- values?: string[] | undefined;
968
- useDefault?: boolean | undefined;
969
- }>>;
970
- outputFiles: z.ZodOptional<z.ZodObject<z.objectUtil.extendShape<{
268
+ }, z.core.$strip>>;
269
+ outputFiles: z.ZodOptional<z.ZodObject<{
971
270
  useGenerated: z.ZodDefault<z.ZodOptional<z.ZodBoolean>>;
972
- values: z.ZodDefault<z.ZodOptional<z.ZodArray<z.ZodString, "many">>>;
973
- }, {
271
+ values: z.ZodDefault<z.ZodOptional<z.ZodArray<z.ZodString>>>;
974
272
  useDefault: z.ZodDefault<z.ZodOptional<z.ZodBoolean>>;
975
- }>, "strip", z.ZodTypeAny, {
976
- useGenerated: boolean;
977
- values: string[];
978
- useDefault: boolean;
979
- }, {
980
- useGenerated?: boolean | undefined;
981
- values?: string[] | undefined;
982
- useDefault?: boolean | undefined;
983
- }>>;
984
- }, {
985
- arguments: z.ZodOptional<z.ZodObject<z.objectUtil.extendShape<{
273
+ }, z.core.$strip>>;
274
+ arguments: z.ZodOptional<z.ZodObject<{
986
275
  useGenerated: z.ZodDefault<z.ZodOptional<z.ZodBoolean>>;
987
- values: z.ZodDefault<z.ZodOptional<z.ZodArray<z.ZodString, "many">>>;
988
- }, {
276
+ values: z.ZodDefault<z.ZodOptional<z.ZodArray<z.ZodString>>>;
989
277
  useDefault: z.ZodDefault<z.ZodOptional<z.ZodBoolean>>;
990
- }>, "strip", z.ZodTypeAny, {
991
- useGenerated: boolean;
992
- values: string[];
993
- useDefault: boolean;
994
- }, {
995
- useGenerated?: boolean | undefined;
996
- values?: string[] | undefined;
997
- useDefault?: boolean | undefined;
998
- }>>;
278
+ }, z.core.$strip>>;
999
279
  options: z.ZodOptional<z.ZodObject<{
1000
280
  testbenchFile: z.ZodOptional<z.ZodString>;
1001
- }, "strip", z.ZodTypeAny, {
1002
- testbenchFile?: string | undefined;
1003
- }, {
1004
- testbenchFile?: string | undefined;
1005
- }>>;
1006
- }>, "strip", z.ZodTypeAny, {
1007
- options?: {
1008
- testbenchFile?: string | undefined;
1009
- } | undefined;
1010
- inputFiles?: {
1011
- useGenerated: boolean;
1012
- values: string[];
1013
- useDefault: boolean;
1014
- } | undefined;
1015
- outputFiles?: {
1016
- useGenerated: boolean;
1017
- values: string[];
1018
- useDefault: boolean;
1019
- } | undefined;
1020
- arguments?: {
1021
- useGenerated: boolean;
1022
- values: string[];
1023
- useDefault: boolean;
1024
- } | undefined;
1025
- }, {
1026
- options?: {
1027
- testbenchFile?: string | undefined;
1028
- } | undefined;
1029
- inputFiles?: {
1030
- useGenerated?: boolean | undefined;
1031
- values?: string[] | undefined;
1032
- useDefault?: boolean | undefined;
1033
- } | undefined;
1034
- outputFiles?: {
1035
- useGenerated?: boolean | undefined;
1036
- values?: string[] | undefined;
1037
- useDefault?: boolean | undefined;
1038
- } | undefined;
1039
- arguments?: {
1040
- useGenerated?: boolean | undefined;
1041
- values?: string[] | undefined;
1042
- useDefault?: boolean | undefined;
1043
- } | undefined;
1044
- }>>;
1045
- }, "strip", z.ZodTypeAny, {
1046
- id: string;
1047
- name: string;
1048
- vendor: string;
1049
- family: string;
1050
- device: string;
1051
- package: string;
1052
- yosys?: {
1053
- options?: {
1054
- optimize?: boolean | undefined;
1055
- topLevelModule?: string | undefined;
1056
- } | undefined;
1057
- inputFiles?: {
1058
- useGenerated: boolean;
1059
- values: string[];
1060
- useDefault: boolean;
1061
- } | undefined;
1062
- outputFiles?: {
1063
- useGenerated: boolean;
1064
- values: string[];
1065
- useDefault: boolean;
1066
- } | undefined;
1067
- commands?: {
1068
- useGenerated: boolean;
1069
- values: string[];
1070
- useDefault: boolean;
1071
- } | undefined;
1072
- } | undefined;
1073
- nextpnr?: {
1074
- options?: {
1075
- placedSvg?: boolean | undefined;
1076
- routedSvg?: boolean | undefined;
1077
- routedJson?: boolean | undefined;
1078
- } | undefined;
1079
- inputFiles?: {
1080
- useGenerated: boolean;
1081
- values: string[];
1082
- useDefault: boolean;
1083
- } | undefined;
1084
- outputFiles?: {
1085
- useGenerated: boolean;
1086
- values: string[];
1087
- useDefault: boolean;
1088
- } | undefined;
1089
- arguments?: {
1090
- useGenerated: boolean;
1091
- values: string[];
1092
- useDefault: boolean;
1093
- } | undefined;
1094
- } | undefined;
1095
- iverilog?: {
1096
- options?: {
1097
- testbenchFile?: string | undefined;
1098
- } | undefined;
1099
- inputFiles?: {
1100
- useGenerated: boolean;
1101
- values: string[];
1102
- useDefault: boolean;
1103
- } | undefined;
1104
- outputFiles?: {
1105
- useGenerated: boolean;
1106
- values: string[];
1107
- useDefault: boolean;
1108
- } | undefined;
1109
- arguments?: {
1110
- useGenerated: boolean;
1111
- values: string[];
1112
- useDefault: boolean;
1113
- } | undefined;
1114
- } | undefined;
1115
- directory?: string | undefined;
1116
- }, {
1117
- id: string;
1118
- name: string;
1119
- vendor: string;
1120
- family: string;
1121
- device: string;
1122
- package: string;
1123
- yosys?: {
1124
- options?: {
1125
- optimize?: boolean | undefined;
1126
- topLevelModule?: string | undefined;
1127
- } | undefined;
1128
- inputFiles?: {
1129
- useGenerated?: boolean | undefined;
1130
- values?: string[] | undefined;
1131
- useDefault?: boolean | undefined;
1132
- } | undefined;
1133
- outputFiles?: {
1134
- useGenerated?: boolean | undefined;
1135
- values?: string[] | undefined;
1136
- useDefault?: boolean | undefined;
1137
- } | undefined;
1138
- commands?: {
1139
- useGenerated?: boolean | undefined;
1140
- values?: string[] | undefined;
1141
- useDefault?: boolean | undefined;
1142
- } | undefined;
1143
- } | undefined;
1144
- nextpnr?: {
1145
- options?: {
1146
- placedSvg?: boolean | undefined;
1147
- routedSvg?: boolean | undefined;
1148
- routedJson?: boolean | undefined;
1149
- } | undefined;
1150
- inputFiles?: {
1151
- useGenerated?: boolean | undefined;
1152
- values?: string[] | undefined;
1153
- useDefault?: boolean | undefined;
1154
- } | undefined;
1155
- outputFiles?: {
1156
- useGenerated?: boolean | undefined;
1157
- values?: string[] | undefined;
1158
- useDefault?: boolean | undefined;
1159
- } | undefined;
1160
- arguments?: {
1161
- useGenerated?: boolean | undefined;
1162
- values?: string[] | undefined;
1163
- useDefault?: boolean | undefined;
1164
- } | undefined;
1165
- } | undefined;
1166
- iverilog?: {
1167
- options?: {
1168
- testbenchFile?: string | undefined;
1169
- } | undefined;
1170
- inputFiles?: {
1171
- useGenerated?: boolean | undefined;
1172
- values?: string[] | undefined;
1173
- useDefault?: boolean | undefined;
1174
- } | undefined;
1175
- outputFiles?: {
1176
- useGenerated?: boolean | undefined;
1177
- values?: string[] | undefined;
1178
- useDefault?: boolean | undefined;
1179
- } | undefined;
1180
- arguments?: {
1181
- useGenerated?: boolean | undefined;
1182
- values?: string[] | undefined;
1183
- useDefault?: boolean | undefined;
1184
- } | undefined;
1185
- } | undefined;
1186
- directory?: string | undefined;
1187
- }>, "many">;
1188
- }, "strip", z.ZodTypeAny, {
1189
- targets: {
1190
- id: string;
1191
- name: string;
1192
- vendor: string;
1193
- family: string;
1194
- device: string;
1195
- package: string;
1196
- yosys?: {
1197
- options?: {
1198
- optimize?: boolean | undefined;
1199
- topLevelModule?: string | undefined;
1200
- } | undefined;
1201
- inputFiles?: {
1202
- useGenerated: boolean;
1203
- values: string[];
1204
- useDefault: boolean;
1205
- } | undefined;
1206
- outputFiles?: {
1207
- useGenerated: boolean;
1208
- values: string[];
1209
- useDefault: boolean;
1210
- } | undefined;
1211
- commands?: {
1212
- useGenerated: boolean;
1213
- values: string[];
1214
- useDefault: boolean;
1215
- } | undefined;
1216
- } | undefined;
1217
- nextpnr?: {
1218
- options?: {
1219
- placedSvg?: boolean | undefined;
1220
- routedSvg?: boolean | undefined;
1221
- routedJson?: boolean | undefined;
1222
- } | undefined;
1223
- inputFiles?: {
1224
- useGenerated: boolean;
1225
- values: string[];
1226
- useDefault: boolean;
1227
- } | undefined;
1228
- outputFiles?: {
1229
- useGenerated: boolean;
1230
- values: string[];
1231
- useDefault: boolean;
1232
- } | undefined;
1233
- arguments?: {
1234
- useGenerated: boolean;
1235
- values: string[];
1236
- useDefault: boolean;
1237
- } | undefined;
1238
- } | undefined;
1239
- iverilog?: {
1240
- options?: {
1241
- testbenchFile?: string | undefined;
1242
- } | undefined;
1243
- inputFiles?: {
1244
- useGenerated: boolean;
1245
- values: string[];
1246
- useDefault: boolean;
1247
- } | undefined;
1248
- outputFiles?: {
1249
- useGenerated: boolean;
1250
- values: string[];
1251
- useDefault: boolean;
1252
- } | undefined;
1253
- arguments?: {
1254
- useGenerated: boolean;
1255
- values: string[];
1256
- useDefault: boolean;
1257
- } | undefined;
1258
- } | undefined;
1259
- directory?: string | undefined;
1260
- }[];
1261
- defaults?: {
1262
- yosys?: {
1263
- options?: {
1264
- optimize?: boolean | undefined;
1265
- topLevelModule?: string | undefined;
1266
- } | undefined;
1267
- inputFiles?: {
1268
- useGenerated: boolean;
1269
- values: string[];
1270
- } | undefined;
1271
- outputFiles?: {
1272
- useGenerated: boolean;
1273
- values: string[];
1274
- } | undefined;
1275
- commands?: {
1276
- useGenerated: boolean;
1277
- values: string[];
1278
- } | undefined;
1279
- } | undefined;
1280
- nextpnr?: {
1281
- options?: {
1282
- placedSvg?: boolean | undefined;
1283
- routedSvg?: boolean | undefined;
1284
- routedJson?: boolean | undefined;
1285
- } | undefined;
1286
- inputFiles?: {
1287
- useGenerated: boolean;
1288
- values: string[];
1289
- } | undefined;
1290
- outputFiles?: {
1291
- useGenerated: boolean;
1292
- values: string[];
1293
- } | undefined;
1294
- arguments?: {
1295
- useGenerated: boolean;
1296
- values: string[];
1297
- } | undefined;
1298
- } | undefined;
1299
- iverilog?: {
1300
- options?: {
1301
- testbenchFile?: string | undefined;
1302
- } | undefined;
1303
- inputFiles?: {
1304
- useGenerated: boolean;
1305
- values: string[];
1306
- } | undefined;
1307
- outputFiles?: {
1308
- useGenerated: boolean;
1309
- values: string[];
1310
- } | undefined;
1311
- arguments?: {
1312
- useGenerated: boolean;
1313
- values: string[];
1314
- } | undefined;
1315
- } | undefined;
1316
- } | undefined;
1317
- }, {
1318
- targets: {
1319
- id: string;
1320
- name: string;
1321
- vendor: string;
1322
- family: string;
1323
- device: string;
1324
- package: string;
1325
- yosys?: {
1326
- options?: {
1327
- optimize?: boolean | undefined;
1328
- topLevelModule?: string | undefined;
1329
- } | undefined;
1330
- inputFiles?: {
1331
- useGenerated?: boolean | undefined;
1332
- values?: string[] | undefined;
1333
- useDefault?: boolean | undefined;
1334
- } | undefined;
1335
- outputFiles?: {
1336
- useGenerated?: boolean | undefined;
1337
- values?: string[] | undefined;
1338
- useDefault?: boolean | undefined;
1339
- } | undefined;
1340
- commands?: {
1341
- useGenerated?: boolean | undefined;
1342
- values?: string[] | undefined;
1343
- useDefault?: boolean | undefined;
1344
- } | undefined;
1345
- } | undefined;
1346
- nextpnr?: {
1347
- options?: {
1348
- placedSvg?: boolean | undefined;
1349
- routedSvg?: boolean | undefined;
1350
- routedJson?: boolean | undefined;
1351
- } | undefined;
1352
- inputFiles?: {
1353
- useGenerated?: boolean | undefined;
1354
- values?: string[] | undefined;
1355
- useDefault?: boolean | undefined;
1356
- } | undefined;
1357
- outputFiles?: {
1358
- useGenerated?: boolean | undefined;
1359
- values?: string[] | undefined;
1360
- useDefault?: boolean | undefined;
1361
- } | undefined;
1362
- arguments?: {
1363
- useGenerated?: boolean | undefined;
1364
- values?: string[] | undefined;
1365
- useDefault?: boolean | undefined;
1366
- } | undefined;
1367
- } | undefined;
1368
- iverilog?: {
1369
- options?: {
1370
- testbenchFile?: string | undefined;
1371
- } | undefined;
1372
- inputFiles?: {
1373
- useGenerated?: boolean | undefined;
1374
- values?: string[] | undefined;
1375
- useDefault?: boolean | undefined;
1376
- } | undefined;
1377
- outputFiles?: {
1378
- useGenerated?: boolean | undefined;
1379
- values?: string[] | undefined;
1380
- useDefault?: boolean | undefined;
1381
- } | undefined;
1382
- arguments?: {
1383
- useGenerated?: boolean | undefined;
1384
- values?: string[] | undefined;
1385
- useDefault?: boolean | undefined;
1386
- } | undefined;
1387
- } | undefined;
1388
- directory?: string | undefined;
1389
- }[];
1390
- defaults?: {
1391
- yosys?: {
1392
- options?: {
1393
- optimize?: boolean | undefined;
1394
- topLevelModule?: string | undefined;
1395
- } | undefined;
1396
- inputFiles?: {
1397
- useGenerated?: boolean | undefined;
1398
- values?: string[] | undefined;
1399
- } | undefined;
1400
- outputFiles?: {
1401
- useGenerated?: boolean | undefined;
1402
- values?: string[] | undefined;
1403
- } | undefined;
1404
- commands?: {
1405
- useGenerated?: boolean | undefined;
1406
- values?: string[] | undefined;
1407
- } | undefined;
1408
- } | undefined;
1409
- nextpnr?: {
1410
- options?: {
1411
- placedSvg?: boolean | undefined;
1412
- routedSvg?: boolean | undefined;
1413
- routedJson?: boolean | undefined;
1414
- } | undefined;
1415
- inputFiles?: {
1416
- useGenerated?: boolean | undefined;
1417
- values?: string[] | undefined;
1418
- } | undefined;
1419
- outputFiles?: {
1420
- useGenerated?: boolean | undefined;
1421
- values?: string[] | undefined;
1422
- } | undefined;
1423
- arguments?: {
1424
- useGenerated?: boolean | undefined;
1425
- values?: string[] | undefined;
1426
- } | undefined;
1427
- } | undefined;
1428
- iverilog?: {
1429
- options?: {
1430
- testbenchFile?: string | undefined;
1431
- } | undefined;
1432
- inputFiles?: {
1433
- useGenerated?: boolean | undefined;
1434
- values?: string[] | undefined;
1435
- } | undefined;
1436
- outputFiles?: {
1437
- useGenerated?: boolean | undefined;
1438
- values?: string[] | undefined;
1439
- } | undefined;
1440
- arguments?: {
1441
- useGenerated?: boolean | undefined;
1442
- values?: string[] | undefined;
1443
- } | undefined;
1444
- } | undefined;
1445
- } | undefined;
1446
- }>;
281
+ }, z.core.$strip>>;
282
+ }, z.core.$strip>>;
283
+ flasher: z.ZodOptional<z.ZodObject<{
284
+ inputFiles: z.ZodOptional<z.ZodObject<{
285
+ useGenerated: z.ZodDefault<z.ZodOptional<z.ZodBoolean>>;
286
+ values: z.ZodDefault<z.ZodOptional<z.ZodArray<z.ZodString>>>;
287
+ useDefault: z.ZodDefault<z.ZodOptional<z.ZodBoolean>>;
288
+ }, z.core.$strip>>;
289
+ outputFiles: z.ZodOptional<z.ZodObject<{
290
+ useGenerated: z.ZodDefault<z.ZodOptional<z.ZodBoolean>>;
291
+ values: z.ZodDefault<z.ZodOptional<z.ZodArray<z.ZodString>>>;
292
+ useDefault: z.ZodDefault<z.ZodOptional<z.ZodBoolean>>;
293
+ }, z.core.$strip>>;
294
+ arguments: z.ZodOptional<z.ZodObject<{
295
+ useGenerated: z.ZodDefault<z.ZodOptional<z.ZodBoolean>>;
296
+ values: z.ZodDefault<z.ZodOptional<z.ZodArray<z.ZodString>>>;
297
+ useDefault: z.ZodDefault<z.ZodOptional<z.ZodBoolean>>;
298
+ }, z.core.$strip>>;
299
+ options: z.ZodOptional<z.ZodObject<{
300
+ board: z.ZodOptional<z.ZodString>;
301
+ }, z.core.$strip>>;
302
+ }, z.core.$strip>>;
303
+ }, z.core.$strip>>;
304
+ activeTargetId: z.ZodOptional<z.ZodString>;
305
+ }, z.core.$strip>;
1447
306
  export type ProjectConfiguration = z.infer<typeof schemaProjectConfiguration>;
1448
307
  export type TargetDefaultsConfiguration = NonNullable<ProjectConfiguration['defaults']>;
1449
308
  export type TargetConfiguration = ArrayElement<ProjectConfiguration['targets']>;
1450
309
  export type ValueListConfiguration = z.infer<typeof schemaValueList>;
1451
310
  export type ValueListConfigurationTarget = z.infer<typeof schemaValueListTarget>;
1452
- export type WorkerId = 'yosys' | 'nextpnr' | 'iverilog';
311
+ export type WorkerId = 'yosys' | 'nextpnr' | 'iverilog' | 'flasher';
1453
312
  export type WorkerConfiguration = z.infer<typeof schemaWorker>;
1454
313
  export type WorkerTargetConfiguration = z.infer<typeof schemaWorkerTarget>;
1455
314
  export type YosysOptions = z.infer<typeof schemaYosysOptions>;
@@ -1461,10 +320,14 @@ export type NextpnrTargetConfiguration = z.infer<typeof schemaNextpnrTarget>;
1461
320
  export type IVerilogOptions = z.infer<typeof schemaIVerilogOptions>;
1462
321
  export type IVerilogConfiguration = z.infer<typeof schemaIVerilog>;
1463
322
  export type IVerilogTargetConfiguration = z.infer<typeof schemaIVerilogTarget>;
323
+ export type FlasherOptions = z.infer<typeof schemaFlasherOptions>;
324
+ export type FlasherConfiguration = z.infer<typeof schemaFlasher>;
325
+ export type FlasherTargetConfiguration = z.infer<typeof schemaFlasherTarget>;
1464
326
  export type TargetOptionTypes = {
1465
327
  yosys: YosysOptions;
1466
328
  nextpnr: NextpnrOptions;
1467
329
  iverilog: IVerilogOptions;
330
+ flasher: FlasherOptions;
1468
331
  };
1469
332
  export interface WorkerStep {
1470
333
  tool: string;