Fixed the mip error (mipstatus was incorrect).
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
44 (see ./configure --help for more):
48 Change the C++ compiler to 'comp'.
52 Pass the 'flags' to the compiler. For example
53 CXXFLAGS='-O3 -march=pentium-m'
54 turns on generation of aggressively optimized
55 Pentium-M specific code.
59 Build the demo programs too.
63 Do not build the demo programs (default).
67 Build the benchmark programs too.
71 Do not build the benchmark programs (default).
75 Enable GLPK support (default). You should specify the prefix too if
76 you installed GLPK to some non-standard location (e.g. your home
77 directory). If it is not found, GLPK support will be disabled.
79 --with-glpk-includedir=DIR
81 The directory where the GLPK header files are located. This is only
82 useful when the GLPK headers and libraries are not under the same
83 prefix (which is unlikely).
85 --with-glpk-libdir=DIR
87 The directory where the GLPK libraries are located. This is only
88 useful when the GLPK headers and libraries are not under the same
89 prefix (which is unlikely).
97 Enable CPLEX support (default). You should specify the prefix too
98 if you installed CPLEX to some non-standard location
99 (e.g. /opt/ilog/cplex75). If it is not found, CPLEX support will be
102 --with-cplex-includedir=DIR
104 The directory where the CPLEX header files are located. This is
105 only useful when the CPLEX headers and libraries are not under the
106 same prefix (e.g. /usr/local/cplex/cplex75/include).
108 --with-cplex-libdir=DIR
110 The directory where the CPLEX libraries are located. This is only
111 useful when the CPLEX headers and libraries are not under the same
113 /usr/local/cplex/cplex75/lib/i86_linux2_glibc2.2_gcc3.0/static_pic_mt).
117 Disable CPLEX support.