For purposes known mostly within our company, I’ve created a magic makefile that takes care of most of the work involved with getting a GNAT 2012 (and up-to-date various support tools) up and running on a Debian. The makefile requires you to download some files manually, but that’s okay, as it gives you a great […]
Category Archives: Ada
SPARK toolkit
Last year I completed a report the SPARK toolkit. For those interested, I have now made it available for download. Enjoy reading! spark_overview.pdf
Ada libusb-0.1 bindings (initial release)
The initial release of my Ada bindings for the generic USB library libusb. The bindings are done towards the old 0.1 library to provide maximum portability. Bug reports are welcome. And, as always, use on your own risk. Download here: ada-libusb_thin latest
MBUS and Ada
I recently got my hand on a OM13006 Power Plug meter development kit from NXP Semiconductors. The entire process of actually getting the kit was a quite cumbersome one, and tale left for another time. Though I would like to thank the people at Future Electronics for their invaluable help. So, now I have a […]