|
@@ -1,14 +1,14 @@
|
|
-Summary: GNU Prolog is a free Prolog compiler with constraint solving over Finite Domains
|
|
|
|
-Summary(ja): GNU Prolog: 有限領域の制約解決に適したフリーな Prolog コンパイラ
|
|
|
|
Name: gprolog
|
|
Name: gprolog
|
|
-Version: 1.3.1
|
|
|
|
-Release: 2%{?_dist_release}
|
|
|
|
|
|
+Summary: A native Prolog compiler with constraint solving over Finite Domains
|
|
|
|
+Summary(ja): 有限領域の制約解決に適した Prolog コンパイラ
|
|
|
|
+Version: 1.4.4
|
|
|
|
+Release: 1%{?_dist_release}
|
|
|
|
|
|
-License: GPLv2
|
|
|
|
|
|
+License: LGPLv3 or GPLv2
|
|
Group: Development/Languages
|
|
Group: Development/Languages
|
|
-URL: http://gprolog.inria.fr/
|
|
|
|
|
|
+URL: http://www.gprolog.org/
|
|
|
|
|
|
-Source: ftp://ftp.inria.fr/Projects/loco/%{name}/%{name}-%{version}.tar.gz
|
|
|
|
|
|
+Source0: http://www.gprolog.org/%{name}-%{version}.tar.gz
|
|
|
|
|
|
Buildroot: %{_tmppath}/%{name}-%{version}-root
|
|
Buildroot: %{_tmppath}/%{name}-%{version}-root
|
|
BuildRequires: sed
|
|
BuildRequires: sed
|
|
@@ -20,30 +20,29 @@ Packager: inagaki
|
|
|
|
|
|
%description
|
|
%description
|
|
GNU Prolog is a native Prolog compiler with constraint solving over finite
|
|
GNU Prolog is a native Prolog compiler with constraint solving over finite
|
|
-domains (FD) developed by Daniel Diaz (http://loco.inria.fr/~diaz).
|
|
|
|
|
|
+domains (FD) developed by Daniel Diaz (http://cri-dist.univ-paris1.fr/diaz/)
|
|
|
|
|
|
GNU Prolog is a very efficient native compiler producing (small) stand-alone
|
|
GNU Prolog is a very efficient native compiler producing (small) stand-alone
|
|
executables. GNU-Prolog also offers a classical top-level+debugger.
|
|
executables. GNU-Prolog also offers a classical top-level+debugger.
|
|
|
|
|
|
-GNU Prolog conforms to the ISO standard for Prolog but also includes a lot
|
|
|
|
-of extensions (global variables, DCG, sockets, OS interface,...).
|
|
|
|
|
|
+A lot of work has been devoted to the ISO compatibility. GNU Prolog is very
|
|
|
|
+close to the ISO standard.
|
|
|
|
|
|
GNU Prolog also includes a powerful constraint solver over finite domains
|
|
GNU Prolog also includes a powerful constraint solver over finite domains
|
|
with many predefined constraints+heuristics.
|
|
with many predefined constraints+heuristics.
|
|
|
|
|
|
More information can be found at http://www.gnu.org/software/prolog
|
|
More information can be found at http://www.gnu.org/software/prolog
|
|
-or better at http://gprolog.inria.fr.
|
|
|
|
|
|
+or better at http://www.gprolog.org.
|
|
|
|
|
|
%description -l ja
|
|
%description -l ja
|
|
GNU Prolog は有限領域 (FD) の制約解決に適したネイティブ Prolog コンパイラで、
|
|
GNU Prolog は有限領域 (FD) の制約解決に適したネイティブ Prolog コンパイラで、
|
|
-Daniel Diaz (http://loco.inria.fr/~diaz) によって開発されました。
|
|
|
|
|
|
+Daniel Diaz (http://cri-dist.univ-paris1.fr/diaz/) によって開発されました。
|
|
GNU Prolog は (小さな) スタンドアロンの実行可能形式を生成する、非常に効率の
|
|
GNU Prolog は (小さな) スタンドアロンの実行可能形式を生成する、非常に効率の
|
|
良いネイティブコンパイラです。
|
|
良いネイティブコンパイラです。
|
|
-GNU Prolog は Prolog の ISO 規格に準拠しているだけでなく、多くの拡張
|
|
|
|
-(グローバル変数、DCG、ソケット、OS インタフェース、……) も含んでいます。
|
|
|
|
|
|
+多くの作業が ISO 準拠に向けられました。GNU Prolog は ISO 標準に非常に近いです。
|
|
GNU Prolog は多くの定義済の制約条件と発見的手法を用いて、有限領域の問題に
|
|
GNU Prolog は多くの定義済の制約条件と発見的手法を用いて、有限領域の問題に
|
|
対して強力な制約解決機能も提供します。
|
|
対して強力な制約解決機能も提供します。
|
|
-詳しい情報は http://www.gnu.org/software/prolog や http://gprolog.inria.fr
|
|
|
|
|
|
+詳しい情報は http://www.gnu.org/software/prolog や http://www.gprolog.org
|
|
(こちらの方が良い)で見つけることができます。
|
|
(こちらの方が良い)で見つけることができます。
|
|
|
|
|
|
%prep
|
|
%prep
|
|
@@ -86,7 +85,7 @@ popd
|
|
mkdir $RPM_BUILD_ROOT%{_bindir}
|
|
mkdir $RPM_BUILD_ROOT%{_bindir}
|
|
pushd $RPM_BUILD_ROOT%{_libdir}/%{name}-%{version}/bin
|
|
pushd $RPM_BUILD_ROOT%{_libdir}/%{name}-%{version}/bin
|
|
for i in *; do
|
|
for i in *; do
|
|
- ln -s ../lib/%{name}-%{version}/bin/$i $RPM_BUILD_ROOT%{_bindir}/$i
|
|
|
|
|
|
+ ln -s ../%{_lib}/%{name}-%{version}/bin/$i $RPM_BUILD_ROOT%{_bindir}/$i
|
|
done
|
|
done
|
|
|
|
|
|
#rm -rf docs_to_install
|
|
#rm -rf docs_to_install
|
|
@@ -98,7 +97,7 @@ rm -f dist-doc/*.{chm,dvi,ps}
|
|
rm -f dist-doc/compil-scheme.pdf
|
|
rm -f dist-doc/compil-scheme.pdf
|
|
rm -f dist-doc/debug-box.pdf
|
|
rm -f dist-doc/debug-box.pdf
|
|
|
|
|
|
-for file in ChangeLog COPYING NEWS VERSION
|
|
|
|
|
|
+for file in ChangeLog COPYING NEWS README VERSION gprolog.ico
|
|
do
|
|
do
|
|
rm -f $RPM_BUILD_ROOT%{_libdir}/gprolog-%{version}/$file
|
|
rm -f $RPM_BUILD_ROOT%{_libdir}/gprolog-%{version}/$file
|
|
done
|
|
done
|
|
@@ -112,7 +111,7 @@ rm -rf $RPM_BUILD_ROOT
|
|
|
|
|
|
%files
|
|
%files
|
|
%defattr(-,root,root)
|
|
%defattr(-,root,root)
|
|
-%doc README COPYING ChangeLog NEWS PROBLEMS VERSION
|
|
|
|
|
|
+%doc README COPYING ChangeLog NEWS PROBLEMS VERSION gprolog.ico
|
|
%doc src/dist-doc/*
|
|
%doc src/dist-doc/*
|
|
%{_bindir}/*
|
|
%{_bindir}/*
|
|
%{_libdir}/%{name}-%{version}/bin
|
|
%{_libdir}/%{name}-%{version}/bin
|
|
@@ -121,6 +120,11 @@ rm -rf $RPM_BUILD_ROOT
|
|
%{_libdir}/%{name}-%{version}/lib
|
|
%{_libdir}/%{name}-%{version}/lib
|
|
|
|
|
|
%changelog
|
|
%changelog
|
|
|
|
+* Sat Sep 6 2014 Ryoichi INAGAKI <ryo1@bc.wakwak.com> 1.4.4-1
|
|
|
|
+- updated to 1.4.4
|
|
|
|
+- updated summary and description
|
|
|
|
+- updated License to LGPLv3 or GPLv2
|
|
|
|
+
|
|
* Sun May 1 2011 Ryoichi INAGAKI <ryo1@bc.wakwak.com> 1.3.1-2
|
|
* Sun May 1 2011 Ryoichi INAGAKI <ryo1@bc.wakwak.com> 1.3.1-2
|
|
- rebuilt with current VineSeed
|
|
- rebuilt with current VineSeed
|
|
- fixed compile option
|
|
- fixed compile option
|