Re: [MacPorts] #52667: acl2 misuses platform

classic Classic list List threaded Threaded
1 message Options
Reply | Threaded
Open this post in threaded view
|

Re: [MacPorts] #52667: acl2 misuses platform

MacPorts
#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