diff options
author | Damien Doligez <damien.doligez-inria.fr> | 2008-02-29 12:53:34 +0000 |
---|---|---|
committer | Damien Doligez <damien.doligez-inria.fr> | 2008-02-29 12:53:34 +0000 |
commit | 669f8ac99f243e766acbddcd84c0c34f0e3deaf0 (patch) | |
tree | a7c20e2ed355e70f2df91d6e19e5095c0179bda5 | |
parent | 7b90710be5b338b3f528ad87ad3a4b2a994a507f (diff) |
added bootstrapping doc; small change to package-macosx
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@8821 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
-rw-r--r-- | Makefile | 21 |
1 files changed, 14 insertions, 7 deletions
@@ -131,9 +131,6 @@ defaultentry: all: runtime ocamlc ocamllex ocamlyacc ocamltools library ocaml \ otherlibraries ocamlbuild.byte camlp4out $(DEBUGGER) ocamldoc -# The compilation of ocaml will fail if the runtime has changed. -# Never mind, just do make bootstrap to reach fixpoint again. - # Compile everything the first time world: $(MAKE) coldstart @@ -144,6 +141,17 @@ world.opt: $(MAKE) coldstart $(MAKE) opt.opt +# Hard bootstrap how-to: +# (only necessary in some cases, for example if you remove some primitive) +# +# make coreboot [old system -- you were in a stable state] +# <change the source> +# make core [cross-compiler] +# make partialclean [if you get "inconsistent assumptions"] +# <debug your changes> +# make core [cross-compiler] +# make coreboot [new system -- now you are in a stable state] + # Core bootstrapping cycle coreboot: # Save the original bootstrap compiler @@ -166,6 +174,8 @@ coreboot: $(MAKE) compare # Bootstrap and rebuild the whole system. +# The compilation of ocaml will fail if the runtime has changed. +# Never mind, just do make bootstrap to reach fixpoint again. bootstrap: $(MAKE) coreboot $(MAKE) all @@ -707,10 +717,7 @@ checkstack: package-macosx: sudo rm -rf package-macosx/root - make BINDIR="`pwd`"/package-macosx/root/bin \ - LIBDIR="`pwd`"/package-macosx/root/lib/ocaml \ - MANDIR="`pwd`"/package-macosx/root/man \ - install + make PREFIX="`pwd`"/package-macosx/root install tools/make-package-macosx sudo rm -rf package-macosx/root |