+# Check whether --with-ada-sharedlib or --without-ada-sharedlib was given.
+if test "${with_ada_sharedlib+set}" = set; then
+ withval="$with_ada_sharedlib"
+ with_ada_sharedlib=$withval
+else
+ with_ada_sharedlib=no
+fi;
+echo "$as_me:10836: result: $with_ada_sharedlib" >&5
+echo "${ECHO_T}$with_ada_sharedlib" >&6
+
+if test "x$with_ada_sharedlib" != xno
+then
+ MAKE_ADA_SHAREDLIB=
+ if test "x$with_ada_sharedlib" != xyes
+ then
+ ADA_SHAREDLIB="$with_ada_sharedlib"
+ else
+ ADA_SHAREDLIB='lib$(LIB_NAME).so.1'
+ fi
+else
+ MAKE_ADA_SHAREDLIB="#"
+fi
+
+ fi