[Bug 203467] lang/polyml fix build on CURRENT ; enable shared

[bugzilla-noreply at freebsd.org]

https://bugs.freebsd.org/bugzilla/show_bug.cgi?id=203467

            Bug ID: 203467
           Summary: lang/polyml fix build on CURRENT ; enable shared
           Product: Ports & Packages
           Version: Latest
          Hardware: Any
                OS: Any
            Status: New
          Severity: Affects Some People
          Priority: ---
         Component: Individual Port(s)
          Assignee: freebsd-ports-bugs at FreeBSD.org
          Reporter: hannes at mehnert.org
                CC: beyert at cs.ucr.edu
             Flags: maintainer-feedback?(beyert at cs.ucr.edu)
                CC: beyert at cs.ucr.edu

Created attachment 161589
  --> https://bugs.freebsd.org/bugzilla/attachment.cgi?id=161589&action=edit
Makefile diff

polyml currently uses "-lstdc++" in configure (which is no longer available
with recent llvm); also, exposing polyml as a shared library (as required by
e.g. HOL4) is not enabled.

The attached patch removes "-lstdc++" from configure; also it passed
"--enable-shared" to configure, such that the shared object is built.

Also, libpolyml.so[.6[.0.0]] are added to pkg-plist.

-- 
You are receiving this mail because:
You are the assignee for the bug.