forked from OCamlPro/socaml-analyzer
/
analysis.ocp
54 lines (47 loc) · 1.49 KB
/
analysis.ocp
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
comp += [ "-g" "-w" "+A-27-4-42"]
link += [ "-g" ]
begin library "common"
dirname = "src/common"
files = [ "utils.ml" "common_types.ml" ]
requires = [ "compiler-libs" "compiler-libs.common" ]
end
begin library "lambda"
dirname = "src/lambda"
files = [ "cmt_specifics.ml" "mk_lambda.ml" ]
requires = [ "compiler-libs" "compiler-libs.common" "compiler-libs.optcomp" "common" ]
end
begin library "tlambda"
dirname = "src/tlambda"
files = [ "tlambda.mli" "print_tlambda.ml" "tlambda_interpret.ml" "mk_tlambda.ml" ]
requires = [ "common" "compiler-libs" "compiler-libs.common" ]
end
begin library "data"
dirname = "src/data"
files =
[
"locations.ml"
"int_interv.ml" "constants.ml"
"data.ml" "envs.ml" "access.ml" "manipulation.ml" "ifcond.ml"
"int.ml" "otherints.ml" "blocks.ml" "cps.ml" "bools.ml"
"strings.ml" "arrays.ml" "floats.ml" "funs.ml" "exprs.ml"
"print_data.ml"
]
requires = [ "common" "compiler-libs" "compiler-libs.common"]
end
begin library "hgraph"
dirname = "src/hgraph"
files = [ "hgraph_types.mli" "hgraph.ml"
"stack_types.mli" "abstract_stack.ml"
"fixpoint_types.mli" "fixpoint.ml"
"export.ml" ]
end
begin library "lambda-analysis"
dirname = "src/analysis"
files = [ "tlambda_to_hgraph.ml" "def_c_fun.ml" "tlambda_analysis.ml" "print_hgraph.ml"]
requires = [ "common" "tlambda" "hgraph" "data" ]
end
begin library "api"
dirname = "src/api"
files = [ "cdef.ml" ]
requires = [ "data" "lambda-analysis" (* temporary *) ]
end