[MacPorts] #52667: acl2 misuses platform

MacPorts noreply at macports.org
Mon Apr 16 07:27:23 UTC 2018


#52667: acl2 misuses platform
-----------------------+-----------------------
  Reporter:  jeremyhu  |      Owner:  gwright@…
      Type:  defect    |     Status:  new
  Priority:  Normal    |  Milestone:
 Component:  ports     |    Version:  2.3.4
Resolution:            |   Keywords:
      Port:  acl2      |
-----------------------+-----------------------
Changes (by ryandesign):

 * cc: JacksonIsaac (added)


Comment:

 To clarify: `i386` and `powerpc` are valid platforms. `x86_64` and `ppc64`
 are not. (Unless we change that, as proposed in #56295.)

-- 
Ticket URL: <https://trac.macports.org/ticket/52667#comment:1>
MacPorts <https://www.macports.org/>
Ports system for macOS


More information about the macports-tickets mailing list