blob: 9a3adbb7c3819e4b85085045fcaad7e0870b8c39 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
|
if(EXISTS "${INPUTFILE}")
# if there's an input file we use it to determine which files to copy where
file(STRINGS ${INPUTFILE} FILES)
string(REPLACE "\n" ";" FILES "${FILES}")
foreach(file ${FILES})
string(REPLACE " " ";" file "${file}")
list(GET file 0 dir)
list(GET file 1 dest)
list(LENGTH file deflength)
if(deflength GREATER 2)
list(GET file 2 copy)
endif()
file(GLOB files ${INPUTDIR}/${dir})
foreach(instfile ${files})
file(COPY ${instfile} DESTINATION ${DESTDIR}/${dest})
if(copy)
file(COPY ${instfile} DESTINATION ${DESTDIR}/${copy})
endif()
endforeach()
endforeach()
else()
# otherwise we assume that the content of the extracted archive is already well-formed and can just be copied
file(COPY ${INPUTDIR}/${dir} DESTINATION ${DESTDIR})
endif()
|
