1: #ifndef PETSCDMPLEXCEED_H 2: #define PETSCDMPLEXCEED_H 4: #if !defined(PETSC_HAVE_LIBCEED) 5: #error "PETSc not configured for libCEED; reconfigrue --with-libceed or --download-libceed" 6: #endif 8: #include <petscdmplex.h> 9: #include <ceed.h> 11: PETSC_EXTERN PetscErrorCode DMPlexGetCeedRestriction(DM, DMLabel, PetscInt, PetscInt, PetscInt, CeedElemRestriction *); 13: #endif