summaryrefslogtreecommitdiffstats
path: root/funpl
diff options
context:
space:
mode:
authorMichel Alexandre Salim <msalim@cs.indiana.edu>2009-08-21 18:14:12 -0400
committerMichel Alexandre Salim <msalim@cs.indiana.edu>2009-08-21 18:14:12 -0400
commitda59bf44c6bb64a8d03649d1adc25ed3fb2e772d (patch)
treeb1bc73baaff2e7522a8f1c88be36c5499b7fda3a /funpl
parent7e2034c6bb1b21068219faef739652b9edd5e0d9 (diff)
downloadspecs-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.spec36
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