_oasis

OASISFormat: 0.4
Name:        tdk
Version:     0.2.0
Synopsis:    The Decision Kit
Description: The Decision Kit is a collection of data structures that are
             useful for representing functions, relations, and other combinatorial objects.
             These data structures are based on various generalizations of reduced ordered
             binary decision diagrams.
Authors:     Spiros Eliopoulos <seliopou@gmail.com>
License:     BSD-3-clause
Plugins:     Meta (0.4), DevFiles (0.4)
BuildTools:  ocamlbuild

Library tdk
  Path:             lib
  Findlibname:      tdk
  Pack:             true
  Modules:          S, Bdd, Vcr, Vlr

Document tdk
  Title:                Tdk Docs
  Type:                 ocamlbuild (0.4)
  BuildTools+:          ocamldoc
  Install:              true
  XOCamlbuildPath:      lib
  XOCamlbuildLibraries: tdk

Executable test_vcr
  Path:             lib_test
  MainIs:           test_vcr.ml
  Build$:           flag(tests)
  CompiledObject:   best
  Install:          false
  BuildDepends:     tdk, oUnit (>= 1.0.2)

Executable test_bdd
  Path:             lib_test
  MainIs:           test_bdd.ml
  Build$:           flag(tests)
  CompiledObject:   best
  Install:          false
  BuildDepends:     tdk, oUnit (>= 1.0.2)

Test test_bdd
  Run$:             flag(tests)
  Command:          $test_bdd
  WorkingDirectory: lib_test

Test test_vcr
  Run$:             flag(tests)
  Command:          $test_vcr
  WorkingDirectory: lib_test