comparison SCRIPTS/process.sh @ 91:e2e7672ea759

Some absolute paths
author Chris Cannam
date Tue, 14 Apr 2015 11:32:55 +0100
parents 1710ac3f246f
children 1abd36a8d5b8
comparison
equal deleted inserted replaced
90:1710ac3f246f 91:e2e7672ea759
144 echo "(Building from clean)" 144 echo "(Building from clean)"
145 do_rebuild=yes 145 do_rebuild=yes
146 shift 146 shift
147 fi 147 fi
148 148
149 metadir="$mydir"/../METADATA
150
149 depincdir="$mydir"/../DEPENDENCIES/$platform$bits/include 151 depincdir="$mydir"/../DEPENDENCIES/$platform$bits/include
150 deplibdir="$mydir"/../DEPENDENCIES/$platform$bits/lib 152 deplibdir="$mydir"/../DEPENDENCIES/$platform$bits/lib
151 depincdir_generic="$mydir"/../DEPENDENCIES/generic/include 153 depincdir_generic="$mydir"/../DEPENDENCIES/generic/include
152 154
153 pyver=27 155 pyver=27
182 trap 'rm -f "$built" "$envcheckfailed" "$testfailed" "$notbuilt"' 0 184 trap 'rm -f "$built" "$envcheckfailed" "$testfailed" "$notbuilt"' 0
183 touch "$built" "$envcheckfailed" "$testfailed" "$notbuilt" 185 touch "$built" "$envcheckfailed" "$testfailed" "$notbuilt"
184 186
185 target_for() { 187 target_for() {
186 local dir="$1" 188 local dir="$1"
187 if grep -q "^$dir: " METADATA/maketarget.txt ; then 189 if grep -q "^$dir: " ${metadir}/maketarget.txt ; then
188 grep "^$dir: " METADATA/maketarget.txt | head -1 | sed 's/^[^:]*: //' 190 grep "^$dir: " ${metadir}/maketarget.txt | head -1 | sed 's/^[^:]*: //'
189 fi 191 fi
190 } 192 }
191 193
192 plugin_dir_for() { 194 plugin_dir_for() {
193 local dir="$1" 195 local dir="$1"
194 if grep -q "^$dir: " METADATA/plugindir.txt ; then 196 if grep -q "^$dir: " ${metadir}/plugindir.txt ; then
195 echo "$dir"/$(grep "^$dir: " METADATA/plugindir.txt | head -1 | sed 's/^[^:]*: //') 197 echo "${mydir}/../${dir}"/$(grep "^$dir: " ${metadir}/plugindir.txt | head -1 | sed 's/^[^:]*: //')
196 fi 198 fi
197 } 199 }
198 200
199 configure() { 201 configure() {
200 local dir="$1" 202 local dir="$1"
338 have_vampy_plugins "$dir" 340 have_vampy_plugins "$dir"
339 } 341 }
340 342
341 is_nondeterministic() { 343 is_nondeterministic() {
342 plugin_id="$1" 344 plugin_id="$1"
343 grep -q "^$id\$" METADATA/nondeterministic.txt 345 grep -q "^$id\$" ${metadir}/nondeterministic.txt
344 } 346 }
345 347
346 plugin_ids_in() { 348 plugin_ids_in() {
347 local dir="$1" 349 local dir="$1"
348 local pdir=$(plugin_dir_for "$dir") 350 local pdir=$(plugin_dir_for "$dir")