this repo has no description
Merge pull request #27703 from codinuum/diffast-20250403a
[new release] diffast 0.2 (part 7)
authored by
Marcello Seri
and committed by
GitHub
02011516
07a22d15
+69
+69
packages/diffast/diffast.0.2/opam
+69
packages/diffast/diffast.0.2/opam
···
1
+
# This file is generated by dune, edit dune-project instead
2
+
opam-version: "2.0"
3
+
synopsis: "Diff/AST: A fine-grained source code differencing tool"
4
+
description:
5
+
"Diff/AST is a fine-grained source code differencing tool based on an algorithm for computing tree edit distance (TED) between two ordered labeled trees."
6
+
maintainer: [
7
+
"Codinuum <codinuum@me.com>"
8
+
"Masatomo Hashimoto <m.hashimoto@stair.center>"
9
+
]
10
+
authors: [
11
+
"Codinuum <codinuum@me.com>"
12
+
"Masatomo Hashimoto <m.hashimoto@stair.center>"
13
+
]
14
+
license: "Apache-2.0"
15
+
homepage: "https://github.com/codinuum/diffast"
16
+
doc: "https://github.com/codinuum/diffast/README.md"
17
+
bug-reports: "https://github.com/codinuum/diffast/issues"
18
+
depends: [
19
+
"dune" {>= "3.17"}
20
+
"ocaml" {>= "4.14"}
21
+
"diffast-misc"
22
+
"diffast-core" {= version}
23
+
"diffast-etc"
24
+
"diffast-api" {= version}
25
+
"diffast-cli" {= version}
26
+
"diffast-git" {= version}
27
+
"diffast-git-cli" {= version}
28
+
"diffast-langs-common" {= version}
29
+
"diffast-langs-cpp-parsing" {= version}
30
+
"diffast-langs-cpp-spec" {= version}
31
+
"diffast-langs-cpp" {= version}
32
+
"diffast-langs-fortran-parsing" {= version}
33
+
"diffast-langs-fortran-spec" {= version}
34
+
"diffast-langs-fortran" {= version}
35
+
"diffast-langs-java-parsing" {= version}
36
+
"diffast-langs-java-spec" {= version}
37
+
"diffast-langs-java" {= version}
38
+
"diffast-langs-python-parsing" {= version}
39
+
"diffast-langs-python-spec" {= version}
40
+
"diffast-langs-python" {= version}
41
+
"diffast-langs-verilog-parsing" {= version}
42
+
"diffast-langs-verilog-spec" {= version}
43
+
"diffast-langs-verilog" {= version}
44
+
"odoc" {with-doc}
45
+
]
46
+
build: [
47
+
["dune" "subst"] {dev}
48
+
[
49
+
"dune"
50
+
"build"
51
+
"-p"
52
+
name
53
+
"-j"
54
+
jobs
55
+
"--promote-install-files=false"
56
+
"@install"
57
+
"@runtest" {with-test}
58
+
"@doc" {with-doc}
59
+
]
60
+
["dune" "install" "-p" name "--create-install-files" name]
61
+
]
62
+
dev-repo: "git+https://github.com/codinuum/diffast.git"
63
+
url {
64
+
src: "https://github.com/codinuum/diffast/archive/v0.2.tar.gz"
65
+
checksum: [
66
+
"sha256=b5bc3e9ed7c92912e06be663c904b6d8c7d277828b6442e43d57c64414d9c5ab"
67
+
"md5=7404586197ede6a4f0a0d00a69069b37"
68
+
]
69
+
}