--- Makefile.orig	2015-06-21 07:30:14 UTC
+++ Makefile
@@ -112,8 +112,8 @@ GPROPTS += -XPRJ_BUILD=$(PRJ_BUILD) -XTP
 
 GPR_DEFAULT = -XLIBRARY_TYPE=$(DEFAULT_LIBRARY_TYPE) \
 		-XXMLADA_BUILD=$(DEFAULT_LIBRARY_TYPE)
-GPR_OTHER   = -XLIBRARY_TYPE=$(DEFAULT_LIBRARY_TYPE) \
-		-XXMLADA_BUILD=$(DEFAULT_LIBRARY_TYPE)
+GPR_OTHER   = -XLIBRARY_TYPE=$(OTHER_LIBRARY_TYPE) \
+		-XXMLADA_BUILD=$(OTHER_LIBRARY_TYPE)
 
 #######################################################################
 #  build