|
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
|
|
10
|
PostInstallCommand: mkdir -p /usr/local/include/lustrec; cp include/* /usr/local/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
|
|
23
|
Executable lustrem
|
|
24
|
Path: src
|
|
25
|
BuildTools: ocamlbuild
|
|
26
|
MainIs: main_lustre_mutator.ml
|
|
27
|
BuildDepends: ocamlgraph,str,unix
|
|
28
|
CompiledObject: native
|