Opened 8 years ago

Closed 7 years ago

#52667 closed defect (fixed)

acl2 misuses platform

Reported by: jeremyhu (Jeremy Huddleston Sequoia) Owned by: gwright@…
Priority: Normal Milestone:
Component: ports Version: 2.3.4
Keywords: Cc: ryandesign (Ryan Carsten Schmidt), JacksonIsaac (Jackson Isaac)
Port: acl2

Description

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.

Change History (2)

comment:1 Changed 7 years ago by ryandesign (Ryan Carsten Schmidt)

Cc: JacksonIsaac added

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

comment:2 Changed 7 years ago by JacksonIsaac (Jackson Isaac)

Resolution: → fixed
Status: new → closed

In dde0adcf298d6d31e881e073e41d6523490d7568/macports-ports (master):

acl2: Update to 8.0

  • update to version 8.0
  • Use PortGroup GitHub
  • Add License
  • extracted directory is ${name}-devel-${version} instead of ${name}-${version}
  • /books is included in tarball for versions 7.0 and above
  • Add notes for +nonstd variant when run without +ccl

Closes: #46257
Closes: #52667

Note: See TracTickets for help on using tickets.