File: find-music-in-root-for-multi-source.patch

package info (click to toggle)
colobot 0.2.0-2
  • links: PTS, VCS
  • area: main
  • in suites: bookworm
  • size: 416,412 kB
  • sloc: cpp: 144,638; ansic: 3,063; python: 2,119; sh: 682; awk: 91; xml: 32; makefile: 31
file content (20 lines) | stat: -rw-r--r-- 965 bytes parent folder | download | duplicates (5)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
Description: Cope with the music orig.tar being unpacked in music/ and not in data/music
Author: Didier Raboud <odyx@debian.org>
Origin: vendor
Forwarded: not likely to be adopted, so not yet
Last-Update: 2015-09-16
--- a/data/music/CMakeLists.txt
+++ b/data/music/CMakeLists.txt
@@ -58,9 +58,9 @@
             set(DOWNLOAD_FILE ${FILENAME}.ogg)
         endif()
 
-        # If the required file is already available in source directory, don't download
-        if(EXISTS "${CMAKE_CURRENT_SOURCE_DIR}/${DOWNLOAD_FILE}")
-            set(DOWNLOAD_FILE_LOC "${CMAKE_CURRENT_SOURCE_DIR}/${DOWNLOAD_FILE}")
+        # If the required file is already available in the root music/ source directory, don't download
+        if(EXISTS "${CMAKE_SOURCE_DIR}/music/${DOWNLOAD_FILE}")
+            set(DOWNLOAD_FILE_LOC "${CMAKE_SOURCE_DIR}/music/${DOWNLOAD_FILE}")
             add_custom_target(download-${FILENAME}) # no operation
         else()
             if(NOT WGET)