_oasis

OASISFormat: 0.4
Name:        TLAPM
Version:     0.1
Synopsis:    V2 of tlapm
Authors:     Damien Doligez, Tomer Libal, Martin Riener
License:     BSD-3-clause
Plugins:     META (0.3)
AlphaFeatures: ocamlbuild_more_args

Executable tlapm2
  Path:       src
  BuildTools: ocamlbuild
#  CompiledObject: native
  MainIs:     tlapm.ml
#  XOCamlbuildExtraArgs: "-w +44"
  BuildDepends: xmlm,
                str,
                unix,
                sexplib,
                containers,
                result


Document tlapm_api
  Type: ocamlbuild (0.4)
  BuildTools: ocamldoc, ocamlbuild
  Title: TLAPM API
#  Format: html
#  Index: index.html
  XOCamlbuildPath: src
  XOCamlbuildExtraArgs:
    "-docflags '-colorize-code -short-functors -charset utf-8'"
  XOcamlBuildModules:   Tlapm, Commons, Expr_ds, Expr_visitor, Expr_map,
                        Expr_formatter, Expr_utils, Expr_dereference,
                        Expr_substitution, Expr_termdb_utils,
                        Sany, Sany_ds, Sany_visitor, Sany_expr,
                        Any_expr, Util, Test_common, Expr_constructors,
                        Expr_builtins, Extract_obligations

Executable test
  Install: false
  Path: src
  MainIs: tests.ml
  BuildTools: ocamlbuild
#  CompiledObject: native
  BuildDepends: xmlm,
                str,
                unix,
                kaputt,
                sexplib,
                containers,
                result

Test "test-runner"
  Type: Custom (0.0.1)
  Command: $test