Date: Thu, 01 Oct 2015 09:41:47 +0000 From: bugzilla-noreply@freebsd.org To: freebsd-ports-bugs@FreeBSD.org Subject: [Bug 203467] lang/polyml fix build on CURRENT ; enable shared Message-ID: <bug-203467-13@https.bugs.freebsd.org/bugzilla/>
next in thread | raw e-mail | index | archive | help
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@FreeBSD.org Reporter: hannes@mehnert.org CC: beyert@cs.ucr.edu Flags: maintainer-feedback?(beyert@cs.ucr.edu) CC: beyert@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.
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?bug-203467-13>