_oasis

OASISFormat: 0.4
OCamlVersion: >= 4.03.0
Name:        frenetic
Version:     4.0.0
Synopsis:    The Frenetic Compiler and Runtime System
Authors:     https://github.com/frenetic-lang/frenetic/contributors
License:     LGPL
Plugins:     META (0.4)
BuildTools:
  ocamlbuild,
  ocamldoc,
  menhir,
  cppo
BetaFeatures:
  findlib_extra_files
AlphaFeatures:
  ocamlbuild_more_args,
  source_patterns
XOCamlbuildExtraArgs:
  # SJS: importing these here ensures they are run last, after ppx_import
  -package ppx_deriving,ppx_deriving.eq,ppx_deriving.enum,ppx_deriving.show,ppx_jane
  -use-menhir
  # see https://caml.inria.fr/pub/docs/manual-ocaml/native.html
  -cflags -w,@5+8@11@12-40,-short-paths

# generate standard parser, syntax extension parser, and tokens from common file
PreBuildCommand:
  cppo -n \
    lib/Frenetic_NetKAT_Generated_Parser.cppo.mly \
    -o lib/Frenetic_NetKAT_Generated_Parser.mly
  cppo -n \
    ppx/PPX_NetKAT_Parser.cppo.mly \
    -o ppx/PPX_NetKAT_Parser.mly
  menhir --only-tokens ppx/PPX_NetKAT_Parser.mly \
    --base lib/Frenetic_NetKAT_Tokens
PostBuildCommand:
  rm -f ppx/PPX_NetKAT_Parser.mly
  rm -f lib/Frenetic_NetKAT_Generated_Parser.mly
  # do not delete so ocamldoc is happy!
  # rm -f lib/Frenetic_NetKAT_Tokens*
ImplementationPatterns:
  ${module}.cppo.mly

Library frenetic
  Path: lib
  Findlibname: frenetic
  BuildDepends:
    base64 (>= 2.0.0),
    core,
    cstruct,
    ocamlgraph (>= 1.8.7),
    str,
    tcpip,
    yojson,
    ipaddr,
    ppx_import,
    sedlex,
    menhirLib,
    threads,
    compiler-libs.common
  InternalModules:
    LexBuffer,
    Frenetic_NetKAT_Lexer,
    Frenetic_NetKAT_Generated_Parser
  Modules:
    Frenetic_Hashcons,
    Frenetic_Bits,
    Frenetic_Fdd,
    Frenetic_OpenFlow0x04,
    Frenetic_GroupTable0x04,
    Frenetic_NetKAT,
    Frenetic_NetKAT_Tokens,
    Frenetic_NetKAT_Parser,
    Frenetic_NetKAT_Optimize,
    Frenetic_NetKAT_Json,
    Frenetic_NetKAT_Compiler,
    Frenetic_NetKAT_FabricGen,
    Frenetic_NetKAT_Virtual_Compiler,
    Frenetic_NetKAT_Net,
    Frenetic_NetKAT_Pretty,
    Frenetic_NetKAT_Semantics,
    Frenetic_Network,
    Frenetic_OpenFlow,
    Frenetic_OpenFlow_Header,
    Frenetic_OpenFlow0x01,
    Frenetic_Packet,
    Frenetic_Topology,
    Frenetic_Util,
    Frenetic_Vlr

Library ppx
  Findlibparent: frenetic
  # need custom meta file
  XMETAEnable: false
  Path: ppx
  BuildDepends:
    ppx_tools, # (> 5.0) once available
    ppx_tools.metaquot,
    frenetic
  InternalModules:
    PPX_NetKAT_Parser
  Modules:
    PPX_NetKAT
  FindlibExtraFiles:
    ../ppx.native

Executable ppx
  Path: ppx
  BuildDepends:
    frenetic.ppx
  MainIs: ppx.ml
  CompiledObject: best
  Install: false

# just for testing and experimentation
Executable ppx_standalone
  # don't build by default
  Build: false
  Path: ppx
  BuildDepends:
    frenetic.ppx
  MainIs: ppx_standalone.ml
  CompiledObject: best
  Install: false

Library async
  Findlibparent: frenetic
  Findlibname: async
  Path: async
  BuildDepends:
    async,
    cohttp,
    cohttp.async,
    core,
    cstruct,
    cstruct.async,
    frenetic,
    mparser,
    mparser.re,
    ppx_sexp_conv,
    str
  InternalModules:
    Frenetic_Common,
    Frenetic_DynGraph
  Modules:
    Frenetic_Compile_Server,
    Frenetic_Log,
    Frenetic_Http_Controller,
    Frenetic_OpenFlow0x01_Plugin,
    Frenetic_NetKAT_Controller,
    Frenetic_Ox

Executable frenetic
  Path: frenetic
  MainIs: frenetic.ml
  Install: true
  CompiledObject: native
  BuildDepends:
    async,
    core,
    frenetic,
    frenetic.async,
    async_extended

Executable openflow
  Path: frenetic
  MainIs: openflow.ml
  Install: true
  CompiledObject: native
  BuildDepends:
    async,
    core,
    frenetic,
    frenetic.async,
    async_extended

Library test_frenetic
  Findlibparent: frenetic
  Findlibname: test
  Path: lib_test/lib
  Build$: flag(tests)
  Install: false
  BuildDepends:
    frenetic,
    quickcheck
  Modules:
    Arbitrary_Base,
    Arbitrary_Frenetic_NetKAT,
    Arbitrary_Frenetic_OpenFlow,
    Arbitrary_Frenetic_OpenFlow0x01,
    Arbitrary_Frenetic_OpenFlow0x04,
    Arbitrary_Frenetic_OpenFlow_Header,
    Arbitrary_Frenetic_Packet,
    Flowterp

Executable testtool
  Path: lib_test
  MainIs: Test.ml
  Install: false
  Build$: flag(tests)
  BuildDepends:
    ppx_inline_test,
    frenetic.test,
    frenetic,
    frenetic.async

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

Executable benchmark
  Install: false
  Path: bench/src
  CompiledObject: best
  MainIs: Main.ml
  BuildDepends:
    core,
    threads,
    frenetic

Document frenetic
  Title: Frenetic API docs
  Type: ocamlbuild (0.4)
  BuildTools+: ocamldoc
  Install: true
  Format: html
  PreCommand:
    cppo -n \
         lib/Frenetic_NetKAT_Generated_Parser.cppo.mly \
         -o lib/Frenetic_NetKAT_Generated_Parser.mly
    cppo -n \
        ppx/PPX_NetKAT_Parser.cppo.mly \
        -o ppx/PPX_NetKAT_Parser.mly
    menhir --only-tokens ppx/PPX_NetKAT_Parser.mly \
        --base lib/Frenetic_NetKAT_Tokens
  # This is needed because travis.docgen expects docs to be in _build/frenetic.docdir
  PostCommand:
    mv _build/lib/frenetic.docdir _build
    rm -f ppx/PPX_NetKAT_Parser.mly
    rm -f lib/Frenetic_NetKAT_Generated_Parser.mly
    rm -f lib/Frenetic_NetKAT_Tokens*
  Index: index.html
  XOCamlbuildPath: lib
  XOCamlbuildLibraries: frenetic