diff options
| author | Michel Alexandre Salim <msalim@cs.indiana.edu> | 2009-03-04 15:30:58 -0500 |
|---|---|---|
| committer | Michel Alexandre Salim <msalim@cs.indiana.edu> | 2009-03-04 15:30:58 -0500 |
| commit | a22c9d5d4c941a336da5e557250edc08077dcde2 (patch) | |
| tree | 5fa0e35317cbf59037c5c21e3c986c27d4664d37 /funpl | |
| parent | 10217096197796b809146a1712ec768eb97119be (diff) | |
| download | specs-a22c9d5d4c941a336da5e557250edc08077dcde2.tar.gz specs-a22c9d5d4c941a336da5e557250edc08077dcde2.tar.xz specs-a22c9d5d4c941a336da5e557250edc08077dcde2.zip | |
Pure functional language
Diffstat (limited to 'funpl')
| -rw-r--r-- | funpl/pure.spec | 70 |
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 + |
