; What nx2's suites and benches share: the C tables, read from the headers, ; that the suites check the library's OCaml tables against, and the devices ; and kernels they call. (library (name nx_array_support) (modules nx_array_support) (libraries nx_array rig rig.edge) (foreign_stubs (language c) (include_dirs ../../../lib/array (lib rig.edge)) (names nx_array_support_stubs))) ; Layouts and movements drawn for the suites, and the witnesses and ; references the array suites share. (library (name nx_array_gen) (modules nx_array_gen) (libraries nx_array nx_array_support rig windtrap))