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 | 
