diff options
author | Łukasz Kieś | 2011-07-31 19:41:20 (GMT) |
---|---|---|
committer | cvs2git | 2012-06-24 12:13:13 (GMT) |
commit | 5c0575c938df022c887e72ec293c729bebbfa732 (patch) | |
tree | 1ee0135d275f083458a22c2f79591bda0ce87a4f | |
parent | 81ff8619cb9c63ec26336ec4e2273ccce8bc6a89 (diff) | |
download | gprolog-5c0575c938df022c887e72ec293c729bebbfa732.zip gprolog-5c0575c938df022c887e72ec293c729bebbfa732.tar.gz |
- updated to 1.4.0auto/th/gprolog-1_4_0-1
- fixed installing examples
- changed license
- adapterized
Changed files:
gprolog.spec -> 1.38
-rw-r--r-- | gprolog.spec | 32 |
1 files changed, 14 insertions, 18 deletions
diff --git a/gprolog.spec b/gprolog.spec index 7bf0a8d..230f03a 100644 --- a/gprolog.spec +++ b/gprolog.spec @@ -3,12 +3,12 @@ Summary(es.UTF-8): Prolog de GNU - un compilador libre de Prolog con resolución Summary(pl.UTF-8): GNU Prolog - darmowy kompilator języka Prolog Summary(pt_BR.UTF-8): O Prolog GNU Name: gprolog -Version: 1.3.1 +Version: 1.4.0 Release: 1 -License: GPL +License: LGPL/GPL Group: Development/Languages Source0: http://www.gprolog.org/%{name}-%{version}.tar.gz -# Source0-md5: cbae19c31e17bcfca4b57fe35ec4aba2 +# Source0-md5: cc944e5637a04a9184c8aa46c947fd16 URL: http://www.gprolog.org/ BuildRequires: autoconf >= 2.52 BuildRequires: automake @@ -31,20 +31,20 @@ GNU Prolog also includes a powerful constraint solver over finite domains with many predefined constraints+heuristics. %description -l es.UTF-8 -GNU Prolog es un compilador nativo de Prolog con resolución de ligaduras -sobre dominios finitos (FD: Finite Domains), desarrollado por Daniel Diaz -(http://loco.inria.fr/~diaz/). +GNU Prolog es un compilador nativo de Prolog con resolución de +ligaduras sobre dominios finitos (FD: Finite Domains), desarrollado +por Daniel Diaz (http://loco.inria.fr/~diaz/). -GNU Prolog es un compilador nativo muy eficiente que produce ejecutables -independientes (y pequeños). GNU Prolog también ofrece un clásico nivel alto -y un depurador. +GNU Prolog es un compilador nativo muy eficiente que produce +ejecutables independientes (y pequeños). GNU Prolog también ofrece un +clásico nivel alto y un depurador. GNU Prolog implementa el estándar ISO para Prolog, sin embargo incluye -un montón de extensiones (variables globales, DCG, sockets, inferfaz de SO, -...). +un montón de extensiones (variables globales, DCG, sockets, inferfaz +de SO, ...). -GNU Prolog también habilita resolver ligaduras sobre dominios finitos con -varias ligaduras predefinidas y unas heuristicas. +GNU Prolog también habilita resolver ligaduras sobre dominios finitos +con varias ligaduras predefinidas y unas heuristicas. %description -l pl.UTF-8 GNU Prolog jest bezpośrednim kompilatorem Prologu z narzuconymi @@ -90,7 +90,7 @@ cd src --with-install-dir=$RPM_BUILD_ROOT%{_libdir}/%{name}-%{version} \ --with-c-flags="%{rpmcflags}" \ --without-links-dir \ - --without-examples-dir \ + --with-examples-dir=$RPM_BUILD_ROOT%{_examplesdir}/%{name}-%{version} \ --without-doc-dir \ --without-html-dir %{__make} @@ -105,10 +105,6 @@ cd $RPM_BUILD_ROOT%{_libdir}/%{name}-%{version}/bin for i in *; do ln -s ../%{_lib}/%{name}-%{version}/bin/$i $RPM_BUILD_ROOT%{_bindir}/$i done -cd - - -install -d $RPM_BUILD_ROOT%{_examplesdir}/%{name}-%{version} -cp -a Examples* $RPM_BUILD_ROOT%{_examplesdir}/%{name}-%{version} %clean rm -rf $RPM_BUILD_ROOT |