Disable checks for ILP solvers.
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 web page (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 command changes to the directory which was created when you
14 extracted the sources. The x.y.z part is a version number.
18 This command runs the configure shell script, which does some checks and
19 creates the makefiles.
23 This command compiles the non-template part of LEMON into libemon.a
24 file. It also compiles the programs in the tools, benchmark and demo
25 subdirectories when enabled.
29 This step is optional, but recommended. It runs the test programs that
30 we developed for LEMON to check whether the library works properly on
35 This command installs LEMON under /usr/local (you will need root
36 privileges to be able to do that). If you want to install it to some
37 other location, then pass the --prefix=DIRECTORY flag to configure in
38 step 2. For example: `./configure --prefix=/home/username/lemon'.
40 6. `make install-html'
42 This command installs the documentation under share/doc/lemon/docs. The
43 generated documentation is included in the tarball. If you want to
44 generate it yourself, then run `make html'. Note that for this you need
45 to have the following programs installed: Doxygen, Graphviz, Ghostscript,
49 Configure Options and Variables
50 ===============================
52 In step 2 you can customize the actions of configure by setting variables
53 and passing options to it. This can be done like this:
54 `./configure [OPTION]... [VARIABLE=VALUE]...'
56 Below you will find some useful variables and options (see
57 `./configure --help' for more):
61 Change the C++ compiler to 'comp'.
65 Pass the 'flags' to the compiler. For example CXXFLAGS='-O3 -march=pentium-m'
66 turns on generation of aggressively optimized Pentium-M specific code.
70 Set the installation prefix to PREFIX. By default it is /usr/local.
74 Build the examples in the demo subdirectory.
78 Do not build the examples in the demo subdirectory (default).
82 Build the programs in the benchmark subdirectory.
86 Do not build the programs in the benchmark subdirectory (default).
90 Build the programs in the tools subdirectory (default).
94 Do not build the programs in the tools subdirectory.
98 Enable GLPK support (default). You should specify the prefix too if
99 you installed GLPK to some non-standard location (e.g. your home
100 directory). If it is not found, GLPK support will be disabled.
102 --with-glpk-includedir=DIR
104 The directory where the GLPK header files are located. This is only
105 useful when the GLPK headers and libraries are not under the same
106 prefix (which is unlikely).
108 --with-glpk-libdir=DIR
110 The directory where the GLPK libraries are located. This is only
111 useful when the GLPK headers and libraries are not under the same
112 prefix (which is unlikely).
116 Disable GLPK support.
118 --with-cplex[=PREFIX]
120 Enable CPLEX support (default). You should specify the prefix too
121 if you installed CPLEX to some non-standard location
122 (e.g. /opt/ilog/cplex75). If it is not found, CPLEX support will be
125 --with-cplex-includedir=DIR
127 The directory where the CPLEX header files are located. This is
128 only useful when the CPLEX headers and libraries are not under the
129 same prefix (e.g. /usr/local/cplex/cplex75/include).
131 --with-cplex-libdir=DIR
133 The directory where the CPLEX libraries are located. This is only
134 useful when the CPLEX headers and libraries are not under the same
136 /usr/local/cplex/cplex75/lib/i86_linux2_glibc2.2_gcc3.0/static_pic_mt).
140 Disable CPLEX support.
142 --with-soplex[=PREFIX]
144 Enable SoPlex support (default). You should specify the prefix too if
145 you installed SoPlex to some non-standard location (e.g. your home
146 directory). If it is not found, SoPlex support will be disabled.
148 --with-soplex-includedir=DIR
150 The directory where the SoPlex header files are located. This is only
151 useful when the SoPlex headers and libraries are not under the same
152 prefix (which is unlikely).
154 --with-soplex-libdir=DIR
156 The directory where the SoPlex libraries are located. This is only
157 useful when the SoPlex headers and libraries are not under the same
158 prefix (which is unlikely).
162 Disable SoPlex support.