-
Notifications
You must be signed in to change notification settings - Fork 76
/
jst.dune
122 lines (107 loc) · 3.68 KB
/
jst.dune
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
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
(copy_files# asmcomp/*.ml{,i})
(copy_files# middle_end/*.ml{,i})
(copy_files# middle_end/closure/*.ml{,i})
(copy_files# middle_end/flambda/*.ml{,i})
(copy_files# middle_end/flambda/base_types/*.ml{,i})
;
; (library
; (name ocamlmiddleend)
; (wrapped false)
; (libraries ocamlcommon)
; (modules_without_implementation
; cmx_format cmxs_format backend_intf inlining_decision_intf
; simplify_boxed_integer_ops_intf)
; (modules
; )
; )
;
(library
(name ocamloptcomp)
(wrapped false)
(libraries ocamlcommon)
(modules_without_implementation x86_ast emitenv
cmx_format cmxs_format backend_intf inlining_decision_intf
simplify_boxed_integer_ops_intf branch_relaxation_intf)
(modules
;; asmcomp/
afl_instrument arch asmgen asmlibrarian asmlink asmpackager branch_relaxation
branch_relaxation_intf cmm_helpers cmm cmmgen cmmgen_state coloring comballoc
cmm_invariants
CSE CSEgen
dataflow deadcode emit emitaux emitenv interf interval linear linearize linscan
liveness mach polling printcmm printlinear printmach proc reg reload reloadgen
schedgen scheduling selectgen selection spill split
strmatch x86_ast x86_dsl x86_gas x86_masm x86_proc
;; driver/
optcompile opterrors optmaindriver
;; file_formats/
linear_format
;; from ocamlmiddleend
;; file_formats/
cmx_format cmxs_format
;; middle_end/
backend_intf backend_var clambda clambda_primitives
compilenv convert_primitives internal_variable_names
printclambda printclambda_primitives semantics_of_primitives
symbol_utils variable
;; middle_end/closure/
closure closure_middle_end
;; middle_end/flambda/base_types/
closure_element closure_id closure_origin export_id id_types mutable_variable
set_of_closures_id set_of_closures_origin static_exception tag
var_within_closure
;; middle_end/flambda/
alias_analysis allocated_const augment_specialised_args build_export_info
closure_conversion closure_conversion_aux closure_offsets effect_analysis
export_info extract_projections find_recursive_functions
flambda flambda_invariants flambda_iterators flambda_middle_end
flambda_to_clambda flambda_utils freshening import_approx inconstant_idents
initialize_symbol_to_let_symbol inline_and_simplify inline_and_simplify_aux
inlining_cost inlining_decision inlining_decision_intf inlining_stats
inlining_stats_types inlining_transforms invariant_params lift_code
lift_constants lift_let_to_initialize_symbol parameter pass_wrapper
projection ref_to_variables remove_free_vars_equal_to_args
remove_unused_arguments remove_unused_closure_vars
remove_unused_program_constructs share_constants simple_value_approx
simplify_boxed_integer_ops simplify_boxed_integer_ops_intf simplify_common
simplify_primitives traverse_for_exported_symbols un_anf unbox_closures
unbox_free_vars_of_closures unbox_specialised_args
)
)
(executable
(name optmain_native)
(modes byte native)
(flags (
:standard
-strict-sequence -absname -w +67
-bin-annot -safe-string -strict-formats
))
(libraries ocamloptcomp ocamlcommon)
(modules optmain_native))
(install
(files
(optmain_native.bc as ocamlopt.byte)
(optmain_native.exe as ocamlopt.opt))
(section bin)
(package ocaml))
(install
(files
(ocamloptcomp.a as compiler-libs/ocamloptcomp.a)
(ocamloptcomp.cmxa as compiler-libs/ocamloptcomp.cmxa)
(ocamloptcomp.cma as compiler-libs/ocamloptcomp.cma))
(section lib)
(package ocaml))
(install
(files
(tools/objinfo.bc as ocamlobjinfo.byte)
(tools/objinfo.exe as ocamlobjinfo.opt)
)
(section bin)
(package ocaml))
(install
(files
(tools/dumpobj.bc as dumpobj.byte)
(tools/dumpobj.exe as dumpobj.opt)
)
(section bin)
(package ocaml))