[MacPorts] #46257: acl2 port missing

classic Classic list List threaded Threaded
13 messages Options
Reply | Threaded
Open this post in threaded view
|

[MacPorts] #46257: acl2 port missing

MacPorts
#46257: acl2 port missing
-----------------------+--------------------------------
 Reporter:  fumbaz0@…  |      Owner:  macports-tickets@…
     Type:  defect     |     Status:  new
 Priority:  Normal     |  Milestone:
Component:  ports      |    Version:  2.3.3
 Keywords:             |       Port:  acl2
-----------------------+--------------------------------
 {{{
 --->  Fetching archive for acl2
 --->  Attempting to fetch acl2-3.5_0.darwin_14.x86_64.tbz2 from
 http://packages.macports.org/acl2
 --->  Attempting to fetch acl2-3.5_0.darwin_14.x86_64.tbz2 from
 http://mse.uk.packages.macports.org/sites/packages.macports.org/acl2
 --->  Attempting to fetch acl2-3.5_0.darwin_14.x86_64.tbz2 from
 http://lil.fr.packages.macports.org/acl2
 --->  Fetching distfiles for acl2
 starting special fetch procedure for acl2
 Error: org.macports.fetch for port acl2 returned: The requested URL
 returned error: 404 Not Found
 }}}

 The whole directory in http://packages.macports.org is gone. Was the port
 removed?

--
Ticket URL: <https://trac.macports.org/ticket/46257>
MacPorts <https://www.macports.org/>
Ports system for OS X
_______________________________________________
macports-tickets mailing list
[hidden email]
https://lists.macosforge.org/mailman/listinfo/macports-tickets
Reply | Threaded
Open this post in threaded view
|

Re: [MacPorts] #46257: acl2 port missing

MacPorts
#46257: acl2 port missing
------------------------+--------------------------------
  Reporter:  fumbaz0@…  |      Owner:  macports-tickets@…
      Type:  defect     |     Status:  new
  Priority:  Normal     |  Milestone:
 Component:  ports      |    Version:  2.3.3
Resolution:             |   Keywords:
      Port:  acl2       |
------------------------+--------------------------------

Comment (by devans@…):

 Replying to [ticket:46257 fumbaz0@…]:
 >
 >
 > The whole directory in http://packages.macports.org is gone. Was the
 port removed?

 No, it just hasn't been successfully fetched from the upstream server
 since the yosemite buildbot came online.

 The root cause is that the port so far out of date that this old version
 has been deleted from upstream. Our port version is 3.5 and the current
 upstream version is 6.5!!

 Port needs to be updated.

--
Ticket URL: <https://trac.macports.org/ticket/46257#comment:1>
MacPorts <https://www.macports.org/>
Ports system for OS X
_______________________________________________
macports-tickets mailing list
[hidden email]
https://lists.macosforge.org/mailman/listinfo/macports-tickets
Reply | Threaded
Open this post in threaded view
|

Re: [MacPorts] #46257: acl2: fetch from upstream fails, needs update to current version 6.5. (was: acl2 port missing)

MacPorts
In reply to this post by MacPorts
#46257: acl2: fetch from upstream fails, needs update to current version 6.5.
------------------------+--------------------------------
  Reporter:  fumbaz0@…  |      Owner:  macports-tickets@…
      Type:  defect     |     Status:  new
  Priority:  Normal     |  Milestone:
 Component:  ports      |    Version:  2.3.3
Resolution:             |   Keywords:
      Port:  acl2       |
------------------------+--------------------------------
Description changed by devans@…:

Old description:

> {{{
> --->  Fetching archive for acl2
> --->  Attempting to fetch acl2-3.5_0.darwin_14.x86_64.tbz2 from
> http://packages.macports.org/acl2
> --->  Attempting to fetch acl2-3.5_0.darwin_14.x86_64.tbz2 from
> http://mse.uk.packages.macports.org/sites/packages.macports.org/acl2
> --->  Attempting to fetch acl2-3.5_0.darwin_14.x86_64.tbz2 from
> http://lil.fr.packages.macports.org/acl2
> --->  Fetching distfiles for acl2
> starting special fetch procedure for acl2
> Error: org.macports.fetch for port acl2 returned: The requested URL
> returned error: 404 Not Found
> }}}
>
> The whole directory in http://packages.macports.org is gone. Was the port
> removed?

New description:

 {{{
 --->  Fetching archive for acl2
 --->  Attempting to fetch acl2-3.5_0.darwin_14.x86_64.tbz2 from
 http://packages.macports.org/acl2
 --->  Attempting to fetch acl2-3.5_0.darwin_14.x86_64.tbz2 from
 http://mse.uk.packages.macports.org/sites/packages.macports.org/acl2
 --->  Attempting to fetch acl2-3.5_0.darwin_14.x86_64.tbz2 from
 http://lil.fr.packages.macports.org/acl2
 --->  Fetching distfiles for acl2
 starting special fetch procedure for acl2
 Error: org.macports.fetch for port acl2 returned: The requested URL
 returned error: 404 Not Found
 }}}

 The whole directory in http://packages.macports.org is gone. Was the port
 removed?

--

--
Ticket URL: <https://trac.macports.org/ticket/46257#comment:2>
MacPorts <https://www.macports.org/>
Ports system for OS X
_______________________________________________
macports-tickets mailing list
[hidden email]
https://lists.macosforge.org/mailman/listinfo/macports-tickets
Reply | Threaded
Open this post in threaded view
|

Re: [MacPorts] #46257: acl2: fetch from upstream fails, needs update to current version 6.5.

MacPorts
In reply to this post by MacPorts
#46257: acl2: fetch from upstream fails, needs update to current version 6.5.
------------------------+--------------------------------
  Reporter:  fumbaz0@…  |      Owner:  macports-tickets@…
      Type:  defect     |     Status:  new
  Priority:  Normal     |  Milestone:
 Component:  ports      |    Version:  2.3.3
Resolution:             |   Keywords:
      Port:  acl2       |
------------------------+--------------------------------
Changes (by ionic@…):

 * cc: watsonbladd@… (added)


Comment:

 Has duplicate #48530.

--
Ticket URL: <https://trac.macports.org/ticket/46257#comment:3>
MacPorts <https://www.macports.org/>
Ports system for OS X
_______________________________________________
macports-tickets mailing list
[hidden email]
https://lists.macosforge.org/mailman/listinfo/macports-tickets
Reply | Threaded
Open this post in threaded view
|

Re: [MacPorts] #46257: acl2: fetch from upstream fails, needs update to current version 7.1. (was: acl2: fetch from upstream fails, needs update to current version 6.5.)

MacPorts
In reply to this post by MacPorts
#46257: acl2: fetch from upstream fails, needs update to current version 7.1.
------------------------+--------------------------------
  Reporter:  fumbaz0@…  |      Owner:  macports-tickets@…
      Type:  defect     |     Status:  new
  Priority:  Normal     |  Milestone:
 Component:  ports      |    Version:  2.3.3
Resolution:             |   Keywords:
      Port:  acl2       |
------------------------+--------------------------------

Comment (by ionic@…):

 Current version is 7.1 right now...

--
Ticket URL: <https://trac.macports.org/ticket/46257#comment:4>
MacPorts <https://www.macports.org/>
Ports system for OS X
_______________________________________________
macports-tickets mailing list
[hidden email]
https://lists.macosforge.org/mailman/listinfo/macports-tickets
Reply | Threaded
Open this post in threaded view
|

Re: [MacPorts] #46257: acl2: fetch from upstream fails, needs update to current version 7.2 (was: acl2: fetch from upstream fails, needs update to current version 7.1.)

MacPorts
In reply to this post by MacPorts
#46257: acl2: fetch from upstream fails, needs update to current version 7.2
------------------------+--------------------------------
  Reporter:  fumbaz0@…  |      Owner:  macports-tickets@…
      Type:  defect     |     Status:  new
  Priority:  Normal     |  Milestone:
 Component:  ports      |    Version:  2.3.3
Resolution:             |   Keywords:
      Port:  acl2       |
------------------------+--------------------------------

--
Ticket URL: <https://trac.macports.org/ticket/46257#comment:5>
MacPorts <https://www.macports.org/>
Ports system for OS X
_______________________________________________
macports-tickets mailing list
[hidden email]
https://lists.macosforge.org/mailman/listinfo/macports-tickets
Reply | Threaded
Open this post in threaded view
|

Re: [MacPorts] #46257: acl2: fetch from upstream fails, needs update to current version 7.2

MacPorts
In reply to this post by MacPorts
#46257: acl2: fetch from upstream fails, needs update to current version 7.2
------------------------+--------------------------------
  Reporter:  fumbaz0@…  |      Owner:  macports-tickets@…
      Type:  defect     |     Status:  new
  Priority:  Normal     |  Milestone:
 Component:  ports      |    Version:  2.3.3
Resolution:             |   Keywords:
      Port:  acl2       |
------------------------+--------------------------------
Changes (by kurthindenburg):

 * cc: kurthindenburg (added)


Comment:

 Likely change to use https://github.com/acl2/acl2/ - someone who knows
 lisp is going to have to try to update this - the build/port seems quite
 non-trival

--
Ticket URL: <https://trac.macports.org/ticket/46257#comment:6>
MacPorts <https://www.macports.org/>
Ports system for macOS
Reply | Threaded
Open this post in threaded view
|

Re: [MacPorts] #46257: acl2: fetch from upstream fails, needs update to current version 7.2

MacPorts
In reply to this post by MacPorts
#46257: acl2: fetch from upstream fails, needs update to current version 7.2
------------------------+--------------------------------
  Reporter:  fumbaz0@…  |      Owner:  macports-tickets@…
      Type:  defect     |     Status:  new
  Priority:  Normal     |  Milestone:
 Component:  ports      |    Version:  2.3.3
Resolution:             |   Keywords:
      Port:  acl2       |
------------------------+--------------------------------

Comment (by JacksonIsaac):

 Actually the download path of v3.5 moved to another directory.

 In fetch we would have to replace
 'http://www.cs.utexas.edu/users/moore/acl2/v3-5/distrib/*' with
 'http://www.cs.utexas.edu/users/moore/acl2/older-releases/v3-5/distrib/*'

 Although the build kind of fails for me. It gets stuck at lisp console
 while building and gives the following output:



 {{{
 Type HELP for debugger help, or (SB-EXT:EXIT) to exit from SBCL.

 restarts (invokable by number or by possibly-abbreviated name):
   0: [ABORT] Exit debugger, returning to top level.

 (CHECK-BUILT-IN-CONSTANTS)
 0]
 }}}

 I am unable to go further than this. When I enter '0' to exit debugger it
 exits and fails the build.


 {{{
 (CHECK-BUILT-IN-CONSTANTS)
 0] 0
 Error: Failed to build acl2: command execution failed
 Error: See /opt/local/var/macports/logs
 /_Users_jacksonisaac_Development_macports-ports_math_acl2/acl2/main.log
 for details.
 Error: Follow https://guide.macports.org/#project.tickets to report a bug.
 Error: Processing of port acl2 failed
 }}}


 If anyone has ideas on how to skip or continue after this it would be
 really great.

--
Ticket URL: <https://trac.macports.org/ticket/46257#comment:7>
MacPorts <https://www.macports.org/>
Ports system for macOS
Reply | Threaded
Open this post in threaded view
|

Re: [MacPorts] #46257: acl2: fetch from upstream fails, needs update to current version 7.2

MacPorts
In reply to this post by MacPorts
#46257: acl2: fetch from upstream fails, needs update to current version 7.2
------------------------+--------------------------------
  Reporter:  fumbaz0@…  |      Owner:  macports-tickets@…
      Type:  defect     |     Status:  new
  Priority:  Normal     |  Milestone:
 Component:  ports      |    Version:  2.3.3
Resolution:             |   Keywords:
      Port:  acl2       |
------------------------+--------------------------------

Comment (by raimue):

 At this point, it would make more sense to just remove the port from the
 tree. Nobody volunteered to provide an updated version in three years and
 upstream is already lightyears ahead.

--
Ticket URL: <https://trac.macports.org/ticket/46257#comment:8>
MacPorts <https://www.macports.org/>
Ports system for macOS
Reply | Threaded
Open this post in threaded view
|

Re: [MacPorts] #46257: acl2: fetch from upstream fails, needs update to current version 7.2

MacPorts
In reply to this post by MacPorts
#46257: acl2: fetch from upstream fails, needs update to current version 7.2
------------------------+--------------------------------
  Reporter:  fumbaz0@…  |      Owner:  macports-tickets@…
      Type:  defect     |     Status:  new
  Priority:  Normal     |  Milestone:
 Component:  ports      |    Version:  2.3.3
Resolution:             |   Keywords:
      Port:  acl2       |
------------------------+--------------------------------

Comment (by JacksonIsaac):

 I was able to pass the build phase for acl2-8.0. Somehow I figured it out
 by lot of trial and error. Currently I am trying to fix the destroot
 phase.


 {{{
 DEBUG: Executing org.macports.destroot (acl2)
 File path = /opt/local/var/macports/build
 /_Users_jacksonisaac_Development_macports-
 ports_math_acl2/acl2/work/destroot//opt/local/share/acl2/8.0
 Error: Failed to destroot acl2: no files matched glob pattern "*"
 DEBUG: Error code: NONE
 DEBUG: Backtrace: no files matched glob pattern "*"
     while executing
 "$procedure $targetname"
 Error: See /opt/local/var/macports/logs
 /_Users_jacksonisaac_Development_macports-ports_math_acl2/acl2/main.log
 for details.
 Error: Follow https://guide.macports.org/#project.tickets to report a bug.
 Error: Processing of port acl2 failed
 }}}

 Correct me if I am wrong but I am guessing it is some path related issue
 probably ?

--
Ticket URL: <https://trac.macports.org/ticket/46257#comment:10>
MacPorts <https://www.macports.org/>
Ports system for macOS
Reply | Threaded
Open this post in threaded view
|

Re: [MacPorts] #46257: acl2: fetch from upstream fails, needs update to current version 7.2

MacPorts
In reply to this post by MacPorts
#46257: acl2: fetch from upstream fails, needs update to current version 7.2
------------------------+--------------------------------
  Reporter:  fumbaz0@…  |      Owner:  macports-tickets@…
      Type:  defect     |     Status:  new
  Priority:  Normal     |  Milestone:
 Component:  ports      |    Version:  2.3.3
Resolution:             |   Keywords:
      Port:  acl2       |
------------------------+--------------------------------

Comment (by JacksonIsaac):

 Yes. It was a path issue indeed.

 The new directory is extracted as ${name}-devel-${version} but the old
 portfile used to look into ${name}-${version}

 Replying to [comment:10 JacksonIsaac]:
 > I was able to pass the build phase for acl2-8.0. Somehow I figured it
 out by lot of trial and error. Currently I am trying to fix the destroot
 phase.
 >
 >
 > {{{
 > DEBUG: Executing org.macports.destroot (acl2)
 > File path = /opt/local/var/macports/build
 /_Users_jacksonisaac_Development_macports-
 ports_math_acl2/acl2/work/destroot//opt/local/share/acl2/8.0
 > Error: Failed to destroot acl2: no files matched glob pattern "*"
 > DEBUG: Error code: NONE
 > DEBUG: Backtrace: no files matched glob pattern "*"
 >     while executing
 > "$procedure $targetname"
 > Error: See /opt/local/var/macports/logs
 /_Users_jacksonisaac_Development_macports-ports_math_acl2/acl2/main.log
 for details.
 > Error: Follow https://guide.macports.org/#project.tickets to report a
 bug.
 > Error: Processing of port acl2 failed
 > }}}
 >
 > Correct me if I am wrong but I am guessing it is some path related issue
 probably ?

--
Ticket URL: <https://trac.macports.org/ticket/46257#comment:11>
MacPorts <https://www.macports.org/>
Ports system for macOS
Reply | Threaded
Open this post in threaded view
|

Re: [MacPorts] #46257: acl2: fetch from upstream fails, needs update to current version 8.0 (was: acl2: fetch from upstream fails, needs update to current version 7.2)

MacPorts
In reply to this post by MacPorts
#46257: acl2: fetch from upstream fails, needs update to current version 8.0
------------------------+--------------------------------
  Reporter:  fumbaz0@…  |      Owner:  macports-tickets@…
      Type:  defect     |     Status:  new
  Priority:  Normal     |  Milestone:
 Component:  ports      |    Version:  2.3.3
Resolution:             |   Keywords:
      Port:  acl2       |
------------------------+--------------------------------

--
Ticket URL: <https://trac.macports.org/ticket/46257#comment:12>
MacPorts <https://www.macports.org/>
Ports system for macOS
Reply | Threaded
Open this post in threaded view
|

Re: [MacPorts] #46257: acl2: fetch from upstream fails, needs update to current version 8.0

MacPorts
In reply to this post by MacPorts
#46257: acl2: fetch from upstream fails, needs update to current version 8.0
------------------------+--------------------------------
  Reporter:  fumbaz0@…  |      Owner:  macports-tickets@…
      Type:  defect     |     Status:  closed
  Priority:  Normal     |  Milestone:
 Component:  ports      |    Version:  2.3.3
Resolution:  fixed      |   Keywords:
      Port:  acl2       |
------------------------+--------------------------------
Changes (by JacksonIsaac):

 * status:  new => closed
 * resolution:   => fixed


Comment:

 In [changeset:"dde0adcf298d6d31e881e073e41d6523490d7568/macports-ports"
 dde0adcf298d6d31e881e073e41d6523490d7568/macports-ports] (master):
 {{{
 #!ConfigurableCommitTicketReference repository="macports-ports"
 revision="dde0adcf298d6d31e881e073e41d6523490d7568"
 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: https://trac.macports.org/ticket/46257
 Closes: https://trac.macports.org/ticket/52667
 }}}

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