Bug 199839

Summary: net/openmpi-devel : this port is older than net/openmpi ... delete it?
Product: Ports & Packages Reporter: John Marino <marino>
Component: Individual Port(s)Assignee: Danilo Egea Gondolfo <danilo>
Status: Closed FIXED    
Severity: Affects Only Me Flags: bugzilla: maintainer-feedback? (danilo)
Priority: ---    
Version: Latest   
Hardware: Any   
OS: Any   

Description John Marino freebsd_committer freebsd_triage 2015-05-01 15:02:12 UTC 
net/openmpi version = 1.8.4
net/openmpi-devel version = 1.7.5

No ports are dependent on the -devel version.

Why does it exist?  Can we just remove it?
Comment 1 Danilo Egea Gondolfo freebsd_committer freebsd_triage 2015-05-02 15:33:19 UTC 
Well, I've created openmpi-devel when openmpi version was 1.6. When the 1.9 devel is released this port will be useful. But I can reactivate it until there. If you'd like to removed it, please be my guest.
Comment 2 John Marino freebsd_committer freebsd_triage 2015-05-02 15:38:22 UTC 
It is standard procedure for -devel ports to set IGNORE when they are older than stable ports.

I am the wrong person to ask about this because I am very much against -devel ports in general.   Many times there existence in not justified in my opinion.

For example, if 1.9 comes out, why is not the regular openmpi updated instead?  There are only a couple of ports dependent on it, so I don't see why the upgrade can't be coordinated.


My vote would be remove it and never bring it back -- but you're the current maintainer so it would a) be your decision and b) your action (unless you release maintainership for the sole purpose of making somebody else remove it which has been done before but it's not very cool.) 

:)
Comment 3 John Marino freebsd_committer freebsd_triage 2015-06-06 16:46:05 UTC 
Have you decided what you want to do with this port?
Comment 4 commit-hook freebsd_committer freebsd_triage 2015-06-09 21:04:54 UTC 
A commit references this bug:

Author: danilo
Date: Tue Jun  9 21:04:12 UTC 2015
New revision: 388999
URL: https://svnweb.freebsd.org/changeset/ports/388999

Log:
  - Remove net/openmpi-devel. This port is older than net/openmpi.

  PR:		199839
  Requested by:	marino

Changes:
  head/MOVED
  head/net/openmpi-devel/