#! /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 <