summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorDamien Doligez <damien.doligez-inria.fr>2008-02-29 12:53:34 +0000
committerDamien Doligez <damien.doligez-inria.fr>2008-02-29 12:53:34 +0000
commit669f8ac99f243e766acbddcd84c0c34f0e3deaf0 (patch)
treea7c20e2ed355e70f2df91d6e19e5095c0179bda5
parent7b90710be5b338b3f528ad87ad3a4b2a994a507f (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--Makefile21
1 files changed, 14 insertions, 7 deletions
diff --git a/Makefile b/Makefile
index f8f2b12a0..84141a82c 100644
--- a/Makefile
+++ b/Makefile
@@ -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