opam-version: "2.0"
name: "cwe_checker_core"
version: "0.3"
synopsis: "Core library for the cwe_checker package"
description: """
Core library for the cwe_checker suite of tools.
"""
maintainer: "CWE_checker Team <nils-edvin.enkelmann@fkie.fraunhofer.de>"
authors: [ "Thomas Barabosch <thomas.barabosch@fkie.fraunhofer.de>" "Nils-Edvin Enkelmann <nils-edvin.enkelmann@fkie.fraunhofer.de>" ]
license: "LGPL-3.0"
homepage: "https://github.com/fkie-cad/cwe_checker"
bug-reports: "https://github.com/fkie-cad/cwe_checker/issues"
dev-repo: "git+https://github.com/fkie-cad/cwe_checker"
depends: [
  "ocaml" {>= "4.07.1"}
  "dune" {>= "1.6"}
  "yojson" {>= "1.6.0"}
  "bap" {>= "2.0"}
  "core_kernel" {>= "v0.11" & < "v0.12"}
  "ppx_jane" {>= "v0.11" & < "v0.12"}
  "ppx_deriving_yojson" {>= "3.5.1"}
  "odoc" {>= "1.4"}
]
depexts: [
  "binutils"
]
conflicts: [
  "fkie-cad-cwe-checker" {!= "0.2"}
]
build: [
  [ "dune" "build" "--profile" "release" ]
]
install: [
  [ "dune" "install" ]
]