#! /bin/bash
#
# $Id$
#
# Copyright 1989-2016 MINES ParisTech
#
# This file is part of PIPS.
#
# PIPS is free software: you can redistribute it and/or modify it
# under the terms of the GNU General Public License as published by
# the Free Software Foundation, either version 3 of the License, or
# any later version.
#
# PIPS is distributed in the hope that it will be useful, but WITHOUT ANY
# WARRANTY; without even the implied warranty of MERCHANTABILITY or
# FITNESS FOR A PARTICULAR PURPOSE.
#
# See the GNU General Public License for more details.
#
# You should have received a copy of the GNU General Public License
# along with PIPS. If not, see .
#
# Use $INSTALL_DIR if set or $PIPS_ROOT, if SimpleTool_dir is not set for
# testing:
prefix="@prefix@"
datarootdir="@datarootdir@"
SimpleTool_dir="@datadir@"
# work around
[ "$SHR_d" -a -d "$SHR_d" ] || SHR_d=${0%/*/*}/share
[ -d "$SHR_d" ] || { echo "no $SHR_d directory" >&2 ; exit 1 ; }
function display_usage_and_exit () {
cat <