Bug 233032
| Summary: | devel/subversion-book refuses to install; checks for unknown port option | ||||||
|---|---|---|---|---|---|---|---|
| Product: | Ports & Packages | Reporter: | pl | ||||
| Component: | Individual Port(s) | Assignee: | Walter Schwarzenfeld <w.schwarzenfeld> | ||||
| Status: | Closed Feedback Timeout | ||||||
| Severity: | Affects Many People | CC: | w.schwarzenfeld | ||||
| Priority: | --- | Flags: | bugzilla:
maintainer-feedback?
(lev) |
||||
| Version: | Latest | ||||||
| Hardware: | Any | ||||||
| OS: | Any | ||||||
| Attachments: |
|
||||||
ping! Installs fine: ===> Installing for subversion-book-4515 ===> Checking if subversion-book is already installed ===> Registering installation for subversion-book-4515 Installing subversion-book-4515... ===> Cleaning for subversion-book-4515 and it is a feedback timeout. |
Created attachment 199016 [details] A hopefully useful patch to remove the comparison Hi there, I'm trying to install devel/subversion-book but it fails while complaining that the DOCS option is turned off globally and therefor it wouldn't make sense to install the package: peter@zefiris:/usr/ports/devel/subversion-book $ make build ===> subversion-book-4515 it does not make sense to install dedicated documentation if DOCS are globally disabled. *** Error code 1 Stop. make: stopped in /usr/ports/devel/subversion-book At first I assumed it referred to the DOCS option in devel/subversion and I really failed to understand the logic behind this; why would it matter if I had build Subversion with documentation? But looking into this matter a bit deeper seems to indicate that the Makefile is actually checking for a non-existing port option: peter@zefiris:/usr/ports/devel/subversion-book $ grep -A3 -i mdoc Makefile .if !${PORT_OPTIONS:MDOCS} IGNORE= it does not make sense to install dedicated documentation if DOCS are globally disabled .endif peter@zefiris:/usr/ports/devel/subversion-book $ make showconfig ===> The following configuration options are available for subversion-book-4515: HTML_SINGLE=on: Single HTML page edition PDF=off: PDF edition ===> Use 'make config' to modify these settings ... therefor I think the whole comparison should be removed and that the port should be able to build no matter what port option is or isn't turned on or off. I tried to make a patch using diff and I hope this is useful (I'll be honest: I didn't try to see if it worked).