ada-libraries
/
gnatbdd
mirror of https://github.com/briot/gnatbdd
1
0
Fork 0
Code Issues Releases Wiki Activity
43 Commits 2 Branches 0 Tags 407 KiB
Commit Graph

2 Commits

Author SHA1 Message Date
Emmanuel Briot 0c65f972b9 Fix building this library with GNAT GPL 2017 2017-07-05 11:02:02 +02:00
Emmanuel Briot de179bcbdd Add support for command line in gnatbdd, in particular -P 
Add 'make install', and reorganize projects so that the generate project
now depends on gnatbdd.gpr.
 2014-06-05 16:33:45 +02:00