From 74425bd918f8f93994abfa14485e96e912bca106 Mon Sep 17 00:00:00 2001 From: Christian Helmuth Date: Mon, 14 Oct 2013 09:50:21 +0200 Subject: [PATCH] doc: clarify to edit build.conf after create_build_dir --- doc/getting_started.txt | 6 ++---- 1 file changed, 2 insertions(+), 4 deletions(-) diff --git a/doc/getting_started.txt b/doc/getting_started.txt index f377a5472..7d2c1c580 100644 --- a/doc/getting_started.txt +++ b/doc/getting_started.txt @@ -78,10 +78,6 @@ downloaded and prepared by invoking the following command from within the ! make prepare PKG=x86emu -Also uncomment the following line in 'etc/build.conf' - -! REPOSITORIES += $(GENODE_DIR)/libports - Now that the base platform is prepared, the 'create_builddir' tool can be used to create a build directory for your platform of choice by giving the platform as argument. To see the list of available platforms, execute 'create_builddir' @@ -95,6 +91,8 @@ steps are required: ! make -C base-okl4 prepare # Create a build directory ! ./tool/create_builddir okl4_x86 BUILD_DIR=build.okl4 +# Uncomment the following line in 'build.okl4/etc/build.conf' + ! REPOSITORIES += $(GENODE_DIR)/libports # Build and execute the demo using Qemu ! make -C build.okl4 run/demo