opam-version: "2.0"
maintainer: "Jane Street developers"
authors: ["Jane Street Group, LLC"]
homepage: "https://github.com/janestreet/hardcaml_verilator"
bug-reports: "https://github.com/janestreet/hardcaml_verilator/issues"
dev-repo: "git+https://github.com/janestreet/hardcaml_verilator.git"
doc: "https://ocaml.janestreet.com/ocaml-core/latest/doc/hardcaml_verilator/index.html"
license: "MIT"
build: [
  ["dune" "build" "-p" name "-j" jobs]
]
depends: [
  "ocaml"          {>= "5.1.0"}
  "core"           {>= "v0.17" & < "v0.18"}
  "core_unix"      {>= "v0.17" & < "v0.18"}
  "hardcaml"       {>= "v0.17" & < "v0.18"}
  "ppx_hardcaml"   {>= "v0.17" & < "v0.18"}
  "ppx_jane"       {>= "v0.17" & < "v0.18"}
  "ctypes"         {>= "0.18.0"}
  "ctypes-foreign"
  "dune"           {>= "3.11.0"}
]
available: arch != "arm32" & arch != "x86_32"
synopsis: "Hardcaml Verilator Simulation Backend"
description: "
Very fast verilator-based simulations of Hardcaml circuits.

This library transparently compiles a verilator-based shared library, and links it back
to the running executable to be used as a Cyclesim simulation.
"
url {
src: "https://github.com/janestreet/hardcaml_verilator/archive/refs/tags/v0.17.0.tar.gz"
checksum: "sha256=76f944f35c445eeb3028ff9e73dcdf1778937078ad655c1e949278d23d888251"
}