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