* Fix coreboot target. This target calls promote, which itself now

uses tools/stripdebug. This executable has to be ran with the new
  runtime, not the one in boot/.

* Update .depend for byterun/ and asmrun/
master
Jacques-Henri Jourdan 2016-03-07 23:24:52 +01:00
parent bde0cbea2d
commit dd74659c68
3 changed files with 2201 additions and 1877 deletions

View File

@ -72,7 +72,7 @@ coreboot:
# Rebuild the library (using byterun/ocamlrun ./ocamlc)
$(MAKE) library-cross
# Promote the new compiler and the new runtime
$(MAKE) promote
$(MAKE) CAMLRUN=byterun/ocamlrun promote
# Rebuild the core system
$(MAKE) partialclean
$(MAKE) core

File diff suppressed because it is too large Load Diff

File diff suppressed because it is too large Load Diff