Ticket #14459: configure.sh

File configure.sh, 1019 bytes (added by michipili (Michael Grünewald), 17 years ago)

New configure script

Line 
1#!/bin/sh
2
3configure_prefix=''
4
5for a in "$@"; do
6    case $a in
7        --prefix=*)     prefix="${a#--prefix=}";;
8        ?)              echo "Warning: Ignoring argument $a" 1>&2;;
9    esac
10done
11
12if [ -z "$prefix" ]; then
13    echo "Error: Prefix was not set" 1>&2
14    exit 64
15fi
16
17#
18# GNU Make does not have a -V flag,
19#  so we have to hardwire these values instead of asking the makefile for them
20#
21
22libdir="${prefix}/libexec/noweb"
23texinputs="${prefix}/share/texmf/tex/generic/noweb"
24
25sed -i .bk \
26    -e "s@|TEXINPUTS|@${texinputs}@g" \
27    -e "s@|LIBDIR|@${libdir}@g" \
28    xdoc/cpif.1 \
29    xdoc/nodefs.1 \
30    xdoc/noroots.1 \
31    xdoc/noweb.1 \
32    xdoc/noindex.1 \
33    xdoc/nuweb2noweb.1 \
34    xdoc/notangle.1 \
35    xdoc/noroff.1 \
36    xdoc/sl2h.1 \
37    xdoc/htmltoc.1 \
38    xdoc/nowebstyle.7 \
39    xdoc/nowebfilters.7 \
40    shell/noweb \
41    shell/notangle \
42    shell/$(WEAVE) \
43    shell/nountangle \
44    shell/nodefs \
45    shell/noroots \
46    shell/nuweb2noweb \
47    shell/cpif \
48    shell/htmltoc \
49    shell/noroff \
50    shell/toroff