diff options
author | Vincent Laviron <vincent.laviron@gmail.com> | 2017-10-04 18:31:27 +0200 |
---|---|---|
committer | Vincent Laviron <vincent.laviron@gmail.com> | 2021-04-19 10:43:06 +0200 |
commit | 9b2c6345137fd8043f34390ca8133356fa509edc (patch) | |
tree | 16e4628f4376a48deffa2fb48a2a8ae3b780d326 /compilerlibs | |
parent | d12738a234913f89a2a850186d4135b6651d0db1 (diff) | |
download | ocaml-9b2c6345137fd8043f34390ca8133356fa509edc.tar.gz |
Add an optional check for invariants on the Cmm representation
Diffstat (limited to 'compilerlibs')
-rw-r--r-- | compilerlibs/Makefile.compilerlibs | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/compilerlibs/Makefile.compilerlibs b/compilerlibs/Makefile.compilerlibs index d5a79b62f6..05dfc6c98b 100644 --- a/compilerlibs/Makefile.compilerlibs +++ b/compilerlibs/Makefile.compilerlibs @@ -136,6 +136,7 @@ ASMCOMP=\ asmcomp/cmmgen_state.cmo \ asmcomp/cmm_helpers.cmo \ asmcomp/cmmgen.cmo \ + asmcomp/cmm_invariants.cmo \ asmcomp/interval.cmo \ asmcomp/printmach.cmo asmcomp/selectgen.cmo \ asmcomp/selection.cmo \ |