Opened 10 years ago
Closed 10 years ago
#43785 closed enhancement (fixed)
merge zmq ports, remove zmq20
| Reported by: | michaelld (Michael Dickens) | Owned by: | merijn@… |
|---|---|---|---|
| Priority: | Normal | Milestone: | |
| Component: | ports | Version: | 2.2.1 |
| Keywords: | Cc: | michaelld (Michael Dickens), cooljeanius (Eric Gallager) | |
| Port: | zmq, zmq20, zmq22, zmq-devel |
Description
I propose that we merge the devel/zmq* ports into a single Portfile, and that we remove zmq20 since that is the ZeroMQ dev's recommendation (use 2.2 minimum). I'm attaching a diff to the current svn trunk with my proposed changes. This new combined Portfile seems to work for me, and is a lot simpler to maintain. I haven't tried the +pgm variant yet, but it seems consistent with all prior Portfile's usage so it should work just as before.
Attachments (2)
Change History (5)
Changed 10 years ago by michaelld (Michael Dickens)
| Attachment: | patch-devel-zmq.diff added |
|---|
Changed 10 years ago by michaelld (Michael Dickens)
| Attachment: | zmq_Portfile added |
|---|
comment:1 Changed 10 years ago by seanfarley (Sean Farley)
comment:3 Changed 10 years ago by michaelld (Michael Dickens)
| Resolution: | → fixed |
|---|---|
| Status: | new → closed |
Done in r120893. Hopefully I got everything correct!
Note: See
TracTickets for help on using
tickets.
I am definitely in favor of this. Thanks for the work!