this repo has no description
anil.recoil.org
1opam-version: "2.0"
2maintainer: "Jane Street developers"
3authors: ["Jane Street Group, LLC"]
4homepage: "https://github.com/janestreet/hardcaml_verilator"
5bug-reports: "https://github.com/janestreet/hardcaml_verilator/issues"
6dev-repo: "git+https://github.com/janestreet/hardcaml_verilator.git"
7doc: "https://ocaml.janestreet.com/ocaml-core/latest/doc/hardcaml_verilator/index.html"
8license: "MIT"
9build: [
10 ["dune" "build" "-p" name "-j" jobs]
11]
12depends: [
13 "ocaml" {>= "4.14.0"}
14 "core" {>= "v0.16" & < "v0.17"}
15 "core_unix" {>= "v0.16" & < "v0.17"}
16 "hardcaml" {>= "v0.16" & < "v0.17"}
17 "ppx_deriving_hardcaml" {>= "v0.16" & < "v0.17"}
18 "ppx_jane" {>= "v0.16" & < "v0.17"}
19 "ctypes" {>= "0.18.0"}
20 "ctypes-foreign"
21 "dune" {>= "2.0.0"}
22]
23synopsis: "Hardcaml Verilator Simulation Backend"
24description: "
25Very fast verilator-based simulations of Hardcaml circuits.
26
27This library transparently compiles a verilator-based shared library, and links it back
28to the running executable to be used as a Cyclesim simulation.
29"
30url {
31src: "https://ocaml.janestreet.com/ocaml-core/v0.16/files/hardcaml_verilator-v0.16.0.tar.gz"
32checksum: "sha256=c0c60e3ad9905be924fbd12d4c249a1725ba80368a38a68b3849632eafb46485"
33}