Bug 191914 - [ maintainer ] update port: lang/polyml
Summary: [ maintainer ] update port: lang/polyml
Status: Closed FIXED
Alias: None
Product: Ports & Packages
Classification: Unclassified
Component: Individual Port(s) (show other bugs)
Version: Latest
Hardware: Any Any
: Normal Affects Only Me
Assignee: freebsd-ports-bugs (Nobody)
Depends on:
Reported: 2014-07-17 07:53 UTC by Timothy Beyer
Modified: 2014-07-27 08:01 UTC (History)
2 users (show)

See Also:

polyml.diff (2.54 KB, patch)
2014-07-17 07:53 UTC, Timothy Beyer
no flags Details | Diff
output of "port test" (67.26 KB, text/x-log)
2014-07-17 08:08 UTC, Timothy Beyer
no flags Details

Note You need to log in before you can comment on or make changes to this bug.
Description Timothy Beyer 2014-07-17 07:53:02 UTC
Created attachment 144743 [details]

- update to version 5.5.2

- use more modern ports conventions (USES libtool:keepla, pkgconfig pathfix)

- add support for system libffi

- Use sed instead of patch to configure file

Apply patch and build port

The included patch
Comment 1 Timothy Beyer 2014-07-17 07:58:52 UTC
Status of RedPorts:

lang/polyml 5.5.2
10.0-RELEASE/amd64	success	15 minutes	 Buildlog
10.0-RELEASE/i386	success	2 minutes	 Buildlog
9.2-RELEASE/amd64	success	3 minutes	 Buildlog
9.2-RELEASE/i386	success	14 minutes	 Buildlog
QATty	depend (missing_header in lang/gcc)	7 minutes	 Buildlog


Note that the missing_header in QATty is for lang/gcc, not the port itself, so I believe that it is irrelevant.
Comment 2 Timothy Beyer 2014-07-17 08:08:52 UTC
Created attachment 144746 [details]
output of "port test"

- Output of "port test" included
Comment 3 Timothy Beyer 2014-07-17 08:16:55 UTC
Output of "portlint -CA"

looks fine.
Comment 4 commit-hook freebsd_committer 2014-07-27 08:00:11 UTC
A commit references this bug:

Author: marino
Date: Sun Jul 27 07:59:57 UTC 2014
New revision: 363018
URL: http://svnweb.freebsd.org/changeset/ports/363018

  lang/polyml: Upgrade version 5.5 => 5.5.2

    * add support for system libffi
    * Use sed instead of patch to fix configure
    * Adopt modern port conventions

  PR:		191914
  Submitted by:	maintainer (Timothy Beyer)

Comment 5 John Marino freebsd_committer 2014-07-27 08:01:01 UTC