diff options
Diffstat (limited to 'media-sound/csound/files/csound-5.17.11-no-fltk-gl.patch')
-rw-r--r-- | media-sound/csound/files/csound-5.17.11-no-fltk-gl.patch | 20 |
1 files changed, 0 insertions, 20 deletions
diff --git a/media-sound/csound/files/csound-5.17.11-no-fltk-gl.patch b/media-sound/csound/files/csound-5.17.11-no-fltk-gl.patch deleted file mode 100644 index ae07d41a63e3..000000000000 --- a/media-sound/csound/files/csound-5.17.11-no-fltk-gl.patch +++ /dev/null @@ -1,20 +0,0 @@ ---- Csound5.17.11/frontends/CsoundAC/CMakeLists.txt -+++ Csound5.17.11/frontends/CsoundAC/CMakeLists.txt -@@ -7,6 +7,7 @@ -
- find_package(Boost)
- find_library(MUSICXML_LIBRARY musicxml2)
-+set(FLTK_SKIP_OPENGL true)
- find_package(FLTK)
- find_package(SWIG)
- find_package(PythonLibs)
---- Csound5.17.11/InOut/CMakeLists.txt -+++ Csound5.17.11/InOut/CMakeLists.txt -@@ -56,6 +56,7 @@ - find_library(COREAUDIO_LIBRARY CoreAudio)
- endif()
- if(USE_FLTK OR BUILD_VIRTUAL_KEYBOARD)
-+ set(FLTK_SKIP_OPENGL true)
- find_package(FLTK)
- endif()
-
|