| changeset 3244 | 654795439cf8 |
| parent 3069 | ad66452d6e8f |
| child 3697 | d5b30d6373fc |
| 3243:506edb474ac1 | 3244:654795439cf8 |
|---|---|
15 add_library (lua ${build_type} ${lua_src}) |
15 add_library (lua ${build_type} ${lua_src}) |
16 ENDIF(WIN32) |
16 ENDIF(WIN32) |
17 |
17 |
18 if(WIN32) |
18 if(WIN32) |
19 SET_TARGET_PROPERTIES(lua PROPERTIES PREFIX "") |
19 SET_TARGET_PROPERTIES(lua PROPERTIES PREFIX "") |
20 install(TARGETS lua DESTINATION ${target_dir}) |
20 install(TARGETS lua RUNTIME DESTINATION ${target_dir}) |
21 endif(WIN32) |
21 endif(WIN32) |
22 |
22 |
23 |
23 |
24 |
24 |