-
Notifications
You must be signed in to change notification settings - Fork 1.1k
/
opam
43 lines (42 loc) · 1.33 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
opam-version: "2.0"
maintainer: "gwenael.delaval@inria.fr"
authors: "Gwenaël Delaval"
homepage: "http://bzr.inria.fr"
dev-repo: "git+ssh://scm.gforge.inria.fr//gitroot/heptagon/heptagon.git"
build: [
["./configure" "--prefix" prefix]
[make]
]
depends: [
"ocaml" {< "4.06.0"}
"ocamlfind" {build}
"menhir" {build & >= "20141215"}
"ocamlgraph" {build}
"camlp4" {build}
"ocamlbuild" {build}
]
depopts: [
"lablgtk"
"reatk"
]
conflicts: [
"reatk" { >= "0.10.1" }
]
synopsis: "Compiler for the Heptagon/BZR synchronous programming language"
description: """
Heptagon/BZR is a synchronous dataflow language whose syntax and
semantics is inspired from Lustre, with a syntax allowing the
expression of control structures (e.g., switch or mode automata).
Heptagon/BZR is a research compiler, whose aim is to facilitate
experimentation. The current version of the compiler includes the
following features:
- Inclusion of discrete controller synthesis within the compilation
- Expression and compilation of array values with modular memory optimization
See http://bzr.inria.fr for further informations."""
flags: light-uninstall
extra-files: ["heptagon.install" "md5=eae4ae21fb60b00f2076c1252c1750c2"]
url {
src:
"https://github.com/ocaml/opam-source-archives/raw/main/heptagon-1.03.00.tar.gz"
checksum: "md5=84c930f50e1c758e9a58b642de76745c"
}