this repo has no description
anil.recoil.org
1# This file is generated by dune, edit dune-project instead
2opam-version: "2.0"
3synopsis: "Verilog parser CLI"
4maintainer: [
5 "Codinuum <codinuum@me.com>"
6 "Masatomo Hashimoto <m.hashimoto@stair.center>"
7]
8authors: [
9 "Codinuum <codinuum@me.com>"
10 "Masatomo Hashimoto <m.hashimoto@stair.center>"
11]
12license: "Apache-2.0"
13homepage: "https://github.com/codinuum/diffast"
14doc: "https://github.com/codinuum/diffast/README.md"
15bug-reports: "https://github.com/codinuum/diffast/issues"
16available: os != "win32"
17depends: [
18 "dune" {>= "3.17"}
19 "ocaml" {>= "4.14"}
20 "diffast-misc" {= version}
21 "diffast-langs-verilog-parsing" {= version}
22 "diffast-etc" {= version}
23 "odoc" {with-doc}
24]
25build: [
26 ["dune" "subst"] {dev}
27 [
28 "dune"
29 "build"
30 "-p"
31 name
32 "-j"
33 jobs
34 "--promote-install-files=false"
35 "@install"
36 "@runtest" {with-test}
37 "@doc" {with-doc}
38 ]
39 ["dune" "install" "-p" name "--create-install-files" name]
40]
41dev-repo: "git+https://github.com/codinuum/diffast.git"
42url {
43 src: "https://github.com/codinuum/diffast/archive/v0.1.1.tar.gz"
44 checksum: [
45 "sha256=2b36318d1317efb4e3ae71727934aa8883dde49ad5dd71d85df6a9b9b10bfe0a"
46 "md5=a0d35178f15cd2d2a3b907a0bbcc959c"
47 ]
48}