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