summaryrefslogtreecommitdiff
path: root/src
diff options
context:
space:
mode:
Diffstat (limited to 'src')
-rw-r--r--src/gf.spec70
1 files changed, 70 insertions, 0 deletions
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 <bringert@cs.chalmers.se> 2.0-1
+- Initial packaging
+