From 5f4898739cd9f8df69ecdf994689569ced43a8ae Mon Sep 17 00:00:00 2001 From: bringert Date: Tue, 22 Jun 2004 08:56:34 +0000 Subject: [PATCH] Added RPM spec --- src/gf.spec | 70 +++++++++++++++++++++++++++++++++++++++++++++++++++++ 1 file changed, 70 insertions(+) create mode 100644 src/gf.spec diff --git a/src/gf.spec b/src/gf.spec new file mode 100644 index 000000000..d2a025011 --- /dev/null +++ b/src/gf.spec @@ -0,0 +1,70 @@ +%define name GF +%define version 2.0 +%define release 1 + +Name: %{name} +Summary: Grammatical Framework +Version: %{version} +Release: %{release} +License: GPL +Group: Sciences/Other +URL: http://www.cs.chalmers.se/~aarne/GF/pub/work-index/ +Source: %{name}-%{version}.tar.gz +BuildRoot: %{_tmppath}/%{name}-%{version}-%{release}-buildroot +BuildRequires: ghc + +%description +The Grammatical Framework (=GF) is a grammar formalism based on type theory. +It consists of + + * a special-purpose programming language + * a compiler of the language + * a generic grammar processor + +The compiler reads GF grammars from user-provided files, and the +generic grammar processor performs various tasks with the grammars: + + * generation + * parsing + * translation + * type checking + * computation + * paraphrasing + * random generation + * syntax editing + +GF particularly addresses two aspects of grammars: + + * multilinguality (parallel grammars for different languages) + * semantics (semantic conditions of well-formedness, semantic + properties of expressions) + + + + +%prep +rm -rf $RPM_BUILD_ROOT +%setup -q -n %{name}%{version} + +%build +cd src +%configure +make today opt + +%install +rm -rf $RPM_BUILD_ROOT + +%clean +rm -rf $RPM_BUILD_ROOT + +%files +%defattr(-,root,root,0755) +%{_bindir}/gf2 +%doc LICENSE README doc/{DocGF.pdf,gf2-highlights.html,index.html,release2.html} + + +%changelog + +* Mon Jun 21 2004 Bjorn Bringert 2.0-1 +- Initial packaging +