_oasis

OASISFormat: 0.4
Name:        fact
Version:     0.1
Synopsis:    Compiler for the FaCT programming language
Authors:     Gary Soeller, Sunjay Cauligi, Brian Johannesmeyer, Ariana Mirian, Yunlu Huang, Ranjit Jhala, Deian Stefan
Homepage:    https://github.com/PLSysSec/FaCT
License:     MIT
Plugins:     META (0.4), DevFiles (0.4)
BuildDepends: llvm, llvm.analysis, llvm.bitwriter, llvm.executionengine, llvm.target, llvm.passmgr_builder, llvm.irreader, llvm.linker, llvm.transform_utils, llvm.scalar_opts, llvm.vectorize, llvm.ipo, core, threads, ppx_deriving.std, lwt.unix, ANSITerminal, dolog, str, z3
OCamlVersion: >= 4.06
AlphaFeatures: ocamlbuild_more_args
XOCamlbuildPluginTags: package(cppo_ocamlbuild)
PostCleanCommand: rm -f factc

Executable fact
  Path:       src
  BuildTools: ocamlbuild
  MainIs:     fact.ml
  Custom:     true