From 65e1367d79ec4be37b86f412ce5e817a0ab93275 Mon Sep 17 00:00:00 2001 From: Gerd Stolpmann Date: Mon, 15 Jun 2015 18:07:45 +0200 Subject: [PATCH] docs --- INSTALL | 10 +++++----- 1 file changed, 5 insertions(+), 5 deletions(-) diff --git a/INSTALL b/INSTALL index c694acb..a33da3f 100644 --- a/INSTALL +++ b/INSTALL @@ -5,8 +5,9 @@ how we build in the first place! If you already have a working copy of omake (for instance, by downloading and installing it from somewhere else like -omake.metaprl.org), then you should use your working copy to do the -bootstrap. +omake.metaprl.org), you can skip the bootstrap, and directly run +"make all", followed by "make install" (or, equivalently, +"OMAKEPATH=lib omake install"). Otherwise, let's assume you do don't have omake already installed and you want to build it. @@ -38,12 +39,11 @@ to build the omake-boot executable. This should work with classic make; there should be no need to use GNU make. If you have it, GNU make will work fine. -If you are going to compile OMake with the default options, you can -use make to both bootstrap and build omake: +Go now on with % make all -or even bootstrap, build, and install it: +and finally: % make install