diff --git a/packages/dune/executable_scripts.patch b/packages/dune/executable_scripts.patch deleted file mode 100644 index e275345..0000000 --- a/packages/dune/executable_scripts.patch +++ /dev/null @@ -1,28 +0,0 @@ -diff --git a/cmake/scripts/CMakeLists.txt b/cmake/scripts/CMakeLists.txt -index a59060b8..0d8587f3 100644 ---- a/cmake/scripts/CMakeLists.txt -+++ b/cmake/scripts/CMakeLists.txt -@@ -1,15 +1,21 @@ -+# Install non-executable scripts - install(FILES - conf.py.in - CreateDoxyFile.cmake - envdetect.py -- extract_cmake_data.py - FinalizeHeadercheck.cmake - index.rst.in - InstallFile.cmake - main77.cc.in - module_library.cc.in - pyversion.py -- run-in-dune-env.sh.in - RunDoxygen.cmake - sphinx_cmake_dune.py - DESTINATION ${CMAKE_INSTALL_DATAROOTDIR}/dune/cmake/scripts) -+ -+# Install executable programs -+install(PROGRAMS -+ extract_cmake_data.py -+ run-in-dune-env.sh.in -+ DESTINATION ${CMAKE_INSTALL_DATAROOTDIR}/dune/cmake/scripts -+)