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

configure script has issue when pwd contains spaces #87

Closed
svigerske opened this issue Mar 2, 2019 · 3 comments
Closed

configure script has issue when pwd contains spaces #87

svigerske opened this issue Mar 2, 2019 · 3 comments
Labels
bug Something isn't working wontfix This will not be worked on

Comments

@svigerske
Copy link
Member

Issue created by migration from Trac.

Original creator: alcinos

Original creation time: 2017-11-06 13:37:42

Version:

Keywords: configure

See attached a patch for a tentative fix (probably incomplete)
@svigerske svigerske added bug Something isn't working major labels Mar 2, 2019
@svigerske
Copy link
Member Author

Attachment fix_path.patch by alcinos created at 2017-11-06 13:38:44

patch

@svigerske
Copy link
Member Author

We're not supported spaces in paths for the moment. One small patch will not fix this.

@svigerske svigerske added the wontfix This will not be worked on label Mar 10, 2019
@Mizux
Copy link

Mizux commented Mar 28, 2019 •
edited
Loading

this is related to GNU/Make which doesn't support space in path
see https://savannah.gnu.org/bugs/?712

note: CMake based build should support space in path (working on it)
related to google/or-tools#801

@Mizux Mizux mentioned this issue Apr 5, 2019
Closed
11 tasks
@Mizux Mizux mentioned this issue Apr 15, 2019
Open
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
bug Something isn't working wontfix This will not be worked on
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
2 participants
@Mizux @svigerske