Merge tag 'debian/4.0.0-10' into developdevelop

Bugfix release

1 files changed, 50 insertions, 0 deletions

diff --git a/build-0.3/ld/configure-lib b/build-0.3/ld/configure-lib
new file mode 100755
index 0000000..5243357
--- /dev/null
+++ b/build-0.3/ld/configure-lib
@@ -0,0 +1,50 @@
+#! /usr/bin/env bash
+
+# file      : build/ld/configure-lib
+# copyright : Copyright (c) 2004-2012 Code Synthesis Tools CC
+# license   : GNU GPL v2; see accompanying LICENSE file
+
+# $1  out file
+#
+# bld_root     - build root
+# project_name - project name
+#
+
+source $bld_root/dialog.bash
+
+$echo
+$echo
+$echo "configuring '$project_name'"
+$echo
+$echo
+
+$echo
+$echo "Please select the default library type:"
+$echo
+$echo "(1) archive"
+$echo "(2) shared object"
+$echo
+
+type=`read_option "archive shared" "shared"`
+
+if [ "$type" == "archive" ]; then
+
+  $echo
+  $echo "Please enter the archiver (ar) binary you would like to use."
+  $echo
+
+  ar=`read_path --command ar`
+
+  $echo
+  $echo "Please enter the indexer (ranlib) binary you would like to use."
+  $echo
+
+  ranlib=`read_path --command ranlib`
+fi
+
+echo "ld_lib_type   := $type" > $1
+
+if [ "$type" == "archive" ]; then
+  echo "ld_lib_ar     := $ar"     >> $1
+  echo "ld_lib_ranlib := $ranlib" >> $1
+fi