Project

General

Profile

Revision fb716d2c

View differences:

Makefile.in
55 55
	@echo "Source distribution built: ../$(DIST_ARCHIVE_NAME)"
56 56

  
57 57
dist-clean: dist-src-clean
58
	@rm -f configure Makefile
58
	@rm -f configure Makefile opam share/FindLustre.cmake
59 59

  
60 60
%.lusic: %.lusi
61 61
	@echo Compiling $<
configure.ac
1 1
define([gitversion], esyscmd([sh -c "git log --oneline | wc -l | tr -d ' \n'"]))
2

  
2 3
AC_INIT([lustrec], 1.6-gitversion, [ploc@garoche.net])
4
AC_SUBST(VERSION_NUMBER, 1.6)
3 5
AC_SUBST(VERSION_CODENAME, "Xia/Zhu-dev")
4 6

  
7

  
5 8
gitbranch=`git branch | grep \* | sed "s/\*[ ]*//"`
6 9
#define([gitbranch], esyscmd([sh -c "git branch | grep \* | cut -d ' ' -f2"]))
7 10

  
......
158 161
AC_DEFINE_DIR([abs_datadir], [datadir])
159 162

  
160 163
# Instanciation
161
AC_CONFIG_FILES([Makefile
164
AC_CONFIG_FILES([opam
165
		 Makefile
162 166
		 src/Makefile
163 167
		 src/version.ml
164 168
		 src/pluginList.ml
opam.in
1
opam-version: "2.0"
2
name: "lustrec"
3
version: "@VERSION_NUMBER@"
4
maintainer: "Pierre-Loic Garoche <ploc@garoche.net>"
5
authors: ["Pierre-Loic Garoche <ploc@garoche.net>" "Xavier Thirioux <thirioux@enseeiht.fr>"]
6
homepage: "https://cavale.enseeiht.fr/redmine/projects/lustrec/"
7
bug-reports: "https://cavale.enseeiht.fr/redmine/projects/lustrec/issues"
8
license: "LGPL"
9
dev-repo: "git+https://cavale.enseeiht.fr/git/lustrec#unstable"
10
build: [
11
  ["autoconf"]
12
  ["./configure" "--prefix=%{prefix}%"]
13
  [make]
14
]
15
install: [make "install"]
16
remove: [make "uninstall"]
17
depends: [
18
  "ocamlfind"
19
  "yojson"
20
  "cmdliner"
21
  "fmt"
22
  "ppx_deriving_yojson"
23
  "ppx_traverse_builtins"
24
  "ppxlib"
25
  "menhir"
26
  "ocamlgraph"
27
  "logs"
28
  "z3"
29
  "num"
30
]
31
synopsis: "A Lustre compiler toolset"
32
description: """
33
lustrec is structured around the modular compilation scheme proposed
34
by Biernacki, Colaço, Hamon, and Pouzet at LCTES'08.  It is an open
35
source lustre compiler that provides verification capabilities.
36
It is currently mainly used through the CocoSim platform, a Matlab
37
toolbox to perform V&V of Simulink models. Within CocoSim, the Lustre
38
language is used as an intermediate representation and relies mainly
39
on lustrec to produce code or verification artifacts.
40
"""
41
url {
42
  src: "https://cavale.enseeiht.fr/redmine/attachments/download/114/lustrec-1.5-Xia-Shao-Kang-src.tgz"
43
  checksum: "md5=f06e87d5fbb24c91894bdc55bf6cc496"
44
}

Also available in: Unified diff