lustrec / _oasis @ c00d0b42
History | View | Annotate | Download (600 Bytes)
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: mkdir -p $(prefix)/include/lustrec; cp -rf include/* $(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 |