-
Notifications
You must be signed in to change notification settings - Fork 1.1k
/
opam
52 lines (48 loc) · 1.35 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
48
49
50
51
52
opam-version: "2.0"
maintainer: "alt-ergo@ocamlpro.com"
authors: "Alt-Ergo developers"
license: "CeCILL-C"
homepage: "http://alt-ergo.ocamlpro.com/"
bug-reports: "https://github.com/OCamlPro/alt-ergo/issues"
build:
[
["./configure" "-prefix" "%{prefix}%"]
[make "gui"]
]
install:
[
[make "install-gui" "MANDIR=%{man}%"]
]
remove:
[
["rm" "%{prefix}%/bin/altgr-ergo"]
["rm" "%{share}%/alt-ergo/gtksourceview-2.0/language-specs/alt-ergo.lang"]
]
depends: [
"ocaml"
"zarith"
"ocamlgraph" {>= "1.8.2"}
"lablgtk"
"conf-gtksourceview" {= "2"}
"num"
]
messages: [ "This release is too old. Please consider using version 1.30 that fixes many soundness bugs and brings a lot of improvements" ]
synopsis:
"Automatic theorem prover based on SMT technology and dedicated to program verification: Graphical interface"
flags: light-uninstall
url {
src:
"http://alt-ergo.ocamlpro.com/http/alt-ergo-0.95.2/alt-ergo-0.95.2.tar.gz"
checksum: [
"sha256=5a6cd4349c144653be19a1ba4c254bbf626bdfd97c54d1c13ba63e396006eeac"
"md5=ab9c160f7ecb26aa2479f9169db9b869"
]
}
extra-source "altgr-ergo.install" {
src:
"https://raw.githubusercontent.com/ocaml/opam-source-archives/main/patches/altgr-ergo/altgr-ergo.install.0.95.2"
checksum: [
"sha256=44f779811162decf1e593cb53d5c97e93445818d0c5fd4859352d8a20521eb95"
"md5=c59c2adf7b617042496fe7025fdc6e2e"
]
}