summaryrefslogtreecommitdiffstats
path: root/funpl
diff options
context:
space:
mode:
authorMichel Alexandre Salim <msalim@cs.indiana.edu>2009-03-04 15:30:58 -0500
committerMichel Alexandre Salim <msalim@cs.indiana.edu>2009-03-04 15:30:58 -0500
commita22c9d5d4c941a336da5e557250edc08077dcde2 (patch)
tree5fa0e35317cbf59037c5c21e3c986c27d4664d37 /funpl
parent10217096197796b809146a1712ec768eb97119be (diff)
downloadspecs-a22c9d5d4c941a336da5e557250edc08077dcde2.tar.gz
specs-a22c9d5d4c941a336da5e557250edc08077dcde2.tar.xz
specs-a22c9d5d4c941a336da5e557250edc08077dcde2.zip
Pure functional language
Diffstat (limited to 'funpl')
-rw-r--r--funpl/pure.spec70
1 files changed, 70 insertions, 0 deletions
diff --git a/funpl/pure.spec b/funpl/pure.spec
new file mode 100644
index 0000000..2e9dd16
--- /dev/null
+++ b/funpl/pure.spec
@@ -0,0 +1,70 @@
+%global mainver 0.18
+
+Name: pure
+Version: %{mainver}a
+Release: 1%{?dist}
+Summary: The Pure 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
+BuildRoot: %{_tmppath}/%{name}-%{version}-%{release}-root-%(%{__id_u} -n)
+
+BuildRequires: gmp-devel readline-devel gsl-devel
+BuildRequires: llvm >= 2.4
+#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.
+
+
+
+%prep
+%setup -q -n %{name}-%{mainver}
+%patch0 -p1 -b .gcc44
+
+
+%build
+%configure
+make %{?_smp_mflags}
+
+
+%install
+rm -rf $RPM_BUILD_ROOT
+make install DESTDIR=$RPM_BUILD_ROOT
+# fixes
+chmod -x $RPM_BUILD_ROOT%{_includedir}/pure-%{mainver}/runtime.h
+
+
+%check
+make check
+
+
+%clean
+rm -rf $RPM_BUILD_ROOT
+
+
+%files
+%defattr(-,root,root,-)
+%doc ChangeLog COPYING NEWS README TODO examples
+%{_bindir}/pure*
+%{_includedir}/pure*
+%{_libdir}/libpure*.so*
+%{_libdir}/pure*
+%{_mandir}/man1/*
+
+
+
+%changelog
+* Wed Mar 4 2009 Michel Salim <salimma@fedoraproject.org> - 0.18a-1
+- Initial package
+