sij/mapnik
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

prioritize /usr/local above other potential paths like /opt/local - TODO: make configurable

Browse source
This commit is contained in:
Dane Springmeyer 2010-04-15 21:44:59 +00:00
parent a688c36fdb
commit c13e2eab8d
1 changed files with 4 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

5
SConstruct
View file

@ -101,7 +101,10 @@ def sort_paths(items,priority):
path_types['frameworks'].append(i)
# various 'local' installs like /usr/local or /opt/local
elif 'local' in i or '/sw' in i:
path_types['user'].append(i)
if '/usr/local' in i:
path_types['user'].insert(0,i)
else:
path_types['user'].append(i)
# key system libs (likely others will fall into 'other')
elif '/usr/' in i or '/System' in i or '/lib' in i:
path_types['system'].append(i)