My mother was active at spay and release (trapping feral cats, spaying or neutering them, and then releasing them back into the neighborhoods they lived in) at her old house. By the time she left, there was only one feral cat in the neighborhood left.
She decided to bring the cat with her to the new house.
It has been several years now, and the cat is still completely feral.
It lives in the (furnished) basement, and hides in a sectioned-off area whenever people are around. She used to come out and play (primarily with a laser pointer, as it allowed her to avoid coming too close to any humans), but never let herself be petted, touched, or even allowed anyone to come within arm's reach of her.
My mother, unfortunately, recently got a dog. A small, very active puppy. Since getting the dog, the feral cat has regressed a bit, and no longer comes out at all when people are around.
They have one other cat, who is very friendly, and has adjusted well to the dog (well, relatively well, considering how hyper the dog is...). The two cats get along well.
Is there any advice I can give my mother on making the feral cat accustomed to being in the presence of people, or even comfortable enough to allow them to pet her?