Add missing copyright headers.
[mes.git] / uninstall.sh
1 #! /bin/sh
2
3 # GNU Mes --- Maxwell Equations of Software
4 # Copyright © 2018 Jan (janneke) Nieuwenhuizen <janneke@gnu.org>
5 #
6 # This file is part of GNU Mes.
7 #
8 # GNU Mes is free software; you can redistribute it and/or modify it
9 # under the terms of the GNU General Public License as published by
10 # the Free Software Foundation; either version 3 of the License, or (at
11 # your option) any later version.
12 #
13 # GNU Mes is distributed in the hope that it will be useful, but
14 # WITHOUT ANY WARRANTY; without even the implied warranty of
15 # MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
16 # GNU General Public License for more details.
17 #
18 # You should have received a copy of the GNU General Public License
19 # along with GNU Mes.  If not, see <http://www.gnu.org/licenses/>.
20
21 #set -e
22
23 . build-aux/trace.sh
24
25 GUILE_EFFECTIVE_VERSION=${GUILE_EFFECTIVE_VERSION-$(guile -c '(display (effective-version))')}
26
27 prefix=${prefix-/usr/local}
28 datadir=${datadir-$prefix/share}
29 docdir=${docdir-$datadir/doc/mes-$VERSION}
30 infodir=${infodir-$datadir/info}
31 mandir=${mandir-$datadir/man}
32 moduledir=${moduledir-$datadir/mes/module}
33 guile_site_dir=${guile_site_dir-$prefix/share/guile/site/$GUILE_EFFECTIVE_VERSION}
34 guile_site_ccache_dir=${guile_site_ccache_dir-$prefix/lib/guile/$GUILE_EFFECTIVE_VERSION/site-ccache}
35
36 mkdir -p $DESTDIR$prefix/bin
37 cp ${top_builddest}src/mes $DESTDIR$prefix/bin/mes
38
39 mkdir -p $DESTDIR$prefix/lib
40 mkdir -p $DESTDIR$MES_PREFIX/lib
41 cp ${top_builddest}scripts/mescc $DESTDIR$prefix/bin/mescc
42
43 rm $DESTDIR$prefix/bin/mes
44 rm $DESTDIR$prefix/bin/mescc
45 rmdir $DESTDIR$prefix/bin || :
46
47 for i in\
48     AUTHORS\
49     BOOTSTRAP\
50     COPYING\
51     ChangeLog\
52     HACKING\
53     INSTALL\
54     NEWS\
55     README\
56     ;do
57     rm $DESTDIR$docdir/$i || :;
58 done
59
60 rmdir $DESTDIR$docdir || :
61
62 rm -r $DESTDIR$MES_PREFIX
63 rm -r $DESTDIR$guile_site_ccache_dir/mes
64 rm -r $DESTDIR$guile_site_ccache_dir/mescc
65
66 rm -r $DESTDIR$guile_site_dir/mes
67 rm -r $DESTDIR$guile_site_dir/mescc
68
69 rm $DESTDIR$prefix/share/info/mes.info*
70 rm $DESTDIR$mandir/man1/mes.1
71 rm $DESTDIR$mandir/man1/mescc.1