diff options
-rw-r--r-- | .depend | 13 | ||||
-rw-r--r-- | asmcomp/branch_relaxation_intf.mli (renamed from asmcomp/branch_relaxation_intf.ml) | 0 | ||||
-rw-r--r-- | compilerlibs/Makefile.compilerlibs | 1 |
3 files changed, 4 insertions, 10 deletions
@@ -2445,28 +2445,23 @@ asmcomp/branch_relaxation.cmo : \ asmcomp/mach.cmi \ asmcomp/linear.cmi \ asmcomp/cmm.cmi \ - asmcomp/branch_relaxation_intf.cmo \ + asmcomp/branch_relaxation_intf.cmi \ asmcomp/branch_relaxation.cmi asmcomp/branch_relaxation.cmx : \ utils/misc.cmx \ asmcomp/mach.cmx \ asmcomp/linear.cmx \ asmcomp/cmm.cmx \ - asmcomp/branch_relaxation_intf.cmx \ + asmcomp/branch_relaxation_intf.cmi \ asmcomp/branch_relaxation.cmi asmcomp/branch_relaxation.cmi : \ asmcomp/linear.cmi \ - asmcomp/branch_relaxation_intf.cmo -asmcomp/branch_relaxation_intf.cmo : \ + asmcomp/branch_relaxation_intf.cmi +asmcomp/branch_relaxation_intf.cmi : \ asmcomp/linear.cmi \ lambda/debuginfo.cmi \ asmcomp/cmm.cmi \ asmcomp/arch.cmo -asmcomp/branch_relaxation_intf.cmx : \ - asmcomp/linear.cmx \ - lambda/debuginfo.cmx \ - asmcomp/cmm.cmx \ - asmcomp/arch.cmx asmcomp/cmm.cmo : \ utils/targetint.cmi \ utils/misc.cmi \ diff --git a/asmcomp/branch_relaxation_intf.ml b/asmcomp/branch_relaxation_intf.mli index 68596d592c..68596d592c 100644 --- a/asmcomp/branch_relaxation_intf.ml +++ b/asmcomp/branch_relaxation_intf.mli diff --git a/compilerlibs/Makefile.compilerlibs b/compilerlibs/Makefile.compilerlibs index 7e044d69be..c00bfe7b5b 100644 --- a/compilerlibs/Makefile.compilerlibs +++ b/compilerlibs/Makefile.compilerlibs @@ -233,7 +233,6 @@ ASMCOMP = \ file_formats/linear_format.cmo \ asmcomp/schedgen.cmo \ asmcomp/scheduling.cmo \ - asmcomp/branch_relaxation_intf.cmo \ asmcomp/branch_relaxation.cmo \ asmcomp/emitaux.cmo \ asmcomp/emit.cmo \ |