Eliminate post-processing of bootstrap artefact

In order to be repeatable, the coreboot cycle routinely has to relink
both boot artefacts with a fixed configuration. It's not therefore much
more of a stretch to link those artefacts with the required flags to
suppress both the header (and RNTM section, if applicable) and debugging
information.

Combined with the previous change to suppress CRCS when the image
doesn't use dynamic loading, the coreboot cycle can be accomplished
without having to post-process the artefacts with stripdebug.

Author: dra27

Makefile

@@ -725,13 +725,6 @@ CMPCMD ?= $(OCAMLRUN) tools/cmpbyt$(EXE)
 
 .PHONY: compare
 compare:
-# The core system has to be rebuilt after bootstrap anyway, so strip ocamlc
-# and ocamllex, which means the artefacts should be identical.
-	mv ocamlc$(EXE) ocamlc.tmp
-	$(OCAMLRUN) tools/stripdebug$(EXE) -all ocamlc.tmp ocamlc$(EXE)
-	mv lex/ocamllex$(EXE) ocamllex.tmp
-	$(OCAMLRUN) tools/stripdebug$(EXE) -all ocamllex.tmp lex/ocamllex$(EXE)
-	rm -f ocamllex.tmp ocamlc.tmp
 	@if $(CMPCMD) boot/ocamlc ocamlc$(EXE) \
          && $(CMPCMD) boot/ocamllex lex/ocamllex$(EXE); \
 	then echo "Fixpoint reached, bootstrap succeeded."; \
@@ -742,12 +735,10 @@ compare:
 
 # Promote a compiler
 
-PROMOTE ?= cp
-
 .PHONY: promote-common
 promote-common:
-	$(PROMOTE) ocamlc$(EXE) boot/ocamlc
-	$(PROMOTE) lex/ocamllex$(EXE) boot/ocamllex
+	cp ocamlc$(EXE) boot/ocamlc
+	cp lex/ocamllex$(EXE) boot/ocamllex
 	cd stdlib; cp $(LIBFILES) ../boot
 
 # Promote the newly compiled system to the rank of cross compiler
@@ -758,7 +749,6 @@ promote-cross: promote-common
 # Promote the newly compiled system to the rank of bootstrap compiler
 # (Runs on the new runtime, produces code for the new runtime)
 .PHONY: promote
-promote: PROMOTE = $(OCAMLRUN) tools/stripdebug$(EXE) -all
 promote: promote-common
 	rm -f boot/ocamlrun$(EXE)
 	cp runtime/ocamlrun$(EXE) boot/ocamlrun$(EXE)
@@ -972,7 +962,8 @@ ocamlc_SOURCES = driver/main.mli driver/main.ml
 ocamlc_BYTECODE_LINKFLAGS = -compat-32 -g
 
 ifeq "$(IN_COREBOOT_CYCLE)" "true"
-ocamlc_BYTECODE_LINKFLAGS += -set-runtime-default standard_library_default=.
+ocamlc_BYTECODE_LINKFLAGS += \
+-no-g -without-runtime -set-runtime-default standard_library_default=.
 endif
 
 partialclean::
@@ -1718,7 +1709,8 @@ ocamllex.opt: ocamlopt
 ocamllex_BYTECODE_LINKFLAGS = -compat-32
 
 ifeq "$(IN_COREBOOT_CYCLE)" "true"
-ocamllex_BYTECODE_LINKFLAGS += -set-runtime-default standard_library_default=.
+ocamllex_BYTECODE_LINKFLAGS += \
+-no-g -without-runtime -set-runtime-default standard_library_default=.
 endif
 
 partialclean::