File Manager

Editing File: /usr/bin/pcre2-config

#!/bin/sh

prefix=/usr
exec_prefix=${prefix}
exec_prefix_set=no

cflags="[--cflags]"
libs=

if test yes = yes ; then
  libs="[--libs16] $libs"
fi

if test yes = yes ; then
  libs="[--libs32] $libs"
fi

if test yes = yes ; then
  libs="[--libs8] [--libs-posix] $libs"
  cflags="$cflags [--cflags-posix]"
fi

usage="Usage: pcre2-config [--prefix] [--exec-prefix] [--version] $libs $cflags"

if test $# -eq 0; then
      echo "${usage}" 1>&2
      exit 1
fi

libR=

libS=

while test $# -gt 0; do
  case "$1" in
  -*=*) optarg=`echo "$1" | sed 's/[-_a-zA-Z0-9]*=//'` ;;
  *) optarg= ;;
  esac

case $1 in
    --prefix=*)
      prefix=$optarg
      if test $exec_prefix_set = no ; then
        exec_prefix=$optarg
      fi
      ;;
    --prefix)
      echo $prefix
      ;;
    --exec-prefix=*)
      exec_prefix=$optarg
      exec_prefix_set=yes
      ;;
    --exec-prefix)
      echo $exec_prefix
      ;;
    --version)
      echo 10.42
      ;;
    --cflags)
      if test ${prefix}/include != /usr/include ; then
        includes=-I${prefix}/include
      fi
      echo $includes 
      ;;
    --cflags-posix)
      if test yes = yes ; then
        if test ${prefix}/include != /usr/include ; then
          includes=-I${prefix}/include
        fi
        echo $includes 
      else
        echo "${usage}" 1>&2
      fi
      ;;
    --libs-posix)
      if test yes = yes ; then
        echo $libS$libR -lpcre2-posix -lpcre2-8
      else
        echo "${usage}" 1>&2
      fi
      ;;
    --libs8)
      if test yes = yes ; then
        echo $libS$libR -lpcre2-8
      else
        echo "${usage}" 1>&2
      fi
      ;;
    --libs16)
      if test yes = yes ; then
        echo $libS$libR -lpcre2-16
      else
        echo "${usage}" 1>&2
      fi
      ;;
    --libs32)
      if test yes = yes ; then
        echo $libS$libR -lpcre2-32
      else
        echo "${usage}" 1>&2
      fi
      ;;
    *)
      echo "${usage}" 1>&2
      exit 1
      ;;
  esac
  shift
done

Back to Directory File Manager