Project

General

Profile

« Previous | Next » 

Revision 2ae3ef3f

Added by Pierre-Loïc Garoche about 6 years ago

Tentative to rely on Kind parser for contracts

View differences:

src/_tags.in
1 1
# general config
2 2
true: bin_annot, color(always)
3
true: use_menhir
3 4

  
4 5
# paths to sources
5 6
"backends": include
......
15 16
"tools/stateflow/semantics": include
16 17
"tools/stateflow/models": include
17 18
"tools/stateflow/json-parser": include
19
"cocospec": include
18 20

  
19 21
# svn
20 22
<**/.svn>: -traverse
......
27 29
<**/main_lustre_testgen.native> : use_unix
28 30
<**/sf_sem.native>              : use_unix
29 31
<**/*.native>                   : package(num)
30
<**/*.ml>                       : package(logs)
31
<**/*.native>                   : package(logs)
32
#<**/*.ml>                       : package(logs)
33
#<**/*.native>                   : package(logs)
32 34
<**/json_parser.ml>             : package(yojson)
33 35
<**/main_parse_json_file.*>     : package(cmdliner)
34 36
<**/main_parse_json_file.*>     : package(fmt.tty)

Also available in: Unified diff