diff --git a/Makefile b/Makefile index d67556347..bc84dca73 100644 --- a/Makefile +++ b/Makefile @@ -951,6 +951,10 @@ partialclean:: ## Test compilation of backend-specific parts +ARCH_SPECIFIC =\ + asmcomp/arch.ml asmcomp/proc.ml asmcomp/CSE.ml asmcomp/selection.ml \ + asmcomp/scheduling.ml asmcomp/reload.ml + partialclean:: rm -f $(ARCH_SPECIFIC) diff --git a/compilerlibs/Makefile.compilerlibs b/compilerlibs/Makefile.compilerlibs index ea069bbb6..59d8050cf 100644 --- a/compilerlibs/Makefile.compilerlibs +++ b/compilerlibs/Makefile.compilerlibs @@ -102,10 +102,6 @@ BYTECOMP=bytecomp/instruct.cmo bytecomp/bytegen.cmo \ driver/errors.cmo driver/compile.cmo BYTECOMP_CMI= -ARCH_SPECIFIC =\ - asmcomp/arch.ml asmcomp/proc.ml asmcomp/CSE.ml asmcomp/selection.ml \ - asmcomp/scheduling.ml asmcomp/reload.ml - INTEL_ASM=\ asmcomp/x86_proc.cmo \ asmcomp/x86_dsl.cmo \