target_compile_definitions(hxt_reparam PRIVATE HXT_HAVE_PETSC)