diff options
author | Vivien Kraus <vivien@planete-kraus.eu> | 2020-01-01 00:00:00 +0100 |
---|---|---|
committer | Vivien Kraus <vivien@planete-kraus.eu> | 2021-06-05 16:08:12 +0200 |
commit | 4f9d02b9b4c84d567709e0325642ac55e068a1ee (patch) | |
tree | 93e1b520f878b34da2a046cc3440fd9cec25157c /bootstrap | |
parent | 0e29ddc3c41870e14da87770a429a94f80dd4110 (diff) |
Set up the project infrastructure
Diffstat (limited to 'bootstrap')
-rwxr-xr-x | bootstrap | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/bootstrap b/bootstrap new file mode 100755 index 0000000..4c37c0f --- /dev/null +++ b/bootstrap @@ -0,0 +1,13 @@ +#!/bin/sh + +autoreconf -vif || exit 1 +sed -i 's|SHELL = /bin/sh|SHELL = @SHELL@|g' po/Makefile.in.in || exit 1 + +## Prepare the man pages +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 |