When I got my Hall's Pantera brake kit it came with a mechanical switch triggered by the pedal. It was a POS that was constantly not closing its contacts. I replaced it with a microswitch. I went down to photograph how I mounted it and found that I must have replaced it with a switch similar to the Hall's one. This was over 10 years ago and can't remember why I did that. Anyway here's a picture of the mounting. Quite simple. I think the switches, or something quite similar, are available at most auto parts stores. Or Amazon:
http://www.amazon.com/Standard...plight/dp/B000CPK39GOops, stand on your head