Create $prefix/lib/gnat if does not exist
commitc3849144b223bf6c200c3bc57c78c637bf782c1b
authorOlivier Ramonat <olivier@ramonat.fr>
Sat, 6 Feb 2010 11:57:01 +0000 (6 12:57 +0100)
committerOlivier Ramonat <olivier@ramonat.fr>
Sat, 6 Feb 2010 11:57:01 +0000 (6 12:57 +0100)
tree3aa1d39d355776d8339b4540744d38203e243762
parent686c6681b9d33b15bd5e5127fb33a82e5890d90b
Create $prefix/lib/gnat if does not exist
Makefile