diff options
author | Jörg Frings-Fürst <debian@jff.email> | 2025-05-02 07:42:02 +0200 |
---|---|---|
committer | Jörg Frings-Fürst <debian@jff.email> | 2025-05-02 07:42:02 +0200 |
commit | fc486627a4ecbae797fa6856d8a9204ea85f4db8 (patch) | |
tree | ff3dae4c0e5d980d8e2da4fc6256ae839269bbcd /xsd/build/import/libz/configure | |
parent | 1c188393cd2e271ed2581471b601fb5960777fd8 (diff) | |
parent | ecba0bbd9947036dd82f16ab95252f8db445e149 (diff) |
Merge tag 'debian/4.0.0-10' into developdevelop
Bugfix release
Diffstat (limited to 'xsd/build/import/libz/configure')
-rwxr-xr-x | xsd/build/import/libz/configure | 57 |
1 files changed, 57 insertions, 0 deletions
diff --git a/xsd/build/import/libz/configure b/xsd/build/import/libz/configure new file mode 100755 index 0000000..b937a6c --- /dev/null +++ b/xsd/build/import/libz/configure @@ -0,0 +1,57 @@ +#! /usr/bin/env bash + +# file : build/import/libz/configure +# copyright : Copyright (c) 2009 Boris Kolpackov +# license : GNU GPL v2; see accompanying LICENSE file + + +# $1 - out config file +# +# bld_root - build root +# project_name - project name +# + +source $bld_root/dialog.bash + + +$echo +$echo "Configuring external dependency on 'zlib' for '$project_name'." +$echo + +$echo +$echo "Would you like to configure dependency on the installed version" +$echo "of 'zlib' as opposed to the development build?" +$echo + +installed=`read_y_n y` + +path= +type= + +if [ "$installed" = "n" ]; then + + $echo + $echo "Please enter the 'zlib' root directory." + $echo + + root=`read_path --directory --exist` + + $echo + $echo "Please select the library type you would like to use:" + $echo + $echo "(1) archive" + $echo "(2) shared object" + $echo + + type=`read_option "archive shared" "shared"` + +fi + +echo libz_installed := $installed >$1 + +if [ "$installed" = "n" ]; then + + echo libz_root := $root >>$1 + echo libz_type := $type >>$1 + +fi |