Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

armadillo changed their library directory in recent versions from lib… #1213

Merged
merged 2 commits into from Aug 9, 2017

Conversation

mboisson
Copy link
Contributor

… to lib64

This patch fixes that.

@mboisson
Copy link
Contributor Author

@boegel Mmmm, the failed test seems unrelated to this PR

@boegel
Copy link
Member

boegel commented Aug 9, 2017

failing tests fixed by easybuilders/easybuild-framework#2258, I'll retrigger them

@boegel boegel changed the base branch from master to develop August 9, 2017 12:11
custom_paths = {
'files': ['include/armadillo', 'lib/libarmadillo.%s' % get_shared_lib_ext()],
'files': ['include/armadillo', libdir + '/libarmadillo.%s' % get_shared_lib_ext()],
Copy link
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

more Python-esque:

os.path.join(libdir, 'libarmadillo.%s' % get_shared_lib_ext())

@easybuilders easybuilders deleted a comment from boegelbot Aug 9, 2017
@boegel boegel added this to the 3.4.0 milestone Aug 9, 2017
@boegel
Copy link
Member

boegel commented Aug 9, 2017

@mboisson Do you have a PR for an easyconfig for a recent version of Armadillo that requires this?

@boegel
Copy link
Member

boegel commented Aug 9, 2017

nvm, found it: easybuilders/easybuild-easyconfigs#4849

@mboisson
Copy link
Contributor Author

mboisson commented Aug 9, 2017

Done

@boegel
Copy link
Member

boegel commented Aug 9, 2017

Tested with existing Armadillo easyconfigs & easybuilders/easybuild-easyconfigs#4849, good to go, thanks @mboisson!

@boegel boegel merged commit 66510f8 into easybuilders:develop Aug 9, 2017
@mboisson mboisson deleted the armadillo_gt_7.800 branch August 9, 2017 14:13
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

2 participants