File: opam

package info (click to toggle)
alt-ergo 2.0.0-3
  • links: PTS, VCS
  • area: main
  • in suites: buster
  • size: 2,096 kB
  • sloc: ml: 28,606; makefile: 15; sh: 12
file content (52 lines) | stat: -rw-r--r-- 976 bytes parent folder | download | duplicates (2)
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: "1.2"
name: "alt-ergo"
version: "2.0.0"

maintainer: "alt-ergo@ocamlpro.com"
authors: "Alt-Ergo developers"
license: "OCamlPro Non-Commercial License + Apache"
homepage: "http://alt-ergo.ocamlpro.com/"
bug-reports: "https://github.com/OCamlPro/alt-ergo/issues"
dev-repo: "https://github.com/OCamlPro/alt-ergo.git"

build:
[
        ["autoconf"]
        ["./configure" "-prefix" "%{prefix}%"]
	[make]
]

install:
[
	[make "install" "MANDIR=%{man}%"]
]

remove: [
        ["autoconf"]
        ["./configure" "-prefix" "%{prefix}%"]
	[make "uninstall" "MANDIR=%{man}%"]
]

depends: [
        "num"
	"zarith"
	"camlzip"
	"ocplib-simplex" {>= "0.4" }
        "menhir"
        "conf-autoconf" {build}
]

depopts: [
        "lablgtk"
        "conf-gtksourceview"
]

available: [ ocaml-version >= "4.04.0" ]

conflicts: [
	"alt-ergo" {< "2.0.0" }
	"altgr-ergo" {< "2.0.0" }
	"satML-plugin" {< "2.0.0" }
	"profiler-plugin" {< "2.0.0" }
	"fm-simplex-plugin" {< "2.0.0" }
]