rio Green chile con carne (Pork w green chile sauce)

pork tenderloin from Costco 2-3 lbs
onion sliced
24 oz jar green chile sauce
1 can tomatoes w jalapenos
2 cans green chiles
lime juice 1 teas.
sprinkle some dried cilantro
salt
garlic
cumin
sprinkle of cloves