this repo has no description
Merge pull request #27530 from codinuum/diffast-20250303
[new release] diffast 0.1.1 (part 6)
authored by
Shon Feder
and committed by
GitHub
779cb138
deefef75
+71
+71
packages/diffast/diffast.0.1.1/opam
+71
packages/diffast/diffast.0.1.1/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" {= version}
22
+
"diffast-core" {= version}
23
+
"diffast-etc" {= version}
24
+
"diffast-api" {= version}
25
+
"diffast-cli" {= version}
26
+
"diffast-langs-common" {= version}
27
+
"odoc" {with-doc}
28
+
]
29
+
depopts: [
30
+
"diffast-git" {= version}
31
+
"diffast-git-cli" {= version}
32
+
"diffast-langs-cpp-parsing" {= version}
33
+
"diffast-langs-cpp-spec" {= version}
34
+
"diffast-langs-cpp" {= version}
35
+
"diffast-langs-fortran-parsing" {= version}
36
+
"diffast-langs-fortran-spec" {= version}
37
+
"diffast-langs-fortran" {= version}
38
+
"diffast-langs-java-parsing" {= version}
39
+
"diffast-langs-java-spec" {= version}
40
+
"diffast-langs-java" {= version}
41
+
"diffast-langs-python-parsing" {= version}
42
+
"diffast-langs-python-spec" {= version}
43
+
"diffast-langs-python" {= version}
44
+
"diffast-langs-verilog-parsing" {= version}
45
+
"diffast-langs-verilog-spec" {= version}
46
+
"diffast-langs-verilog" {= version}
47
+
]
48
+
build: [
49
+
["dune" "subst"] {dev}
50
+
[
51
+
"dune"
52
+
"build"
53
+
"-p"
54
+
name
55
+
"-j"
56
+
jobs
57
+
"--promote-install-files=false"
58
+
"@install"
59
+
"@runtest" {with-test}
60
+
"@doc" {with-doc}
61
+
]
62
+
["dune" "install" "-p" name "--create-install-files" name]
63
+
]
64
+
dev-repo: "git+https://github.com/codinuum/diffast.git"
65
+
url {
66
+
src: "https://github.com/codinuum/diffast/archive/v0.1.1.tar.gz"
67
+
checksum: [
68
+
"sha256=2b36318d1317efb4e3ae71727934aa8883dde49ad5dd71d85df6a9b9b10bfe0a"
69
+
"md5=a0d35178f15cd2d2a3b907a0bbcc959c"
70
+
]
71
+
}