Merge branch 'master' of git+ssh://scm.gforge.inria.fr//gitroot/paradiseo/paradiseo
This commit is contained in:
commit
01e25fb7b4
28 changed files with 67 additions and 60 deletions
|
|
@ -3,14 +3,14 @@
|
|||
######################################################################################
|
||||
|
||||
file(GLOB HDRS *.h mo)
|
||||
install(FILES ${HDRS} DESTINATION local/include${INSTALL_SUB_DIR}/mo COMPONENT headers)
|
||||
install(FILES ${HDRS} DESTINATION include${INSTALL_SUB_DIR}/mo COMPONENT headers)
|
||||
|
||||
######################################################################################
|
||||
### 1) Install directories
|
||||
######################################################################################
|
||||
|
||||
install(DIRECTORY acceptCrit algo comparator continuator coolingSchedule eval eplorer memory neighborhood perturb problems sampling
|
||||
DESTINATION local/include${INSTALL_SUB_DIR}/mo
|
||||
install(DIRECTORY acceptCrit algo comparator continuator coolingSchedule eval explorer memory neighborhood perturb problems sampling
|
||||
DESTINATION include${INSTALL_SUB_DIR}/mo
|
||||
COMPONENT headers
|
||||
FILES_MATCHING PATTERN "*.h"
|
||||
)
|
||||
|
|
|
|||
Loading…
Add table
Add a link
Reference in a new issue