diff options
author | Jörg Frings-Fürst <debian@jff.email> | 2024-03-06 10:24:11 +0100 |
---|---|---|
committer | Jörg Frings-Fürst <debian@jff.email> | 2024-03-06 10:24:11 +0100 |
commit | 4538829ab86b5a1cd4e845e7eab165029c9d6d46 (patch) | |
tree | bbadf39aed0610c8f8f7b41fefff47773b8ac205 /build-0.3/ld/configure-lib | |
parent | 23d41842168ac1a1580111b9c5c73500ceee3d57 (diff) | |
parent | aad5ad9bf0c02aa4e79bc6b7d6c934612fff4026 (diff) |
Update upstream source from tag 'upstream/4.2.0'
Update to upstream version '4.2.0'
with Debian dir 1b38df7bbcf313223de3c50107ac0255090fe647
Diffstat (limited to 'build-0.3/ld/configure-lib')
-rwxr-xr-x | build-0.3/ld/configure-lib | 50 |
1 files changed, 0 insertions, 50 deletions
diff --git a/build-0.3/ld/configure-lib b/build-0.3/ld/configure-lib deleted file mode 100755 index 5243357..0000000 --- a/build-0.3/ld/configure-lib +++ /dev/null @@ -1,50 +0,0 @@ -#! /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 |