Revision 5a63bd17a83030740eb27a980fe14a7a37f47efe authored by Software Heritage on 11 June 2019, 08:09:30 UTC, committed by Software Heritage on 11 June 2019, 08:09:30 UTC
1 parent df65912
Raw File
givaro-config.in
#! /bin/sh
# Copyright(c)'1994-2009 by The Givaro group
# This file is part of Givaro.
# Givaro is governed by the CeCILL-B license under French law
# and abiding by the rules of distribution of free software. 
# see the COPYRIGHT file for more details.


prefix=@prefix@
exec_prefix=@exec_prefix@
includedir=@includedir@
libdir=@libdir@

major=`echo @VERSION@ | cut -d'.' -f1`
minor=`echo @VERSION@ | cut -d'.' -f2`
micro=`echo @VERSION@ | cut -d'.' -f3`
decvr=$((((($major*100)+$minor)*100)+$micro))


cflags=false
libs=false


usage()
{
    cat <<EOF
Usage: givaro-config [OPTION]

Known values for OPTION are:

  --prefix		show Givaro installation prefix 
  --libs		print library linking information
  --cflags		print pre-processor and compiler flags
  --help		display this help and exit
  --version		output version information string (eg @VERSION@)
  --decimal-version     output version information number (that is $decvr, also available in givconfig.h)

EOF

    exit $1
}

if test $# -eq 0; then
    usage 1
fi

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
	;;

    --prefix)
	echo $prefix
	;;

    --version)
	echo @VERSION@
	exit 0
	;;

    --decimal-version)
	echo $decvr
	exit 0
	;;

    --help)
	usage 0
	;;

    --cflags)
       	echo -I${includedir} @GMP_CFLAGS@
	;;

    --libs)
       	echo -L${libdir} -lgivaro @GMP_LIBS@ 
       	;;

    *)
	usage
	exit 1
	;;
    esac
    shift
done
echo

exit 0
back to top