Revision f0195e96
Added by Pierre-Loïc Garoche over 3 years ago
| src/main_lustre_compiler.ml | ||
|---|---|---|
| 52 | 52 |
if !Options.mpfr && |
| 53 | 53 |
extension = ".lus" (* trying to avoid the injection of the module for lusi files *) |
| 54 | 54 |
then |
| 55 |
Mpfr.mpfr_module::prog
|
|
| 55 |
Lustrec_mpfr.mpfr_module::prog
|
|
| 56 | 56 |
else |
| 57 | 57 |
prog |
| 58 | 58 |
in |
Also available in: Unified diff
- Primitive Tiny backend
- Renamed Mpfr to lustrec_mpfr
- Introduced dependency in Zarith. Trying to move away from Num