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

Ada isn’t a well-known language to web-application developers. However, it has several strengths that makes the final application scalable, robust, and more secure than other languages.