32 lines
881 B
Bash
Executable File
32 lines
881 B
Bash
Executable File
#!/usr/bin/env bash
|
|
|
|
# Default install prefix if --prefix= is not provided
|
|
default_prefix=/usr/local
|
|
#default_bindir=$default_prefix/bin
|
|
#default_libdir=$default_prefix/lib
|
|
#default_sharedir=$default_prefix/share
|
|
|
|
# Parse command-line arguments (only --prefix=VALUE is supported)
|
|
while (( $# ))
|
|
do
|
|
case "$1" in
|
|
--prefix=*) prefix="${1#*=}" # Strip the "--prefix=" portion to get the value
|
|
;;
|
|
esac
|
|
shift
|
|
done
|
|
|
|
# Derive install directories from prefix (or default_prefix if unset)
|
|
bindir="${prefix:-$default_prefix}"/bin
|
|
libdir="${prefix:-$default_prefix}"/lib/AtOM
|
|
sharedir="${prefix:-$default_prefix}"/share/AtOM
|
|
docdir="${prefix:-$default_prefix}"/share/doc/AtOM
|
|
|
|
# Write Makefile.in so the Makefile can substitute real paths at build time
|
|
cat > Makefile.in <<-EOMakefile.in
|
|
bindir = "$bindir"
|
|
libdir = "$libdir"
|
|
sharedir = "$sharedir"
|
|
docdir = "$docdir"
|
|
EOMakefile.in
|