equal
deleted
inserted
replaced
106 Build shared library instead of static one. Think twice if you |
106 Build shared library instead of static one. Think twice if you |
107 really want to use this option. |
107 really want to use this option. |
108 |
108 |
109 -DGLPK_ROOT_DIR=DIRECTORY |
109 -DGLPK_ROOT_DIR=DIRECTORY |
110 -DCOIN_ROOT_DIR=DIRECTORY |
110 -DCOIN_ROOT_DIR=DIRECTORY |
111 -DCPLEX_ROOT_DIR=DIRECTORY |
111 -DILOG_ROOT_DIR=DIRECTORY |
112 |
112 |
113 Install root directory prefixes of optional third party libraries. |
113 Install root directory prefixes of optional third party libraries. |
114 |
114 |
115 Makefile Variables |
115 Makefile Variables |
116 ================== |
116 ================== |