blob: ca6f27a9e0cc563062abb684d38878aee085b54e (
plain)
1
2
3
|
<**/*.ml>: bin_annot, annot
<*.m{l,li}>: package(lem), package(linksem), package(zarith), package(bisect_ppx)
<riscv_ocaml_sim.native>: package(lem), package(linksem), package(zarith), package(bisect_ppx)
|