diff options
Diffstat (limited to 'compilerlibs/Makefile.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 \ |