Opened 13 years ago
Closed 13 years ago
#32922 closed enhancement (fixed)
jubatus: use github portgroup
Reported by: | ryandesign (Ryan Carsten Schmidt) | Owned by: | humem (humem) |
---|---|---|---|
Priority: | Normal | Milestone: | |
Component: | ports | Version: | 2.0.3 |
Keywords: | haspatch | Cc: | |
Port: | jubatus |
Description
Here is a patch to simplify the jubatus port by using the new github portgroup. If you have other ports for software hosted at github, consider using the portgroup there as well.
When the next version of jubatus is released and you're ready to swtich back to downloading a distfile instead of fetching from git, you would merely need to remove the fetch.type
and git.branch
lines and add the checksums.
Attachments (1)
Change History (2)
Changed 13 years ago by ryandesign (Ryan Carsten Schmidt)
Attachment: | jubatus.diff added |
---|
comment:1 Changed 13 years ago by humem (humem)
Resolution: | → fixed |
---|---|
Status: | new → closed |
Note: See
TracTickets for help on using
tickets.
proposed patch