diff options
| author | Michel Alexandre Salim <msalim@cs.indiana.edu> | 2009-08-21 18:14:12 -0400 |
|---|---|---|
| committer | Michel Alexandre Salim <msalim@cs.indiana.edu> | 2009-08-21 18:14:12 -0400 |
| commit | da59bf44c6bb64a8d03649d1adc25ed3fb2e772d (patch) | |
| tree | b1bc73baaff2e7522a8f1c88be36c5499b7fda3a /funpl | |
| parent | 7e2034c6bb1b21068219faef739652b9edd5e0d9 (diff) | |
| download | specs-da59bf44c6bb64a8d03649d1adc25ed3fb2e772d.tar.gz specs-da59bf44c6bb64a8d03649d1adc25ed3fb2e772d.tar.xz specs-da59bf44c6bb64a8d03649d1adc25ed3fb2e772d.zip | |
pure.spec: update to 0.29
Diffstat (limited to 'funpl')
| -rw-r--r-- | funpl/pure.spec | 36 |
1 files changed, 19 insertions, 17 deletions
diff --git a/funpl/pure.spec b/funpl/pure.spec index 8677594..c4f191b 100644 --- a/funpl/pure.spec +++ b/funpl/pure.spec @@ -1,36 +1,35 @@ -%global mainver 0.19 - Name: pure -Version: %{mainver} +Version: 0.29 Release: 1%{?dist} -Summary: The Pure programming language +Summary: A term-rewriting functional programming language Group: Development/Languages License: GPLv3+ URL: http://code.google.com/p/pure-lang/ Source0: http://pure-lang.googlecode.com/files/pure-%{version}.tar.gz -Patch0: pure-0.18-gcc44.patch +Patch0: pure-0.29-gcc44.patch BuildRoot: %{_tmppath}/%{name}-%{version}-%{release}-root-%(%{__id_u} -n) BuildRequires: gmp-devel readline-devel gsl-devel # Not checked by configure BuildRequires: llvm-devel >= 2.4 flex -#Requires: -%description -Pure is a functional programming language based on term rewriting. It -has a modern syntax featuring curried function applications, lexical -closures and equational definitions with pattern matching, and thus is -somewhat similar to languages of the Haskell and ML variety. But Pure -is also a very dynamic language, and is more like Lisp in this -respect. The interpreter has an LLVM backend to do JIT compilation, -hence programs run blazingly fast and interfacing to C modules is -easy. +# LLVM is not supported on ppc64 +ExcludeArch: ppc64 +%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 backend to +JIT-compile Pure programs to fast native code. %prep -%setup -q -n %{name}-%{mainver} +%setup -q +# GCC 4.4 header fix +# http://code.google.com/p/pure-lang/issues/detail?id=12 %patch0 -p1 -b .gcc44 @@ -43,7 +42,7 @@ make %{?_smp_mflags} rm -rf $RPM_BUILD_ROOT make install DESTDIR=$RPM_BUILD_ROOT # fixes -chmod -x $RPM_BUILD_ROOT%{_includedir}/pure-%{mainver}/runtime.h +#chmod -x $RPM_BUILD_ROOT%{_includedir}/pure-%{version}/runtime.h %check @@ -66,6 +65,9 @@ rm -rf $RPM_BUILD_ROOT %changelog +* Fri Aug 21 2009 Michel Salim <salimma@fedoraproject.org> - 0.29-1 +- Update to 0.29 + * Sun Mar 15 2009 Michel Salim <salimma@fedoraproject.org> - 0.19-1 - Update to 0.19 - Add build dependencies that configure does not check: llvm-devel, flex |
