changeset 526 | 28b154307c0d |
parent 474 | f59df77f5c8d |
parent 491 | 879c55700cd4 |
child 549 | 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) |