_oasis

OASISFormat: 0.4
Name:        Coq-NetKAT
Version:     0.1
Synopsis:    The Frenetic Compiler and Runtime System
Authors:     Carolyn Anderson, Nate Foster, and Arjun Guha
License:     LGPL
Plugins:     META (0.3)
OCamlVersion: >= 4.01
AlphaFeatures: 
  no_automatic_syntax,
  ocamlbuild_more_args
XOCamlbuildPluginTags: package(ppx_driver.ocamlbuild)
BuildTools:
  ocamlbuild,
  ocamldoc

Flag quickcheck
  Description: build the netkat.quickcheck library
  Default: false

Library netkat
  Path: lib
  BuildDepends:
  InternalModules:
  Modules:
    NetKAT_ONF,
    NetKAT_Syntax,
    NetKAT_Semantics

Library quickcheck
  Findlibparent: netkat
  Findlibname: quickcheck
  Path: quickcheck
  BuildDepends:
    netkat,
    quickcheck
  Modules:
    NetKAT_Arbitrary

Executable testtool
  Path: test
  MainIs: Test.ml
  BuildDepends:
    ppx_jane,
    ppx_inline_test,
    quickcheck,
    netkat,
    netkat.quickcheck,
    threads
  Install: False

Test all_tests
  Command: $testtool inline-test-runner dummy
  Run$: flag(tests)
  TestTools: testtool