aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--.gitignore1
-rwxr-xr-xdist_bootstrap36
2 files changed, 37 insertions, 0 deletions
diff --git a/.gitignore b/.gitignore
index 955c97d36..0f3c0acdf 100644
--- a/.gitignore
+++ b/.gitignore
@@ -24,6 +24,7 @@ config.log
24config.status 24config.status
25config.sub 25config.sub
26configure 26configure
27contrib/vendored/
27depcomp 28depcomp
28gnunet_config.h 29gnunet_config.h
29gnunet_config.h.in 30gnunet_config.h.in
diff --git a/dist_bootstrap b/dist_bootstrap
new file mode 100755
index 000000000..8e8d5c98c
--- /dev/null
+++ b/dist_bootstrap
@@ -0,0 +1,36 @@
1#!/bin/sh
2# This file is in the public domain.
3# SPDX-License-Identifier: 0BSD
4
5dir=$(dirname "$(readlink -f -- "$0")")
6. $dir/bootstrap
7
8if existence texi2mdoc; then
9 echo "texi2mdoc: exists, pass --enable-texi2mdoc-generation to configure"
10else
11 dir=$(dirname "$(readlink -f -- "$0")")
12 mkdir -p $dir/contrib/vendored
13 cd contrib/vendored
14 if existence ftp; then
15 ftp https://mandoc.bsd.lv/texi2mdoc/snapshots/texi2mdoc-0.1.2.tgz
16 elif existence curl; then
17 curl --output texi2mdoc-0.1.2.tgz https://mandoc.bsd.lv/texi2mdoc/snapshots/texi2mdoc-0.1.2.tgz
18 elif existence wget; then
19 wget https://mandoc.bsd.lv/texi2mdoc/snapshots/texi2mdoc-0.1.2.tgz
20 elif existence fetch; then
21 fetch https://mandoc.bsd.lv/texi2mdoc/snapshots/texi2mdoc-0.1.2.tgz
22 else
23 echo "skipping texi2mdoc build, no ftp or curl or wget or fetch found"
24 fi
25 if test -e texi2mdoc-0.1.2.tgz; then
26 tar xzf texi2mdoc-0.1.2.tgz
27 cd texi2mdoc-0.1.2
28 dir=$(dirname "$(readlink -f -- "$0")")
29 #make PREFIX=$dir/../../../contrib/vendored/texi2mdoc
30 #make install PREFIX=$dir/../../../contrib/vendored/texi2mdoc
31 make
32 echo "please prepend or append $dir/contrib/vendored/texi2mdoc/ to your PATH before running configure"
33 else
34 echo "no texi2mdoc, skipping"
35 fi
36fi