diff options
| author | Damien Doligez <damien.doligez-inria.fr> | 2002-11-01 15:28:19 +0000 |
|---|---|---|
| committer | Damien Doligez <damien.doligez-inria.fr> | 2002-11-01 15:28:19 +0000 |
| commit | 74cdaf2ce9fe343dcbda61ae4257e231d712455e (patch) | |
| tree | dc987b24183c41b6eae8d80a2c1e16349f39f329 | |
| parent | 40fd18222a59f21339f082ae8661bb76f3e8d3c3 (diff) | |
petits changements sur le bootstrap court
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5222 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
| -rw-r--r-- | Makefile | 12 |
1 files changed, 6 insertions, 6 deletions
@@ -137,8 +137,8 @@ world: coldstart all # Compile also native code compiler and libraries, fast world.opt: coldstart opt.opt -# Simple bootstrapping cycle -boots: +# Core bootstrapping cycle +coreboot: # Save the original bootstrap compiler $(MAKE) backup # Promote the new compiler but keep the old runtime @@ -152,15 +152,15 @@ boots: $(MAKE) library-cross # Promote the new compiler and the new runtime $(MAKE) promote -# Rebuild ocamlc and ocamllex +# Rebuild the core system $(MAKE) partialclean - $(MAKE) ocamlc ocamllex + $(MAKE) core # Check if fixpoint reached $(MAKE) compare -# Complete bootstrapping cycle +# Bootstrap and rebuild the whole system. bootstrap: - $(MAKE) boots + $(MAKE) coreboot $(MAKE) all $(MAKE) compare |