| changeset 507 | d9e43511d11c |
| parent 474 | f59df77f5c8d |
| parent 491 | 879c55700cd4 |
| child 538 | ba659d676331 |
| 5:dfcb47330000 | 7:3f08b923bec5 |
|---|---|
12 arg_parser.cc |
12 arg_parser.cc |
13 base.cc |
13 base.cc |
14 color.cc |
14 color.cc |
15 lp_base.cc |
15 lp_base.cc |
16 lp_skeleton.cc |
16 lp_skeleton.cc |
17 random.cc) |
17 random.cc |
18 bits/windows.cc |
|
19 ) |
|
18 |
20 |
19 IF(HAVE_GLPK) |
21 IF(HAVE_GLPK) |
20 SET(LEMON_SOURCES ${LEMON_SOURCES} glpk.cc) |
22 SET(LEMON_SOURCES ${LEMON_SOURCES} glpk.cc) |
21 INCLUDE_DIRECTORIES(${GLPK_INCLUDE_DIR}) |
23 INCLUDE_DIRECTORIES(${GLPK_INCLUDE_DIR}) |
22 IF(WIN32) |
24 IF(WIN32) |