-
Notifications
You must be signed in to change notification settings - Fork 1.1k
/
opam
47 lines (47 loc) · 1.42 KB
/
opam
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
opam-version: "2.0"
maintainer: "erwan.jahier@imag.fr"
bug-reports: "erwan.jahier@imag.fr"
authors: [ "Erwan Jahier" ]
license: "GPL-3.0-only"
homepage: "http://rdbg.forge.imag.fr/"
dev-repo: "git+https://forge.imag.fr/anonscm/git/rdbg/rdbg.git"
build: [
["oasis" "setup"]
["ocaml" "setup.ml" "-configure" "--prefix" prefix]
["ocaml" "setup.ml" "-build"]
["ocaml" "setup.ml" "-doc"] {with-doc}
]
install: ["ocaml" "setup.ml" "-install"]
remove: [
["ocamlfind" "remove" "rdbg-plugin"]
]
depends: [
"ocaml" {>= "4.01" & < "4.05"}
"base-unix"
"camlp4"
"oasis" {>= "0.4"} | "oasis-mirage" {>= "0.4"}
"ocamlfind"
"ocamlbuild" {build}
"num"
]
synopsis: "RDBG: a reactive programs debugger."
description: """
The library rdbg-plugin contains all the necessary ocaml modules
needed to add a rdbg plugin. Such a plugin allows ocaml-interpreted
languages to be executed (à la Lurette) or/and debugged (with rdbg)."""
flags: light-uninstall
url {
src: "http://www-verimag.imag.fr/DIST-TOOLS/SYNCHRONE/rdbg/rdbg.tgz"
checksum: [
"sha256=6526c3dcb18d910b212fb0cc9a68de95b96af15b9832c7e0116cc9b4c943f456"
"md5=751ad98f972e7b1d17a53eab6ab87ce1"
]
}
extra-source "rdbg.install" {
src:
"https://raw.githubusercontent.com/ocaml/opam-source-archives/main/patches/rdbg/rdbg.install.1.0"
checksum: [
"sha256=4261f0f0682174b83a29859ca0cb033388959b6112131b19b63c2dfb897fa65f"
"md5=b898a625701fcf5675abf824487a2102"
]
}