Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec / _oasis @ c02d255e

History | View | Annotate | Download (581 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 
10
PostInstallCommand: mkdir -p $(prefix)/include; 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