Add missing BUILD_DIR
tree2c632f6ffc116c8230028ca914066605f18a0587
-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