_oasis

OASISFormat:      0.4
OCamlVersion:     >= 4.00.1
FindlibVersion:   >= 1.3.2
Name:             picosat
Version:          0.1
Synopsis:         bindings to the PicoSAT library
Authors:          Pavel Zaichenkov <zaichenkov@gmail.com>
License:          MIT
LicenseFile:      LICENSE.txt
Homepage:         https://github.com/zayac/ocaml-picosat
Plugins:          META (0.4), StdFiles (0.4), DevFiles (0.4)
XStdFilesAUTHORS: false
XStdFilesREADME:  false
BuildTools:       ocamlbuild
Description:
  The package provides OCaml bindings to the industrial-strength PicoSAT SAT
  solver.

Library picologic
  Path:         lib
  BuildDepends: ctypes, ctypes.foreign, threads
  BuildTools:   ocamlbuild
  Modules:      Picosat, Logic
  DllLib:       -lpicosat
  if system(linux)
    CCLib:      -Xlinker --no-as-needed -lpicosat
  else
    CCLib:      -lpicosat

Document "api"
  Title:              OCaml API for PicoSAT
  InstallDir:         $htmldir/api
  Type:               ocamlbuild (0.3)
  BuildTools:         ocamlbuild, ocamldoc
  XOCamlbuildPath:    lib
  XOcamlbuildModules: Picosat, Logic

Executable test_solver
  Path:           lib_test
  MainIs:         test_solver.ml
  BuildDepends:   picologic
  CompiledObject: best
  BuildTools:     ocamlbuild
  Install:        false

Executable test_logic
  Path:           lib_test
  MainIs:        test_logic.ml
  BuildDepends:   picologic
  CompiledObject: best
  BuildTools:     ocamlbuild
  Install:        false