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?
to your account
Original bug ID: 6358
Assigned to: @gasche
Status: closed (set by @xavierleroy on 2015-12-11T18:26:33Z)
Category: configure and build/install
Monitored by: @gasche
This could ease creation of binary packages (rpm and deb at least).
The text was updated successfully, but these errors were encountered:
Comment author: berenger
Stephane Glondu mentioned about PREFIX on caml-list.
Maybe it plays the same role as DESTDIR, I have to check.
Sorry, something went wrong.
Comment author: @gasche
I just submitted a patch for review:
implemented in trunk
Successfully merging a pull request may close this issue.