[packages/ocaml-menhir] - pl
qboosh
qboosh at pld-linux.org
Sat Jan 29 19:29:34 CET 2022
commit 7e271514ff012384f66acc827cbdf2f78d872b5f
Author: Jakub Bogusz <qboosh at pld-linux.org>
Date: Sat Jan 29 19:30:38 2022 +0100
- pl
ocaml-menhir.spec | 34 ++++++++++++++++++++++++++++++++--
1 file changed, 32 insertions(+), 2 deletions(-)
---
diff --git a/ocaml-menhir.spec b/ocaml-menhir.spec
index aebae4d..597a3d2 100644
--- a/ocaml-menhir.spec
+++ b/ocaml-menhir.spec
@@ -15,6 +15,7 @@
%define module menhir
Summary: LR(1) parser generator for the OCaml programming language
+Summary(pl.UTF-8): Generator parserów LR(1) dla języka programowania OCaml
Name: ocaml-%{module}
Version: 20210310
Release: 2
@@ -44,18 +45,39 @@ Porting a grammar specification from ocamlyacc to Menhir requires
replacing all calls to module Parsing with new Menhir-specific
keywords.
+%description -l pl.UTF-8
+Menhir to generator parserów LR(1) dla języka programownia OCaml.
+Oznacza to, że Menhir kompiluje specyfikacje gramatyk LR(1) do kodu w
+OCamlu.
+
+Menhir jest w 90% zgodny z ocamlyacc. Tradycyjne specyfikacje gramatyk
+ocamlyacca są akceptowane i kompilowane przez Menhira. Wynikowe
+parsery działają i tworzą poprawne drzewa analizy - jednak parsery
+jawnie wywołujące funkcje z modułu Parsing zachowują się nie do końca
+popeawnie. Na przykład funkcje dające dostęp do pozycji w przypadku
+wywołania z parsera Menhir zwracają pozycję pustą. Przekładanie
+specyfikacji gramatyki z ocamlyacca na Menhira wymaga zastąpienia
+wszystkich wywołań modułu Parsing nowymi słowami kluczowymi
+specyficznymi dla modułu Menhir.
+
%package devel
-Summary: Menhir development part
+Summary: Development part of OCaml Menhir library
+Summary(pl.UTF-8): Programistyczna część biblioteki OCamla Menhir
Group: Development/Libraries
Requires: %{name} = %{version}-%{release}
%requires_eq ocaml
%description devel
This package contains files needed to develop OCaml programs using
-menhir.
+menhir library.
+
+%description devel
+Ten pakiet zawiera pliki potrzebne do tworzenia programów w OCamlu
+używających biblioteki menhir.
%package -n coq-menhirlib
Summary: Support library for verified Coq parsers produced by Menhir
+Summary(pl.UTF-8): Biblioteka wspierająca dla wygenerowanych przez Menhira parserów weryfikowanych przez Coq
License: LGPL v3+
Requires: coq
@@ -67,6 +89,14 @@ validator (which allows verifying, at parser construction time, that
the generated parser is correct and complete with respect to the
grammar).
+%description -n coq-menhirlib -l pl.UTF-8
+Generator parserów Menhir w trybie --coq potrafi tworzyć parsery Coq.
+Parsery te muszą być konsolidowane z tą biblioteką, zapewniającą
+zarówno interpreter (pozwalający uruchamiać wygenerowane parsery), jak
+i walidator (pozwalający na weryfikowanie w trakcie konstruowania
+parsera, czy wygenerowany parser jest poprawny i kompletny względem
+gramatyki).
+
%prep
%setup -q -n %{module}-%{version}
================================================================
---- gitweb:
http://git.pld-linux.org/gitweb.cgi/packages/ocaml-menhir.git/commitdiff/7e271514ff012384f66acc827cbdf2f78d872b5f
More information about the pld-cvs-commit
mailing list