summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorŁukasz Kieś2011-07-31 19:41:20 (GMT)
committercvs2git2012-06-24 12:13:13 (GMT)
commit5c0575c938df022c887e72ec293c729bebbfa732 (patch)
tree1ee0135d275f083458a22c2f79591bda0ce87a4f
parent81ff8619cb9c63ec26336ec4e2273ccce8bc6a89 (diff)
downloadgprolog-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.spec32
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