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