dune - compcert - CompCert fork with minor modifications for Vericert.

about summary refs log tree commit diff stats

path: root/dune

blob: 2acf499d9c718ca5614eac383aa480240bf9a006 (plain)

1	`(dirs :standard \ aarch64 arm x86_32 riscV powerpc extraction x86 x86_64)`