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