Fedora 16 Update: pure-0.47-3.fc16

updates at fedoraproject.org updates at fedoraproject.org
Mon Aug 22 15:07:39 UTC 2011


--------------------------------------------------------------------------------
Fedora Update Notification
FEDORA-2011-10189
2011-08-02 20:48:21
--------------------------------------------------------------------------------

Name        : pure
Product     : Fedora 16
Version     : 0.47
Release     : 3.fc16
URL         : http://code.google.com/p/pure-lang/
Summary     : A term-rewriting functional programming language
Description :
Pure is a modern-style functional programming language based on term
rewriting. It offers equational definitions with pattern matching,
full symbolic rewriting capabilities, dynamic typing, eager and lazy
evaluation, lexical closures, built-in list and matrix support and an
easy-to-use C interface. The interpreter uses LLVM as a back-end to
JIT-compile Pure programs to fast native code.

--------------------------------------------------------------------------------
Update Information:

This updates F-16's LLVM to version 2.9, and rebuilds dependent packages for the soname change.

LLVM:
- Update to 2.9
- Depend on libffi to allow the LLVM interpreter to call external functions
- Build with RTTI enabled, needed by e.g. Rubinius (# 722714)
- Fix multilib installation
- Fix incorrect platform-specific include path on i686

Pure:
- Build with proper optimization flags (# 694565)
--------------------------------------------------------------------------------
References:

  [ 1 ] Bug #694785 - update to 2.9
        https://bugzilla.redhat.com/show_bug.cgi?id=694785
  [ 2 ] Bug #699416 - llvm-devel not parallel installable - packaging issue
        https://bugzilla.redhat.com/show_bug.cgi?id=699416
  [ 3 ] Bug #722714 - LLVM built with -fno-rtti
        https://bugzilla.redhat.com/show_bug.cgi?id=722714
  [ 4 ] Bug #694565 - pure 0.47-1 not built with $RPM_OPT_FLAGS
        https://bugzilla.redhat.com/show_bug.cgi?id=694565
--------------------------------------------------------------------------------

This update can be installed with the "yum" update program.  Use 
su -c 'yum update pure' at the command line.
For more information, refer to "Managing Software with yum",
available at http://docs.fedoraproject.org/yum/.

All packages are signed with the Fedora Project GPG key.  More details on the
GPG keys used by the Fedora Project can be found at
https://fedoraproject.org/keys
--------------------------------------------------------------------------------


More information about the package-announce mailing list