Add more install directories
This commit is contained in:
parent
631cbdbda8
commit
f16228d811
1 changed files with 7 additions and 0 deletions
|
@ -102,9 +102,16 @@ def configure(self, spec, arch):
|
||||||
makefile.write('{0}\n'.format(var))
|
makefile.write('{0}\n'.format(var))
|
||||||
|
|
||||||
def install(self, spec, prefix):
|
def install(self, spec, prefix):
|
||||||
|
# Arch used for file naming purposes only
|
||||||
arch = '{0}-{1}'.format(platform.system(), platform.processor())
|
arch = '{0}-{1}'.format(platform.system(), platform.processor())
|
||||||
|
|
||||||
|
# Generate Makefile include
|
||||||
self.configure(spec, arch)
|
self.configure(spec, arch)
|
||||||
|
|
||||||
make('arch={0}'.format(arch))
|
make('arch={0}'.format(arch))
|
||||||
|
|
||||||
|
# Manual installation
|
||||||
install_tree(join_path('bin', arch), prefix.bin)
|
install_tree(join_path('bin', arch), prefix.bin)
|
||||||
|
install_tree(join_path('lib', arch), prefix.lib)
|
||||||
|
install_tree(join_path('include', arch), prefix.include)
|
||||||
|
install_tree('man', prefix.man)
|
||||||
|
|
Loading…
Reference in a new issue