diff options
Diffstat (limited to 'chapter06/bison.xml')
-rw-r--r-- | chapter06/bison.xml | 11 |
1 files changed, 8 insertions, 3 deletions
diff --git a/chapter06/bison.xml b/chapter06/bison.xml index 00a4e78f7..a5ca3cfc0 100644 --- a/chapter06/bison.xml +++ b/chapter06/bison.xml @@ -39,19 +39,24 @@ <sect2 role="installation"> <title>Installation of Bison</title> - +<!-- <para>First, fix a build problem with the current version:</para> <screen><userinput remap="pre">sed -i '9327 s/mv/cp/' Makefile.in</userinput></screen> - +--> <para>Prepare Bison for compilation:</para> <screen><userinput remap="configure">./configure --prefix=/usr --docdir=/usr/share/doc/bison-&bison-version;</userinput></screen> +<!-- I could not find a race condidtion in the current version. <para>Compile the package, but work around a race condition in the current version:</para> -<screen><userinput remap="make">make -j1</userinput></screen> +<screen><userinput remap="make">make -j1</userinput></screen>--> + + <para>Compile the package:</para> + +<screen><userinput remap="make">make</userinput></screen> <!-- <para>To test the results (about 2.2 SBU), issue:</para> |