Skip to content

HomeBrew improvements and travis-ci simplifications - #647

Merged
rrsettgast merged 8 commits into
developfrom
feature/TotoGaz/docker
Nov 25, 2019
Merged

rrsettgast merged 8 commits into
developfrom
feature/TotoGaz/docker

Conversation

@TotoGaz

@TotoGaz TotoGaz commented Nov 13, 2019

Copy link
Copy Markdown
Contributor

Thomas GAZZOLA and others added 3 commits November 12, 2019 16:33
We use HomeBrew to install openmpi under osx.
To be consistent with the version used during the TPL build, the brew hash is stored as a meta-information of the tarball.
We retrieve this infomation and install the proper version
(see #620)

Some travis-ci simplifications related to GEOS-DEV/thirdPartyLibs#81 are done.
@TotoGaz
TotoGaz marked this pull request as ready for review November 21, 2019 17:53
Comment thread .travis.yml Outdated
@rrsettgast

Copy link
Copy Markdown
Contributor

@TotoGaz is this ready to merge?

@TotoGaz

TotoGaz commented Nov 25, 2019

Copy link
Copy Markdown
Contributor Author

@TotoGaz is this ready to merge?

@rrsettgast I've squashed and merged the TPL twin PR GEOS-DEV/thirdPartyLibs#81.
Can you now merge this one in GEOSX so we're done?

@rrsettgast
rrsettgast merged commit 3d91570 into develop Nov 25, 2019
@TotoGaz
TotoGaz deleted the feature/TotoGaz/docker branch November 25, 2019 18:26
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.

3 participants