opam 810 Bytes
Newer Older
Benoit Viguier's avatar
Benoit Viguier committed
1
2
3
4
5
opam-version: "2.0"
maintainer: "Matej Kosik <matej.kosik@inria.fr>"
homepage: "http://compcert.inria.fr/"
license: "INRIA Non-Commercial License Agreement"
build: [
benoit's avatar
benoit committed
6
  ["./configure" "ia32-linux" {os = "linux"}
Benoit Viguier's avatar
Benoit Viguier committed
7
8
9
10
11
12
    "ia32-macosx" {os = "darwin"}
    "ia32-cygwin" {os = "cygwin"}
    "-bindir" "%{bin}%"
    "-libdir" "%{lib}%/coq/user-contrib/compcert"
    "-clightgen"
    "-ignore-coq-version"]
benoit's avatar
benoit committed
13
  [make "-j%{jobs}%"]
Benoit Viguier's avatar
Benoit Viguier committed
14
15
]
install: [
benoit's avatar
benoit committed
16
  [make "install"]
Benoit Viguier's avatar
Benoit Viguier committed
17
18
]
remove: [
benoit's avatar
benoit committed
19
20
21
22
  ["rm" "%{bin}%/ccomp"]
  ["rm" "%{bin}%/clightgen"]
  ["rm" "%{share}%/compcert.ini"]
  ["rm" "-R" "%{lib}%/coq/user-contrib/compcert"]
Benoit Viguier's avatar
Benoit Viguier committed
23
24
]
url {
benoit's avatar
benoit committed
25
  src: "."
Benoit Viguier's avatar
Benoit Viguier committed
26
}
benoit's avatar
benoit committed
27
28
29
30
31
32
33
34
synopsis: ""
description: "The CompCert C compiler."
authors: "Xavier Leroy <xavier.leroy@inria.fr>"
depends: [
  "coq" {>= "8.7.0" & < "8.9"}
  "menhir" {>= "20160303" & < "20180530"}
]