denshooter/genode
1
0
Fork 0
mirror of https://github.com/mmueller41/genode.git synced 2026-01-21 12:32:56 +01:00
Code Issues Packages Projects Releases Wiki Activity

doc: clarify to edit build.conf after create_build_dir

Browse Source
This commit is contained in:
Christian Helmuth
2013-10-14 09:50:21 +02:00
committed by Norman Feske
parent c117516296
commit 74425bd918
1 changed files with 2 additions and 4 deletions
Download Patch File Download Diff File Expand all files Collapse all files

6
doc/getting_started.txt
View File

@@ -78,10 +78,6 @@ downloaded and prepared by invoking the following command from within the
! make prepare PKG=x86emu ! 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 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 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' as argument. To see the list of available platforms, execute 'create_builddir'
@@ -95,6 +91,8 @@ steps are required:
! make -C base-okl4 prepare ! make -C base-okl4 prepare
# Create a build directory # Create a build directory
! ./tool/create_builddir okl4_x86 BUILD_DIR=build.okl4 ! ./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 # Build and execute the demo using Qemu
! make -C build.okl4 run/demo ! make -C build.okl4 run/demo