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.

Sign up for GitHub

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

Jump to bottom

Download source for external solvers to the source directory #80

Open
svigerske opened this issue Feb 26, 2019 · 0 comments
Open

Download source for external solvers to the source directory #80

svigerske opened this issue Feb 26, 2019 · 0 comments
Assignees
@tkralphs
Labels
enhancement New feature or request

Comments

@svigerske
Copy link
Member

Issue created by migration from Trac.

Original creator: @tkralphs

Original creation time: 2011-07-24 17:31:35

Rather than downloading the source files for externals solvers to the build directory, we should be downloading them to the source directory (just as ThirdParty works. That way, if we are building multiple configurations, we don't have to download the source each time.
@svigerske svigerske added enhancement New feature or request minor labels Feb 26, 2019
@tkralphs tkralphs removed the minor label Jul 27, 2019
@tkralphs tkralphs self-assigned this Jul 30, 2019
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@tkralphs tkralphs

Labels
enhancement New feature or request
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
2 participants
@tkralphs @svigerske