comparison: src/main/resources/make/configure.vm
src/main/resources/make/configure.vm
- changeset 115
- 36e4aedd5663
- parent 114
- 0fa5a6f08245
- child 116
- 41981a23aff8
equal
deleted
inserted
replaced
| 114:0fa5a6f08245 | 115:36e4aedd5663 |
|---|---|
| 1 #!/bin/sh | 1 #!/bin/sh |
| 2 | 2 |
| 3 #set( $D = '$' ) | |
| 3 # create temporary directory | 4 # create temporary directory |
| 4 TEMP_DIR=".tmp-`uname -n`" | 5 TEMP_DIR=".tmp-`uname -n`" |
| 5 rm -Rf "$TEMP_DIR" | 6 rm -Rf "$TEMP_DIR" |
| 6 if mkdir -p "$TEMP_DIR"; then | 7 if mkdir -p "$TEMP_DIR"; then |
| 7 : | 8 : |
| 60 { | 61 { |
| 61 echo "Usage: $0 [OPTIONS]..." | 62 echo "Usage: $0 [OPTIONS]..." |
| 62 cat << __EOF__ | 63 cat << __EOF__ |
| 63 Installation directories: | 64 Installation directories: |
| 64 --prefix=PREFIX path prefix for architecture-independent files | 65 --prefix=PREFIX path prefix for architecture-independent files |
| 65 [/usr] | 66 [${D}prefix] |
| 66 --exec-prefix=EPREFIX path prefix for architecture-dependent files | 67 --exec-prefix=EPREFIX path prefix for architecture-dependent files |
| 67 [PREFIX] | 68 [PREFIX] |
| 68 | 69 |
| 69 --bindir=DIR user executables [EPREFIX/bin] | 70 --bindir=DIR user executables [EPREFIX/bin] |
| 70 --sbindir=DIR system admin executables [EPREFIX/sbin] | 71 --sbindir=DIR system admin executables [EPREFIX/sbin] |
| 102 | 103 |
| 103 # | 104 # |
| 104 # parse arguments | 105 # parse arguments |
| 105 # | 106 # |
| 106 BUILD_TYPE="default" | 107 BUILD_TYPE="default" |
| 107 #set( $D = '$' ) | |
| 108 for ARG in "$@" | 108 for ARG in "$@" |
| 109 do | 109 do |
| 110 case "$ARG" in | 110 case "$ARG" in |
| 111 "--prefix="*) prefix=${D}{ARG#--prefix=} ;; | 111 "--prefix="*) prefix=${D}{ARG#--prefix=} ;; |
| 112 "--exec-prefix="*) exec_prefix=${D}{ARG#--exec-prefix=} ;; | 112 "--exec-prefix="*) exec_prefix=${D}{ARG#--exec-prefix=} ;; |
