Add missing INSTALL setting in makefile.
commit3d4a9b929084de0da74099ac29b8d93a2f7aed27
authorPascal Obry <pascal@obry.net>
Fri, 30 Nov 2007 11:02:41 +0000 (30 12:02 +0100)
committerPascal Obry <pascal@obry.net>
Fri, 30 Nov 2007 11:02:41 +0000 (30 12:02 +0100)
treeaf3636a34d9c4631ebd311210dff400cef152cea
parent92d4d31ffac1dd20de7b15d7429b9ce2454bafc5
Add missing INSTALL setting in makefile.

The value default to the current GNAT root.
makefile