Revert "Add missing library option"
treefd72e4fd04f1a82b5a77efbdb69edd707a0fc52c
-rw-r--r-- 93 .gitignore
-rw-r--r-- 105 .gitmodules
-rw-r--r-- 17987 COPYING
-rw-r--r-- 426 INSTALL
-rw-r--r-- 3730 Makefile
drwxr-xr-x - external-libs
-rw-r--r-- 3113 gnadelite.gpr
drwxr-xr-x - gpr
drwxr-xr-x - src
drwxr-xr-x - tests