2017-11-24 18:02:58 +00:00
|
|
|
#! /bin/sh
|
|
|
|
|
2018-07-23 17:10:34 +00:00
|
|
|
# GNU Mes --- Maxwell Equations of Software
|
|
|
|
# Copyright © 2017,2018 Jan (janneke) Nieuwenhuizen <janneke@gnu.org>
|
|
|
|
#
|
|
|
|
# This file is part of GNU Mes.
|
|
|
|
#
|
|
|
|
# GNU Mes 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 (at
|
|
|
|
# your option) any later version.
|
|
|
|
#
|
|
|
|
# GNU Mes 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 GNU Mes. If not, see <http://www.gnu.org/licenses/>.
|
|
|
|
|
2017-11-24 18:02:58 +00:00
|
|
|
set -e
|
2018-07-21 22:43:39 +00:00
|
|
|
|
2018-11-06 19:29:35 +00:00
|
|
|
. ./config.status
|
2018-07-25 06:14:13 +00:00
|
|
|
. ${srcdest}build-aux/config.sh
|
|
|
|
. ${srcdest}build-aux/trace.sh
|
|
|
|
|
|
|
|
SHELL=${SHELL-$(command -v sh)}
|
2018-06-28 21:10:14 +00:00
|
|
|
|
2018-07-07 15:31:06 +00:00
|
|
|
# use bash or lose if pipes fail
|
|
|
|
[ -n "$BASH" ] && set -o pipefail
|
|
|
|
|
2018-07-09 08:46:28 +00:00
|
|
|
MES_PREFIX=${MES_PREFIX-$prefix/share/mes}
|
2017-11-24 18:02:58 +00:00
|
|
|
|
2018-07-21 22:43:39 +00:00
|
|
|
GUILE=${GUILE-$(command -v guile)} || true
|
|
|
|
if [ -z "$GUILE" -o "$GUILE" = true ]; then
|
|
|
|
GUILE_EFFECTIVE_VERSION=${GUILE_EFFECTIVE_VERSION-2.2}
|
|
|
|
else
|
|
|
|
GUILE_EFFECTIVE_VERSION=${GUILE_EFFECTIVE_VERSION-$(guile -c '(display (effective-version))')}
|
|
|
|
fi
|
2018-08-09 09:00:10 +00:00
|
|
|
bindir=$(eval echo ${bindir-$prefix/bin})
|
|
|
|
datadir=$(eval echo ${datadir-$prefix/share})
|
|
|
|
docdir=$(eval echo ${docdir-$datadir/doc/mes-$VERSION})
|
|
|
|
infodir=$(eval echo ${infodir-$datadir/info})
|
|
|
|
mandir=$(eval echo ${mandir-$datadir/man})
|
|
|
|
moduledir=$(eval echo ${moduledir-$datadir/mes/module})
|
|
|
|
guile_site_dir=$(eval echo ${guile_site_dir-$prefix/share/guile/site/$GUILE_EFFECTIVE_VERSION})
|
|
|
|
guile_site_ccache_dir=$(eval echo ${guile_site_ccache_dir-$prefix/lib/guile/$GUILE_EFFECTIVE_VERSION/site-ccache})
|
2018-07-21 05:15:52 +00:00
|
|
|
|
2018-07-21 16:28:47 +00:00
|
|
|
mkdir -p $DESTDIR$bindir
|
2018-11-06 19:29:35 +00:00
|
|
|
if [ -f src/x86-mes-mes ]; then
|
|
|
|
cp src/x86-mes-mes $DESTDIR$bindir/mes
|
|
|
|
fi
|
2018-07-25 06:14:13 +00:00
|
|
|
cp scripts/mescc $DESTDIR$bindir/mescc
|
2018-07-09 08:46:28 +00:00
|
|
|
|
2018-07-21 16:28:47 +00:00
|
|
|
sed \
|
|
|
|
-e "s,^#! /bin/sh,#! $SHELL," \
|
|
|
|
scripts/diff.scm > $DESTDIR$bindir/diff.scm
|
|
|
|
chmod -w+x $DESTDIR$bindir/diff.scm
|
|
|
|
|
|
|
|
mkdir -p $docdir
|
2018-07-21 21:56:08 +00:00
|
|
|
|
|
|
|
if [ -n "$PERL" -a -n "$GIT" ]\
|
|
|
|
&& $PERL -v > /dev/null\
|
2018-11-06 19:29:35 +00:00
|
|
|
&& $GIT status > /dev/null; then
|
2018-07-25 06:14:13 +00:00
|
|
|
$PERL ${srcdest}build-aux/gitlog-to-changelog --srcdir=. > ChangeLog
|
2018-07-21 21:56:08 +00:00
|
|
|
fi
|
|
|
|
|
2018-07-21 16:28:47 +00:00
|
|
|
cp\
|
|
|
|
AUTHORS\
|
|
|
|
BOOTSTRAP\
|
|
|
|
COPYING\
|
|
|
|
HACKING\
|
|
|
|
INSTALL\
|
|
|
|
NEWS\
|
|
|
|
README\
|
|
|
|
$DESTDIR$docdir
|
2017-11-24 18:02:58 +00:00
|
|
|
|
2018-07-25 06:14:13 +00:00
|
|
|
if [ -f ChangeLog ]; then
|
|
|
|
cp ChangeLog $DESTDIR$docdir
|
2018-07-21 16:28:47 +00:00
|
|
|
else
|
|
|
|
cp ChangeLog $DESTDIR$docdir
|
|
|
|
fi
|
|
|
|
|
2018-07-25 06:14:13 +00:00
|
|
|
if [ -f ChangeLog ]; then
|
|
|
|
cp ChangeLog $docdir
|
2018-07-21 22:43:39 +00:00
|
|
|
else
|
|
|
|
cp ChangeLog $docdir
|
|
|
|
fi
|
|
|
|
|
|
|
|
mkdir -p $DESTDIR$MES_PREFIX
|
2018-07-25 06:14:13 +00:00
|
|
|
if [ -z "$srcdest" ]; then
|
2018-10-09 17:22:51 +00:00
|
|
|
tar -cf- --exclude='*.E' --exclude='*.*-out' include lib | tar -xf- -C $DESTDIR$MES_PREFIX
|
2018-07-25 06:14:13 +00:00
|
|
|
tar -cf- --exclude='*.go' module | tar -xf- -C $DESTDIR$MES_PREFIX
|
2018-08-09 09:00:10 +00:00
|
|
|
tar -cf- --exclude='*.gcc*' --exclude='*.mes*' scaffold | tar -xf- -C $DESTDIR$MES_PREFIX
|
2018-07-25 06:14:13 +00:00
|
|
|
else
|
|
|
|
tar -cf- -C ${srcdest} include lib | tar -xf- -C $DESTDIR$MES_PREFIX
|
2018-10-09 17:22:51 +00:00
|
|
|
tar -cf- -C lib --exclude='*.E' --exclude='*.*-out' | tar -xf- -C $DESTDIR$MES_PREFIX
|
2018-07-25 06:14:13 +00:00
|
|
|
tar -cf- -C ${srcdest} module | tar -xf- -C $DESTDIR$MES_PREFIX
|
|
|
|
tar -cf- -C ${srcdest} scaffold | tar -xf- -C $DESTDIR$MES_PREFIX
|
|
|
|
fi
|
|
|
|
tar -cf- -C ${srcdest}mes module | tar -xf- -C $DESTDIR$MES_PREFIX
|
2018-04-29 16:38:57 +00:00
|
|
|
|
2018-11-06 19:29:35 +00:00
|
|
|
if [ -f src/mes.x86-mes-S ]; then
|
|
|
|
cp src/mes.x86-mes-S $DESTDIR$MES_PREFIX/lib/x86-mes/mes.S
|
|
|
|
fi
|
2018-10-09 17:22:51 +00:00
|
|
|
if [ -f src/mes.x86_64-mes-S ]; then
|
|
|
|
cp src/mes.x86_64-mes-S $DESTDIR$MES_PREFIX/lib/x86_64-mes/mes.S
|
|
|
|
fi
|
|
|
|
|
2018-07-21 05:15:52 +00:00
|
|
|
mkdir -p $DESTDIR$guile_site_dir
|
|
|
|
mkdir -p $DESTDIR$guile_site_ccache_dir
|
2018-07-25 06:14:13 +00:00
|
|
|
tar -cf- -C ${srcdest}module --exclude='*.go' . | tar -xf- -C $DESTDIR$guile_site_dir
|
|
|
|
tar -cf- -C module --exclude='*.scm' . | tar -xf- -C $DESTDIR$guile_site_ccache_dir
|
2018-04-29 16:38:57 +00:00
|
|
|
|
2018-07-25 06:14:13 +00:00
|
|
|
if [ -f doc/mes.info ]; then
|
2018-07-21 22:43:39 +00:00
|
|
|
mkdir -p $DESTDIR$infodir
|
2018-07-25 06:14:13 +00:00
|
|
|
tar -cf- doc/mes.info* doc/images | tar -xf- --strip-components=1 -C $DESTDIR$infodir
|
|
|
|
install-info --info-dir=$DESTDIR$infodir doc/mes.info
|
2018-06-27 11:42:47 +00:00
|
|
|
fi
|
2018-06-28 21:10:14 +00:00
|
|
|
|
2018-07-25 06:14:13 +00:00
|
|
|
if [ -f doc/mes.1 ]; then
|
2018-07-09 08:46:28 +00:00
|
|
|
mkdir -p $DESTDIR$mandir/man1
|
2018-07-25 06:14:13 +00:00
|
|
|
cp doc/mes.1 $DESTDIR$mandir/man1/
|
2018-06-28 21:10:14 +00:00
|
|
|
fi
|
|
|
|
|
2018-07-25 06:14:13 +00:00
|
|
|
if [ -f doc/mescc.1 ]; then
|
2018-07-09 08:46:28 +00:00
|
|
|
mkdir -p $DESTDIR$mandir/man1
|
2018-07-25 06:14:13 +00:00
|
|
|
cp doc/mescc.1 $DESTDIR$mandir/man1/
|
2018-06-28 21:10:14 +00:00
|
|
|
fi
|