2017-11-24 18:02:58 +00:00
|
|
|
#! /bin/sh
|
|
|
|
|
2018-07-23 17:10:34 +00:00
|
|
|
# GNU Mes --- Maxwell Equations of Software
|
2019-02-25 17:37:18 +00:00
|
|
|
# Copyright © 2017,2018,2019 Jan (janneke) Nieuwenhuizen <janneke@gnu.org>
|
2018-07-23 17:10:34 +00:00
|
|
|
#
|
|
|
|
# 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
|
|
|
|
2018-11-24 20:07:31 +00:00
|
|
|
mes_prefix=@prefix@/share/mes
|
2018-06-28 21:10:14 +00:00
|
|
|
|
2018-07-07 15:31:06 +00:00
|
|
|
# use bash or lose if pipes fail
|
2019-05-15 13:18:38 +00:00
|
|
|
if [ -n "$BASHOPTS" ]; then
|
2018-11-24 20:07:31 +00:00
|
|
|
set -o pipefail
|
2018-07-21 22:43:39 +00:00
|
|
|
fi
|
2018-11-24 20:07:31 +00:00
|
|
|
|
2019-05-15 13:18:38 +00:00
|
|
|
mkdir -p ${DESTDIR}@bindir@
|
2018-11-06 19:29:35 +00:00
|
|
|
if [ -f src/x86-mes-mes ]; then
|
2019-05-15 13:18:38 +00:00
|
|
|
cp src/x86-mes-mes ${DESTDIR}@bindir@/mes
|
2018-11-06 19:29:35 +00:00
|
|
|
fi
|
2019-05-15 13:18:38 +00:00
|
|
|
cp scripts/mescc.scm ${DESTDIR}@bindir@/mescc.scm
|
|
|
|
cp scripts/mescc ${DESTDIR}@bindir@/mescc
|
2018-07-09 08:46:28 +00:00
|
|
|
|
2018-07-21 16:28:47 +00:00
|
|
|
sed \
|
2018-11-24 20:07:31 +00:00
|
|
|
-e "s,^#! /bin/sh,#! @SHELL@," \
|
2019-05-15 13:18:38 +00:00
|
|
|
scripts/diff.scm > ${DESTDIR}@bindir@/diff.scm
|
|
|
|
chmod +x ${DESTDIR}@bindir@/diff.scm
|
2018-07-21 16:28:47 +00:00
|
|
|
|
2019-05-15 13:18:38 +00:00
|
|
|
mkdir -p ${DESTDIR}@docdir@
|
2018-07-21 21:56:08 +00:00
|
|
|
|
2018-11-24 20:07:31 +00:00
|
|
|
if [ -n "@PERL@" ]\
|
|
|
|
&& [ -n "@GIT@" ]\
|
|
|
|
&& @PERL@ -v > /dev/null\
|
|
|
|
&& @GIT@ status > /dev/null; then
|
|
|
|
@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\
|
2019-05-15 13:18:38 +00:00
|
|
|
${DESTDIR}@docdir@
|
2017-11-24 18:02:58 +00:00
|
|
|
|
2018-07-25 06:14:13 +00:00
|
|
|
if [ -f ChangeLog ]; then
|
2019-05-15 13:18:38 +00:00
|
|
|
cp ChangeLog ${DESTDIR}@docdir@
|
2018-07-21 16:28:47 +00:00
|
|
|
else
|
2019-05-15 13:18:38 +00:00
|
|
|
cp ChangeLog ${DESTDIR}@docdir@
|
2018-07-21 22:43:39 +00:00
|
|
|
fi
|
|
|
|
|
2018-11-24 20:07:31 +00:00
|
|
|
mkdir -p $DESTDIR$mes_prefix
|
2019-05-03 16:08:46 +00:00
|
|
|
rm -f $(find lib -type f -a -executable)
|
|
|
|
rm -f $(find lib/tests -type f -a -name '*.1')
|
|
|
|
rm -f $(find lib/tests -type f -a -name '*.2')
|
|
|
|
rm -f $(find lib/tests -type f -a -name '*.o')
|
|
|
|
rm -f $(find lib/tests -type f -a -name '*.log')
|
|
|
|
rm -f $(find lib/tests -type f -a -name '*.x86-mes*')
|
|
|
|
rm -f $(find lib/tests -type f -a -name '*.x86_64-mes*')
|
|
|
|
rm -f $(find scaffold -type f -a -executable)
|
|
|
|
rm -f $(find scaffold -type f -a -name '*.1')
|
|
|
|
rm -f $(find scaffold -type f -a -name '*.2')
|
|
|
|
rm -f $(find scaffold -type f -a -name '*.o')
|
|
|
|
rm -f $(find scaffold -type f -a -name '*.S')
|
|
|
|
rm -f $(find scaffold -type f -a -name '*.log')
|
|
|
|
rm -f $(find scaffold -type f -a -name '*.x86-mes*')
|
|
|
|
rm -f $(find scaffold -type f -a -name '*.x86_64-mes*')
|
2018-07-25 06:14:13 +00:00
|
|
|
if [ -z "$srcdest" ]; then
|
2019-05-03 16:08:46 +00:00
|
|
|
tar -cf- include lib | tar -xf- -C $DESTDIR$mes_prefix
|
2018-11-24 20:07:31 +00:00
|
|
|
tar -cf- --exclude='*.go' module | tar -xf- -C $DESTDIR$mes_prefix
|
2019-05-03 16:08:46 +00:00
|
|
|
tar -cf- scaffold | tar -xf- -C $DESTDIR$mes_prefix
|
2018-07-25 06:14:13 +00:00
|
|
|
else
|
2018-11-24 20:07:31 +00:00
|
|
|
tar -cf- -C ${srcdest} include lib | tar -xf- -C $DESTDIR$mes_prefix
|
2019-05-03 16:08:46 +00:00
|
|
|
tar -cf- -C lib | tar -xf- -C $DESTDIR$mes_prefix
|
2018-11-24 20:07:31 +00:00
|
|
|
tar -cf- -C ${srcdest} module | tar -xf- -C $DESTDIR$mes_prefix
|
|
|
|
tar -cf- -C ${srcdest} scaffold | tar -xf- -C $DESTDIR$mes_prefix
|
2018-07-25 06:14:13 +00:00
|
|
|
fi
|
2018-11-24 20:07:31 +00:00
|
|
|
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
|
2018-11-24 20:07:31 +00:00
|
|
|
cp src/mes.x86-mes-S $DESTDIR$mes_prefix/lib/x86-mes/mes.S
|
2018-11-06 19:29:35 +00:00
|
|
|
fi
|
2018-10-09 17:22:51 +00:00
|
|
|
if [ -f src/mes.x86_64-mes-S ]; then
|
2018-11-24 20:07:31 +00:00
|
|
|
cp src/mes.x86_64-mes-S $DESTDIR$mes_prefix/lib/x86_64-mes/mes.S
|
2018-10-09 17:22:51 +00:00
|
|
|
fi
|
|
|
|
|
2019-05-03 16:08:46 +00:00
|
|
|
mkdir -p ${DESTDIR}@guile_site_dir@
|
|
|
|
mkdir -p ${DESTDIR}@guile_site_ccache_dir@
|
|
|
|
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
|
2019-05-03 16:08:46 +00:00
|
|
|
mkdir -p ${DESTDIR}@infodir@
|
|
|
|
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
|
2019-05-03 16:08:46 +00:00
|
|
|
mkdir -p ${DESTDIR}@mandir@/man1
|
|
|
|
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
|
2019-05-03 16:08:46 +00:00
|
|
|
mkdir -p ${DESTDIR}@mandir@/man1
|
|
|
|
cp doc/mescc.1 ${DESTDIR}@mandir@/man1/
|
2018-06-28 21:10:14 +00:00
|
|
|
fi
|