One of the best ways to cook pork is on the grill. Even the succulent tenderloin shines when marinated with a full-bodied marinade and then grilled. Because you want to cook pork fully, use a reliable meat thermometer so that it will be perfect—but not overcooked.
Combine the cider, raisins, brown sugar, cloves, cinnamon, mace, cardamom, and pepper in a small saucepan and bring to a boil over high heat. Reduce the heat to medium and cook, stirring, for 4 or 5 minutes, or until the flavors blend and the raisins plump slightly. Remove from the heat and let cool slightly.
Put the tenderloins in a shallow glass or ceramic dish and pour the marinade over them. Cover and set aside at room temperature for no longer than 30 minutes, or refrigerate for as long as 4 hours. If they have been refrigerated, let the tenderloins stand at room temperature for about 15 minutes before grilling.
Prepare a charcoal or gas grill. Lightly spray the grill rack with vegetable oil cooking spray. The coals should be moderately hot to hot.
Lift the tenderloins from the marinade, reserving the marinade. Grill the tenderloins for 14 to 17 minutes, turning with tongs once or twice and brushing with the marinade during the first 10 minutes of cooking. Grill the tenderloins until cooked through and the internal temperature reaches 150° to 155°F. Let the pork rest for about 10 minutes before slicing; the temperature will rise to 160°F during the resting period. Slice thinly and serve.