Skip to content

Commit

Permalink
Update libCEED and remove no longer needed patch
Browse files Browse the repository at this point in the history
  • Loading branch information
sebastiangrimberg authored and hughcars committed Dec 2, 2024
1 parent 72f4e8b commit 58d35e5
Show file tree
Hide file tree
Showing 2 changed files with 0 additions and 231 deletions.
6 changes: 0 additions & 6 deletions cmake/ExternalLibCEED.cmake
Original file line number Diff line number Diff line change
Expand Up @@ -121,11 +121,6 @@ endif()
string(REPLACE ";" "; " LIBCEED_OPTIONS_PRINT "${LIBCEED_OPTIONS}")
message(STATUS "LIBCEED_OPTIONS: ${LIBCEED_OPTIONS_PRINT}")

# libCEED build patches
set(LIBCEED_PATCH_FILES
"${CMAKE_SOURCE_DIR}/extern/patch/libCEED/patch_operator_assembly_memory.diff"
)

include(ExternalProject)
ExternalProject_Add(libCEED
DEPENDS ${LIBCEED_DEPENDENCIES}
Expand All @@ -136,7 +131,6 @@ ExternalProject_Add(libCEED
PREFIX ${CMAKE_BINARY_DIR}/extern/libCEED-cmake
BUILD_IN_SOURCE TRUE
UPDATE_COMMAND ""
PATCH_COMMAND git apply "${LIBCEED_PATCH_FILES}"
CONFIGURE_COMMAND ""
BUILD_COMMAND ""
INSTALL_COMMAND ${CMAKE_MAKE_PROGRAM} ${LIBCEED_OPTIONS} install
Expand Down
225 changes: 0 additions & 225 deletions extern/patch/libCEED/patch_operator_assembly_memory.diff

This file was deleted.

0 comments on commit 58d35e5

Please sign in to comment.