Renames README files consistently.

This commit is contained in:
Peter Kofler committed 2018-12-02 20:39:39 +01:00
1 parent c41d122512
commit e0373461c1
5 files changed

No files matched your search

+8
View File
@@ -0,0 +1,8 @@
You will need the following programs:
- GNU make (on Debian-like systems do 'apt-get install make')
- gcc with Ada enabled ('apt-get install gnat')
- the ahven unit-test framework ('apt-get install libahven5-dev')
'make test' runs your tests once.