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 |