| 9 | | Thanks a lot for the clarification. I didn't know it was so easy to modify a Portfile. It worked. Well, I later faced bug [https://trac.macports.org/ticket/39849] but was able to easily fix it with the edit suggested in the ticket discussion. Anyway, the purpose was installing midori, and after a number of packages installed, I know hit another problem with webkit-gtk-2.0 which seems to be unreported (an Internet search got no results about the error I'm getting). I'm going to open a ticket right now, in the webkit-gtk-2.0 port. Thanks! |
| | 9 | Thanks a lot for the clarification. I didn't know it was so easy to modify a Portfile. It worked. Well, I later faced bug [https://trac.macports.org/ticket/39849] but was able to easily fix it with the edit suggested in the ticket discussion. Anyway, the purpose was installing midori, and after a number of packages installed, I now hit another problem with webkit-gtk-2.0 which seems to be unreported (an Internet search got no results about the error I'm getting). I'm going to open a ticket right now, in the webkit-gtk-2.0 port. Thanks! |
