[521] | 1 | Name: gprolog |
---|
[8939] | 2 | Summary: A native Prolog compiler with constraint solving over Finite Domains |
---|
| 3 | Summary(ja): 有限領域の制約解決に適した Prolog コンパイラ |
---|
| 4 | Version: 1.4.4 |
---|
| 5 | Release: 1%{?_dist_release} |
---|
[3753] | 6 | |
---|
[8939] | 7 | License: LGPLv3 or GPLv2 |
---|
[521] | 8 | Group: Development/Languages |
---|
[8939] | 9 | URL: http://www.gprolog.org/ |
---|
[3753] | 10 | |
---|
[8939] | 11 | Source0: http://www.gprolog.org/%{name}-%{version}.tar.gz |
---|
[3753] | 12 | |
---|
| 13 | Buildroot: %{_tmppath}/%{name}-%{version}-root |
---|
| 14 | BuildRequires: sed |
---|
| 15 | |
---|
[521] | 16 | Vendor: Project Vine |
---|
| 17 | Distribution: Vine Linux |
---|
| 18 | |
---|
[3753] | 19 | Packager: inagaki |
---|
| 20 | |
---|
[521] | 21 | %description |
---|
[3753] | 22 | GNU Prolog is a native Prolog compiler with constraint solving over finite |
---|
[8939] | 23 | domains (FD) developed by Daniel Diaz (http://cri-dist.univ-paris1.fr/diaz/) |
---|
[521] | 24 | |
---|
[3753] | 25 | GNU Prolog is a very efficient native compiler producing (small) stand-alone |
---|
| 26 | executables. GNU-Prolog also offers a classical top-level+debugger. |
---|
[521] | 27 | |
---|
[8939] | 28 | A lot of work has been devoted to the ISO compatibility. GNU Prolog is very |
---|
| 29 | close to the ISO standard. |
---|
[521] | 30 | |
---|
[3753] | 31 | GNU Prolog also includes a powerful constraint solver over finite domains |
---|
| 32 | with many predefined constraints+heuristics. |
---|
[521] | 33 | |
---|
[3753] | 34 | More information can be found at http://www.gnu.org/software/prolog |
---|
[8939] | 35 | or better at http://www.gprolog.org. |
---|
[521] | 36 | |
---|
| 37 | %description -l ja |
---|
| 38 | GNU Prolog は有限領域 (FD) の制約解決に適したネイティブ Prolog コンパイラで、 |
---|
[8939] | 39 | Daniel Diaz (http://cri-dist.univ-paris1.fr/diaz/) によって開発されました。 |
---|
[521] | 40 | GNU Prolog は (小さな) スタンドアロンの実行可能形式を生成する、非常に効率の |
---|
| 41 | 良いネイティブコンパイラです。 |
---|
[8939] | 42 | 多くの作業が ISO 準拠に向けられました。GNU Prolog は ISO 標準に非常に近いです。 |
---|
[521] | 43 | GNU Prolog は多くの定義済の制約条件と発見的手法を用いて、有限領域の問題に |
---|
| 44 | 対して強力な制約解決機能も提供します。 |
---|
[8939] | 45 | 詳しい情報は http://www.gnu.org/software/prolog や http://www.gprolog.org |
---|
[521] | 46 | (こちらの方が良い)で見つけることができます。 |
---|
| 47 | |
---|
| 48 | %prep |
---|
| 49 | %setup -q |
---|
| 50 | |
---|
| 51 | %build |
---|
| 52 | cd src |
---|
[3753] | 53 | |
---|
| 54 | # gprolog only acccept -O0 and don't like -fomit-frame-pointer |
---|
| 55 | |
---|
| 56 | CFLG="$(echo $RPM_OPT_FLAGS | sed -s "s/\-O2/-O1/g" \ |
---|
| 57 | | sed -e "s/\-fomit-frame-pointer//")" |
---|
| 58 | |
---|
| 59 | # Based on a gentoo ebuild (??) |
---|
| 60 | CFLG="$CFLG -funsigned-char" |
---|
| 61 | |
---|
[521] | 62 | ./configure \ |
---|
| 63 | --with-install-dir=$RPM_BUILD_ROOT%{_libdir}/%{name}-%{version} \ |
---|
| 64 | --without-links-dir \ |
---|
[3753] | 65 | --with-examples-dir=$RPM_BUILD_ROOT%{_libdir}/%{name}-%{version}/examples \ |
---|
| 66 | --with-doc-dir=dist-doc \ |
---|
| 67 | --with-c-flags="$CFLG" |
---|
| 68 | |
---|
[521] | 69 | make |
---|
| 70 | |
---|
[3753] | 71 | %check |
---|
| 72 | cd src |
---|
| 73 | # |
---|
| 74 | export PATH=$RPM_BUILD_ROOT%{_bindir}:$PATH |
---|
| 75 | # |
---|
| 76 | make check |
---|
| 77 | |
---|
[521] | 78 | %install |
---|
| 79 | rm -rf $RPM_BUILD_ROOT |
---|
[3753] | 80 | rm -rf dist-doc |
---|
| 81 | |
---|
[521] | 82 | pushd src |
---|
| 83 | make install-strip |
---|
| 84 | popd |
---|
| 85 | mkdir $RPM_BUILD_ROOT%{_bindir} |
---|
| 86 | pushd $RPM_BUILD_ROOT%{_libdir}/%{name}-%{version}/bin |
---|
| 87 | for i in *; do |
---|
[8939] | 88 | ln -s ../%{_lib}/%{name}-%{version}/bin/$i $RPM_BUILD_ROOT%{_bindir}/$i |
---|
[521] | 89 | done |
---|
[3753] | 90 | |
---|
| 91 | #rm -rf docs_to_install |
---|
| 92 | #mkdir -p docs_to_install |
---|
| 93 | #mv $RPM_BUILD_ROOT%{_libdir}/%{name}-%{version}/doc/* docs_to_install |
---|
| 94 | #rm -f $RPM_BUILD_ROOT%{_libdir}/%{name}-%{version}/{COPYING,ChangeLog,NEWS,VERSION} |
---|
| 95 | |
---|
| 96 | rm -f dist-doc/*.{chm,dvi,ps} |
---|
| 97 | rm -f dist-doc/compil-scheme.pdf |
---|
| 98 | rm -f dist-doc/debug-box.pdf |
---|
| 99 | |
---|
[8939] | 100 | for file in ChangeLog COPYING NEWS README VERSION gprolog.ico |
---|
[3753] | 101 | do |
---|
| 102 | rm -f $RPM_BUILD_ROOT%{_libdir}/gprolog-%{version}/$file |
---|
| 103 | done |
---|
| 104 | |
---|
[521] | 105 | popd |
---|
| 106 | |
---|
[3753] | 107 | |
---|
| 108 | |
---|
[521] | 109 | %clean |
---|
| 110 | rm -rf $RPM_BUILD_ROOT |
---|
| 111 | |
---|
| 112 | %files |
---|
| 113 | %defattr(-,root,root) |
---|
[8939] | 114 | %doc README COPYING ChangeLog NEWS PROBLEMS VERSION gprolog.ico |
---|
[3753] | 115 | %doc src/dist-doc/* |
---|
[521] | 116 | %{_bindir}/* |
---|
| 117 | %{_libdir}/%{name}-%{version}/bin |
---|
| 118 | %{_libdir}/%{name}-%{version}/examples |
---|
| 119 | %{_libdir}/%{name}-%{version}/include |
---|
| 120 | %{_libdir}/%{name}-%{version}/lib |
---|
| 121 | |
---|
| 122 | %changelog |
---|
[8939] | 123 | * Sat Sep 6 2014 Ryoichi INAGAKI <ryo1@bc.wakwak.com> 1.4.4-1 |
---|
| 124 | - updated to 1.4.4 |
---|
| 125 | - updated summary and description |
---|
| 126 | - updated License to LGPLv3 or GPLv2 |
---|
| 127 | |
---|
[3753] | 128 | * Sun May 1 2011 Ryoichi INAGAKI <ryo1@bc.wakwak.com> 1.3.1-2 |
---|
| 129 | - rebuilt with current VineSeed |
---|
| 130 | - fixed compile option |
---|
| 131 | |
---|
[521] | 132 | * Wed Mar 11 2009 Ryoichi INAGAKI <ryo1@bc.wakwak.com> 1.3.1-1 |
---|
| 133 | - updated to 1.3.1 |
---|
| 134 | - applied new versioning policy |
---|
| 135 | - spec in UTF-8 |
---|
| 136 | |
---|
| 137 | * Tue Aug 17 2004 Ryoichi INAGAKI <ryo1@bc.wakwak.com> 1.2.17-0vl3 |
---|
| 138 | - rebuild for VinePlus/3.0 and VineSeedPlus |
---|
| 139 | - updated Japanese Summary and description |
---|
| 140 | - merged VinePlus/2.5 spec file |
---|
| 141 | * Fri Jul 23 2004 IKEDA Katsumi <ikeda@webmasters.gr.jp> 1.2.16-1vl2 |
---|
| 142 | - Added Summary(ja) and %%description -l ja. |
---|
| 143 | |
---|
| 144 | * Sat Feb 14 2004 Ryoichi INAGAKI <ryo1@bc.wakwak.com> 1.2.17-0vl2 |
---|
| 145 | - merged VinePlus spec file |
---|
| 146 | * Thu Feb 12 2004 by IKEDA Katsumi <ikedak@rg8.so-net.ne.jp> |
---|
| 147 | - 1.2.161vl1 |
---|
| 148 | - Modified %Vendor, %Buildroot and %build. |
---|
| 149 | - Add %Distribution. |
---|
| 150 | - Remove %Packager and %Prefix. |
---|
| 151 | - added --with-examples-dir to ./configure |
---|
| 152 | - fixed %files section to exclude %{_libdir}/%{name}-%{version}/doc |
---|
| 153 | |
---|
| 154 | * Fri Feb 13 2004 Ryoichi INAGAKI <ryo1@bc.wakwak.com> 1.2.17-0vl1 |
---|
| 155 | - rebuild for Vine Linux |
---|
| 156 | - s/Copyright/License/ |
---|
| 157 | - use more rpm macros |
---|
| 158 | |
---|
| 159 | * Tue Jul 25 2000 Daniel Diaz <Daniel.Diaz@inria.fr> |
---|
| 160 | - initial specfile |
---|