Skip to content

Move eigen dl version to single file, update to 3.3.2 #614

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

Closed
wants to merge 1 commit into from

Conversation

jagerman
Copy link
Member

This moves the eigen download version and extraction path to a single file (.eigen-build-version), loaded by both the appveyor and travis-ci scripts.

It also updates the eigen version from 3.3.0 to the latest 3.3.2.

Finally it saves (a tiny amount of) storage use on the travis-ci builds by extracting the .tar.bz2 on the fly rather than downloading first then decompressing the saved file. (It also saves slightly on download bandwidth by downloading the source tar.bz2 instead of the tar.gz).

This moves the eigen download version and extraction path to a single
file (.eigen-build-version), loaded by both the appveyor and travis-ci
scripts.

It also updates the eigen version from 3.3.0 to the latest 3.3.2.

Finally it saves a tiny amount of disk space on the travis-ci builds by
extracting the .tar.gz on the fly rather than downloading first then
decompressing the saved file.
@jagerman jagerman mentioned this pull request Jan 22, 2017
@wjakob
Copy link
Member

wjakob commented Jan 31, 2017

Hm, I'm not a big fan of all of these dot files in the root directory. Is there any reason why we can't leave the version as is? The particular Eigen release being used does not matter that much in any case since we rely on stable API.

@jagerman
Copy link
Member Author

I was thinking it might make sense to move this and some of the scripts currently embedded in the .travis file into tools.

@jagerman
Copy link
Member Author

jagerman commented Feb 1, 2017

You're right, though, that the eigen version doesn't particularly matter (in any case, we're already testing with the latest one in the debian builds).

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.

2 participants