opam-version: "2.0"
maintainer: "gwenael.delaval@inria.fr"
authors: "Gwenaël Delaval"
homepage: "http://heptagon.gforge.inria.fr"
bug-reports: "https://gforge.inria.fr/tracker/?group_id=2773"
build: [
   ["./configure" "--prefix" prefix]
   [make]
]
depends: [
  "ocaml" {>= "4.03.0"}
  "ocamlfind" {build}
  "menhir" {build & >= "20141215"}
  "ocamlgraph" {build}
  "camlp4" {build}
  "ocamlbuild" {build}
]
depopts: [
  "lablgtk"
  "reatk"
]
conflicts: [
  "reatk" { <= "0.14" }
]
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://heptagon.gforge.inria.fr for further informations."""
flags: light-uninstall
extra-files: ["heptagon.install" "md5=eae4ae21fb60b00f2076c1252c1750c2"]
url {
  src:
    "https://gforge.inria.fr/frs/download.php/file/37586/heptagon-1.05.00.tar.gz"
  checksum: "md5=39a088d98f54dd35b576fa91d82048d5"
}
