(include_subdirs unqualified)
(executable
 (name fstarc2_tests)
 (libraries
   fstarcompiler
   memtrace
 )
 (link_flags "-linkall")
 (modes (native exe))
 (enabled_if (= %{env:BUILD_FSTAR_OCAML_TESTS=false} true))
)
