$(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 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 ...