opam-version: "2.0" maintainer: "Ivan Gotovchits " authors: "BAP Team" homepage: "https://github.com/BinaryAnalysisPlatform/bap/" bug-reports: "https://github.com/BinaryAnalysisPlatform/bap/issues" dev-repo: "git+https://github.com/BinaryAnalysisPlatform/bap/" license: "MIT" build: [ ["./configure" "--prefix=%{prefix}%" "--mandir=%{man}%" "--enable-regular"] [make] ] install: [ [make "install"] ] remove: [ ["ocamlfind" "remove" "regular"] ] depends: [ "ocaml" {>= "4.08.0" } "core_kernel" {>= "v0.14" & < "v0.15"} "oasis" {build & >= "0.4.7"} "ppx_bap" {>= "v0.14" & < "v0.15"} ] synopsis: "Library for regular data types" description: """ Provides functors and typeclasses implementing functionality expected for a regular data type, like i/o, containers, printing, etc. In particular, the library includes: - module Data that adds generic i/o routines for each regular data type. - module Cache that adds caching service for data types - module Regular that glues everything together - module Opaque for regular but opaque data types - module Seq that extends Core_kernel's sequence module - module Bytes that provides a rich core-like interface for Bytes data type.""" flags: light-uninstall url { src: "https://github.com/BinaryAnalysisPlatform/bap/archive/v2.4.0.tar.gz" checksum: [ "sha256=63ada71fa4f602bd679174dc6bf780d54aeded40ad4ec20d256df15886e3d2d5" "md5=b8b1aff8c6846f2213eafc54de07b304" ] mirrors: "https://mirrors.aegis.cylab.cmu.edu/bap/2.4.0/v2.4.0.tar.gz" }