(include_subdirs unqualified)
(executable
 (name fstarc1_bare)
 (libraries
   fstarcompiler
   memtrace
 )
 (link_flags "-linkall")
 (modes (native exe))
)
