blob: d18d9f737ccd38ca70e0ca1aa6765ec7519fd916 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
|
#!/bin/sh
# disfluid, implementation of the Solid specification
# Copyright (C) 2020, 2021 Vivien Kraus
# This program is free software: you can redistribute it and/or modify
# it under the terms of the GNU Affero General Public License as
# published by the Free Software Foundation, either version 3 of the
# License, or (at your option) any later version.
# This program 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 Affero General Public License for more details.
# You should have received a copy of the GNU Affero General Public License
# along with this program. If not, see <https://www.gnu.org/licenses/>.
if [ -f .manual-mdate ]
then
MANUAL_MDATE="$(cat .manual-mdate)"
MANUAL_MDATE_TOUCH="$(date -d $MANUAL_MDATE '+%Y%m%d%H%M.%S')"
>&2 echo "Changing the manual date to $MANUAL_MDATE_TOUCH (from $MANUAL_MDATE)."
touch -m -t "$MANUAL_MDATE_TOUCH" doc/disfluid.texi
else
>&2 echo "Please write the last modification date in .manual-mdate, if it’s not the modification date of doc/disfluid.texi."
fi
autoreconf -vif || exit 1
sed -i 's|SHELL = /bin/sh|SHELL = @SHELL@|g' po/Makefile.in.in || exit 1
mkdir -p .native || exit 1
cd .native || exit 1
bash ../configure SHELL=$(which sh) || exit 1
make -j V=1 || exit 1
make -j dist || exit 1
cd .. || exit 1
rm -rf .native || exit 1
|
