Add missing library option
commit62a9e5ef814079cbe6666c6246470cb1439d6bbf
authorOlivier Ramonat <olivier@ramonat.fr>
Wed, 10 Dec 2008 21:18:26 +0000 (10 22:18 +0100)
committerOlivier Ramonat <olivier@ramonat.fr>
Wed, 10 Dec 2008 21:40:16 +0000 (10 22:40 +0100)
tree3d6c67a645f87bcdb2a0f5334743d6cd1109189f
parent3992e4eb332b02e4933517cf327a932d86ce0e35
Add missing library option
gpr/gnadelite.gpr