[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
 Keywords:              |       Port:  acl2
------------------------+-----------------------
 math/acl2/Portfile contains:

 {{{
 platform i386 {
     global ccl_ext
     set ccl_ext dx86cl
 }

 platform x86_64 {
     global ccl_ext
     set ccl_ext dx86cl64

     global ccl_script
     set ccl_script ccl64
 }

 platform powerpc {
     global ccl_ext
     set ccl_ext dppccl
 }

 platform ppc64 {
     global ccl_ext
     set ccl_ext dppccl64

     global ccl_script
     set ccl_script ccl64
 }
 }}}

 That’s not doing what the author presumably expects.

-- 
Ticket URL: <https://trac.macports.org/ticket/52667>
MacPorts <https://www.macports.org/>
Ports system for the Mac operating system