File size: 191 Bytes
224e773
 
 
 
 
 
 
 
 
 
1
2
3
4
5
6
7
8
9
10
11
(library
 (name forge_kernel_k3)
 (public_name forge_kernel_k3)
 (modules k3_checker)
 (modes native))

(executable
 (name test_k3)
 (modules test_k3)
 (libraries forge_kernel_k3))