this repo has no description
Merge pull request #27323 from garrigue/lablt-8.06.15
LablTk 8.06.15 and OCamlBrowser 5.3.0
authored by
Shon Feder
and committed by
GitHub
705d7d41
aca0f9d5
+71
+37
packages/labltk/labltk.8.06.15/opam
+37
packages/labltk/labltk.8.06.15/opam
···
1
+
opam-version: "2.0"
2
+
maintainer: "garrigue@math.nagoya-u.ac.jp"
3
+
authors: ["Jacques Garrigue et al., Nagoya University"]
4
+
homepage: "https://garrigue.github.io/labltk/"
5
+
bug-reports: "https://github.com/garrigue/labltk/issues"
6
+
dev-repo: "git+https://github.com/garrigue/labltk.git"
7
+
license: "LGPL-2.1-or-later WITH OCaml-LGPL-linking-exception"
8
+
build: [
9
+
["./configure" "-use-findlib" "-verbose" "-installbindir" bin]
10
+
[
11
+
make
12
+
"library"
13
+
"opt" {!ocaml-option-bytecode-only:installed}
14
+
]
15
+
]
16
+
install: [
17
+
[make "install"]
18
+
]
19
+
depends: [
20
+
"ocaml" {>= "4.08"}
21
+
"ocamlfind" {build}
22
+
"conf-tcl"
23
+
"conf-tk"
24
+
]
25
+
post-messages: [
26
+
"This package requires Tcl/Tk with its development packages installed on your system" {failure}
27
+
]
28
+
synopsis: "OCaml interface to Tcl/Tk"
29
+
description: "ocamlbrowser is now a separate package.\n\
30
+
For details, see https://garrigue.github.io/labltk/"
31
+
url {
32
+
src: "https://github.com/garrigue/labltk/archive/refs/tags/8.06.15.tar.gz"
33
+
checksum: [
34
+
"sha256=fe0e11bacdb537ce9027aec072262405f01fe4017d19213d5a82ef053e50594d"
35
+
"md5=c5f70ac8a2d36e083a51603f8d3a0901"
36
+
]
37
+
}
+34
packages/ocamlbrowser/ocamlbrowser.5.3.0/opam
+34
packages/ocamlbrowser/ocamlbrowser.5.3.0/opam
···
1
+
opam-version: "2.0"
2
+
maintainer: "garrigue@math.nagoya-u.ac.jp"
3
+
authors: ["Jacques Garrigue et al., Nagoya University"]
4
+
homepage: "https://garrigue.github.io/labltk/"
5
+
bug-reports: "https://github.com/garrigue/labltk/issues"
6
+
dev-repo: "git+https://github.com/garrigue/labltk.git"
7
+
license: "LGPL-2.1-or-later WITH OCaml-LGPL-linking-exception"
8
+
build: [
9
+
["./configure" "-use-findlib" "-installbindir" bin]
10
+
[make "all"]
11
+
]
12
+
install: [
13
+
[make "install-browser"]
14
+
]
15
+
depends: [
16
+
"ocaml" {>= "5.3" & < "5.4"}
17
+
"labltk" {>= "8.06.15"}
18
+
"ocamlfind" {build}
19
+
"conf-tcl"
20
+
"conf-tk"
21
+
]
22
+
post-messages: [
23
+
"This package requires Tcl/Tk with its development packages installed on your system" {failure}
24
+
]
25
+
synopsis: "OCamlBrowser Library Explorer"
26
+
description: "Requires LablTk. For details, see https://garrigue.github.io/labltk/"
27
+
url {
28
+
src: "https://github.com/garrigue/labltk/archive/refs/tags/8.06.15.tar.gz"
29
+
checksum: [
30
+
"sha256=fe0e11bacdb537ce9027aec072262405f01fe4017d19213d5a82ef053e50594d"
31
+
"md5=c5f70ac8a2d36e083a51603f8d3a0901"
32
+
]
33
+
}
34
+