parigp-target_arch.patch

   1 diff -urNp -x '*.orig' pari-2.5.5.org/config/get_archos pari-2.5.5/config/get_archos
   2 --- pari-2.5.5.org/config/get_archos    2011-09-22 22:02:11.000000000 +0200
   3 +++ pari-2.5.5/config/get_archos        2021-05-07 23:08:59.794747185 +0200
   4 @@ -6,6 +6,10 @@ fi
   5  arch=`echo "$target_host" | sed -e 's/\(.*\)-.*/\1/'`
   6  osname=`echo "$target_host" | sed -e 's/.*-\(.*\)/\1/'`
   7
   8 +if test -n "$target_arch"; then
   9 +  arch=$target_arch
  10 +fi
  11 +
  12  if test "$fastread" != yes; then
  13    cat << EOM
  14  ==========================================================================
  15 --- pari-2.11.4/config/get_config_options.orig  2021-06-26 09:48:23.206303784 +0200
  16 +++ pari-2.11.4/config/get_config_options       2021-06-26 09:50:09.378489327 +0200
  17 @@ -48,6 +48,7 @@ while test $# -gt 0; do
  18    --sysdatadir=*) dfltsysdatadir=`echo "$1" | sed -e 's/[-a-z]*=//'`;;
  19    --time=*) timing_fun=`echo "$1" | sed -e 's/[-a-z]*=//'`;;
  20    --host=*) target_host=`echo "$1" | sed -e 's/[-a-z]*=//'`;;
  21 +  --target=*) target_arch=`echo "$1" | sed -e 's/[-a-z]*=//'`;;
  22    --kernel=*) kernel=`echo "$1" | sed -e 's/[-a-z]*=//'`;;
  23    --mt=*) thread_engine=`echo "$1" | sed -e 's/[-a-z]*=//'`;;
  24    --tune) tune=yes;;