Project

General

Profile

« Previous | Next » 

Revision 76aa0d9e

Added by LĂ©lio Brun over 1 year ago

include_ is now include with dune 2.9

View differences:

dune
5 5
(install
6 6
 (section
7 7
  (site
8
   (lustrec include_)))
8
   (lustrec include)))
9 9
 (files
10 10
  include/conv.c
11 11
  include/conv.lusi
dune-project
20 20
 (sites
21 21
  (lib plugins)
22 22
  (lib verifiers)
23
  (lib include_)
23
  (lib include)
24 24
  (share testgen))
25 25
 (synopsis "A Lustre compiler toolset")
26 26
 (description
lustrec.opam
13 13
homepage: "https://cavale.enseeiht.fr/redmine/projects/lustrec/"
14 14
bug-reports: "https://cavale.enseeiht.fr/redmine/projects/lustrec/issues"
15 15
depends: [
16
  "dune" {>= "2.8"}
16
  "dune" {>= "2.9"}
17 17
  "conf-gmp"
18 18
  "ocamlgraph"
19 19
  "menhir"

Also available in: Unified diff