Cherry-pick "Merge branch 'DavixFix-1.0-20181025' into '1.0'" into master (!373) · Merge requests · atlas / atlasexternals · GitLab

Attila Krasznahorkay requested to merge cherry-pick-07db27b0 into master Oct 25, 2018

Davix Build Update, 1.0 branch (2018.10.25.)

See merge request !372 (merged)

(cherry picked from commit 07db27b0)

a0da02db Updated the Davix build to happen on any Linux distribution that has all the requirements.