| 1 |
0cbf0839
|
ploc
|
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
|