... and fix another one.
     1 Installation Instructions
 
     2 =========================
 
     4    Since you are reading this I assume you already obtained one of the release
 
     5 tarballs and successfully extracted it. The latest version of LEMON is
 
     6 available at our webpage (http://lemon.cs.elte.hu/).
 
     8    In order to install LEMON from the extracted source tarball you have to
 
     9 issue the following commands:
 
    13      This changes to the directory which was created when you extracted the
 
    14      sources. The x.y.z part is a version number.
 
    18      This runs the configure shell script, which does some checks and
 
    19      configuration (creates makefiles etc).
 
    23      This command compiles the non-template part of LEMON into libemon.a file.
 
    24      It also compiles the benchmark and demo programs when enabled.
 
    28      This step is optional, but recommended. It runs the test programs that we
 
    29      developed for LEMON to check whether the library works properly on your
 
    34      This command installs LEMON under /usr/local (you will need root
 
    35      privileges to be able to do that). If you want to install it to some
 
    36      other location, then pass the --prefix=DIRECTORY flag to configure in
 
    37      step 1. For example: `./configure --prefix=/home/username/lemon'
 
    43    You can pass the following flags to configure in step 1 (see ./configure
 
    48    Enable GLPK support (default). You should specify the prefix too if you
 
    49 installed GLPK to some non-standard location (e.g. your home directory). If it
 
    50 is not found, GLPK support will be disabled.
 
    52    --with-glpk-includedir=DIR
 
    54    The directory where the GLPK header files are located. This is only useful
 
    55 when the GLPK headers and libraries are not under the same prefix (which is
 
    58    --with-glpk-libdir=DIR
 
    60    The directory where the GLPK libraries are located. This is only useful
 
    61 when the GLPK headers and libraries are not under the same prefix (which is
 
    70    Enable CPLEX support (default). You should specify the prefix too if you
 
    71 installed CPLEX to some non-standard location (e.g. /opt/ilog/cplex75). If it
 
    72 is not found, CPLEX support will be disabled.
 
    74    --with-cplex-includedir=DIR
 
    76    The directory where the CPLEX header files are located. This is only useful
 
    77 when the CPLEX headers and libraries are not under the same prefix (e.g.
 
    78 /usr/local/cplex/cplex75/include).
 
    80    --with-cplex-libdir=DIR
 
    82    The directory where the CPLEX libraries are located. This is only useful
 
    83 when the CPLEX headers and libraries are not under the same prefix (e.g.
 
    84 /usr/local/cplex/cplex75/lib/i86_linux2_glibc2.2_gcc3.0/static_pic_mt).
 
    88    Disable CPLEX support.
 
    92    Build the demo programs too.
 
    96    Do not build the demo programs (default).
 
   100    Build the benchmark programs too.
 
   104    Do not build the benchmark programs (default).