|
1
|
OASISFormat: 0.2
|
|
2
|
Name: Lustre Compiler
|
|
3
|
Version: 1.2
|
|
4
|
Synopsis: Lustre compiler C and Java backends
|
|
5
|
Authors:
|
|
6
|
License: LGPL-2.1
|
|
7
|
Plugins: DevFiles (0.2)
|
|
8
|
# , Custom (0.2)
|
|
9
|
PreBuildCommand: ./svn_version.sh $(prefix)
|
|
10
|
PostInstallCommand: cd include; for i in *.lusi; do echo Compiling $i; lustrec -verbose 0 $i; done; mkdir -p $(prefix)/include/lustrec; cp -rf * $(prefix)/include/lustrec
|
|
11
|
|
|
12
|
Executable lustrec
|
|
13
|
Path: src
|
|
14
|
BuildTools: ocamlbuild
|
|
15
|
MainIs: main_lustre_compiler.ml
|
|
16
|
BuildDepends: ocamlgraph,str,unix
|
|
17
|
CompiledObject: native
|
|
18
|
Test nonregression
|
|
19
|
Type: custom
|
|
20
|
Command: make test-compile
|
|
21
|
WorkingDirectory: test
|
|
22
|
Run: true
|