From a674d2dd1bcb85fd1563b8dafbe4e3a7aa0a4052 Mon Sep 17 00:00:00 2001 From: hsc Date: Fri, 20 Apr 2012 12:58:15 +0000 Subject: [PATCH] howto-build: --disable-docbook is necessary ... if you're on Debian with openjade installed. git-svn-id: https://www4.informatik.uni-erlangen.de/i4svn/danceos/trunk/devel/fail@1129 8c4709b5-6ec9-48aa-a5cd-a96041d1645a --- doc/howto-build.txt | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/doc/howto-build.txt b/doc/howto-build.txt index e98453b1..4eb347b8 100644 --- a/doc/howto-build.txt +++ b/doc/howto-build.txt @@ -99,7 +99,7 @@ For the first time ------------------ cd ../bochs > Sufficient: -./configure --prefix=$(echo ~/localroot/usr) --enable-{x86-64,cpu-level=6,ne2000,trace-cache,vmx=2,gdb-stub} +./configure --prefix=$(echo ~/localroot/usr) --enable-{x86-64,cpu-level=6,ne2000,trace-cache,vmx=2,gdb-stub} --disable-docbook > More optimised: ./configure --prefix=$(echo ~/localroot/usr) --enable-{a20-pin,x86-64,cpu-level=6,ne2000,acpi,pci,usb,repeat-speedups,trace-cache,fast-function-calls,host-specific-asms,disasm,all-optimizations,readline,clgd54xx,fpu,vmx=2,monitor-mwait,cdrom,sb16=linux,gdb-stub} --disable-docbook --with-all-libs > Instead of --with-all-libs, you could use --with-nogui for "headless"