Revision f4050bef
Added by Pierre-Loïc Garoche over 6 years ago
| src/compiler_stages.ml | ||
|---|---|---|
| 87 | 87 |
let computed_clocks_env = clock_decls clock_env prog in |
| 88 | 88 |
|
| 89 | 89 |
(* Registering and checking machine types *) |
| 90 |
Machine_types.load prog; |
|
| 90 |
if Machine_types.is_active then Machine_types.load prog;
|
|
| 91 | 91 |
|
| 92 | 92 |
|
| 93 | 93 |
(* Generating a .lusi header file only *) |
Also available in: Unified diff
Conditional activation of machine type plugin. currently a little buggy. Shall be desactivated.