$(MAKEDIR) obj clean: rm -rf obj/ rm -rf bin/ .PHONY: test src Next Steps Great, so now you have a working development environment for Ada with which you can build and run any code that you write.

Ada code controls rockets like the Ariane 4 and 5, many satellites, and countless other systems where small glitches can have major consequences. Ada might also be the right choice for your next ...

Ada and SPARK can be mixed at a fine-grained level—the programmer can combine Ada and SPARK code in different packages or subprograms, or inside a single package or subprogram (for example ...