By pass the implicit makefile rule for compiling .S

Signed-off-by: Thing-han, Lim <[email protected]>

proofs/hol_light/arm/Makefile

@@ -398,8 +398,7 @@ OBJ = $(POINT_OBJ) $(BIGNUM_OBJ)
 # https://developer.apple.com/documentation/xcode/writing-arm64-code-for-apple-platforms,
 # x18 should not be used for Apple platforms. Check this using grep.
 
-%.o : $(SRC_ARM)/%.S
-%.o :
+$(OBJ): %.o : $(SRC_ARM)/%.S
 	$(Q)[ -d $(@D) ] || mkdir -p $(@D)
 	cat $(SRC_ARM)/$@ | $(PREPROCESS) | $(SPLIT) | grep -v -E '^\s+.quad\s+0x[0-9a-f]+$$' | $(ASSEMBLE) -o $@ -
 	$(OBJDUMP) $@ | ( ( ! grep --ignore-case -E 'w18|[^0]x18' ) || ( rm $@ ; exit 1 ) )