Revision e368571f configure

View differences:

configure
88 88

  
89 89
install:
90 90
	if test -n "\$(DESTDIR)"; then \\
91
	    $WAF install --yes --destdir="\$(DESTDIR)" --prefix="$PREFIX"; \\
91
	    $WAF install --yes --destdir="\$(DESTDIR)" ; \\
92 92
	else \\
93
	    $WAF install --yes --prefix="$PREFIX"; \\
93
	    $WAF install --yes ; \\
94 94
	fi;
95 95

  
96 96
uninstall:
97 97
	@if test -n "\$(DESTDIR)"; then \\
98
	    $WAF uninstall --destdir="\$(DESTDIR)" --prefix="$PREFIX"; \\
98
	    $WAF uninstall --destdir="\$(DESTDIR)" ; \\
99 99
	else \\
100
	    $WAF uninstall --prefix="$PREFIX"; \\
100
	    $WAF uninstall ; \\
101 101
	fi;
102 102

  
103 103
clean:
......
121 121

  
122 122
checkWAF
123 123

  
124
PREFIX=/usr/local
125
case $1 in
126
    --prefix)
127
        PREFIX=$2
128
        ;;
129
esac
130

  
131
export PREFIX
132 124
generateMakefile
133 125

  
134

  
135
"${WAF}" configure --prefix "${PREFIX}"
126
"${WAF}" configure $*
136 127

  
137 128
exit $?

Also available in: Unified diff