_oasis

Name: L2
Version: 0.2.0
Synopsis: Program synthesis from examples.
Authors: Jack Feser <jack.feser@gmail.com>
License: GPL-3
LicenseFile: LICENSE

Description: A tool for synthesizing functional programs from input-output examples.
Homepage: http://sisyphus.cs.rice.edu/pliny-web/lambda2/

OCamlVersion: >= 4.01
OASISFormat: 0.4
BuildTools: ocamlbuild
AlphaFeatures: ocamlbuild_more_args
XOCamlbuildPluginTags: package(ppx_driver.ocamlbuild)
Plugins: META (0.4), DevFiles (0.4)

Executable l2
  Path: src/l2
  MainIs: l2.ml
  CompiledObject: native
  BuildTools:
    menhir,
    ocamllex
  BuildDepends:
    core,
    core_extended,
    yojson,
    hashcons
  ByteOpt: -thread -custom -cclib -lz3
  NativeOpt: -thread -g

Document l2_docs
  BuildTools: ocamldoc
  Type: ocamlbuild (0.4)
  Title: API Reference for L2
  XOcamlBuildPath: src/l2
  XOcamlBuildModules: Automaton, Collections, Combinat, Component, Eval, Example, Example_deduction, ExprValue, Higher_order_deduction, Hypothesis, Infer, L2, Precondition, Random_deduction, Recursive_spec_deduction, Smt_deduction, Sstream, Structure
  PostCommand: ln -sf _build/src/l2/l2_docs.docdir doc

Library timeout_lib
  FindlibName: timeout
  Path: src/timeout
  BuildDepends:
    core,
    core_extended
  Modules: Limited_process, Process_info

Library timeout_lib_osx
  Build$: system(macosx)
  Path: src/timeout
  BuildDepends:
    timeout,
    core,
    ctypes,
    ctypes.foreign
  FindlibParent: timeout_lib
  FindlibName: osx
  Modules: Process_info_osx

Library timeout_lib_linux
  Build$: system(linux)
  Path: src/timeout
  BuildDepends:
    timeout,
    core,
    core_extended
  FindlibParent: timeout_lib
  FindlibName: linux
  Modules: Process_info_linux

Executable timeout_osx
  Build$: system(macosx)
  Path: src/timeout
  MainIs: timeout_osx.ml
  CompiledObject: best
  BuildDepends:
    core,
    yojson,
    timeout.osx
  CCLib: -lproc
  ByteOpt: -thread
  NativeOpt: -thread

Executable timeout_linux
  Build$: system(linux)
  Path: src/timeout
  MainIs: timeout_linux.ml
  CompiledObject: best
  BuildDepends:
    core,
    yojson,
    timeout.linux
  ByteOpt: -thread
  NativeOpt: -thread

Executable test_l2
  Path: src/l2
  MainIs: tests.ml
  CompiledObject: native
  Install: false
  ByteOpt: -thread
  NativeOpt: -thread
  BuildDepends:
    oUnit,
    core,
    core_extended,
    yojson,
    hashcons

Test test_l2
  Command: $test_l2