1 | Name: gprolog |
---|
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} |
---|
6 | |
---|
7 | License: LGPLv3 or GPLv2 |
---|
8 | Group: Development/Languages |
---|
9 | URL: http://www.gprolog.org/ |
---|
10 | |
---|
11 | Source0: http://www.gprolog.org/%{name}-%{version}.tar.gz |
---|
12 | |
---|
13 | Buildroot: %{_tmppath}/%{name}-%{version}-root |
---|
14 | BuildRequires: sed |
---|
15 | |
---|
16 | Vendor: Project Vine |
---|
17 | Distribution: Vine Linux |
---|
18 | |
---|
19 | Packager: inagaki |
---|
20 | |
---|
21 | %description |
---|
22 | GNU Prolog is a native Prolog compiler with constraint solving over finite |
---|
23 | domains (FD) developed by Daniel Diaz (http://cri-dist.univ-paris1.fr/diaz/) |
---|
24 | |
---|
25 | GNU Prolog is a very efficient native compiler producing (small) stand-alone |
---|
26 | executables. GNU-Prolog also offers a classical top-level+debugger. |
---|
27 | |
---|
28 | A lot of work has been devoted to the ISO compatibility. GNU Prolog is very |
---|
29 | close to the ISO standard. |
---|
30 | |
---|
31 | GNU Prolog also includes a powerful constraint solver over finite domains |
---|
32 | with many predefined constraints+heuristics. |
---|
33 | |
---|
34 | More information can be found at http://www.gnu.org/software/prolog |
---|
35 | or better at http://www.gprolog.org. |
---|
36 | |
---|
37 | %description -l ja |
---|
38 | GNU Prolog は有限領域 (FD) の制約解決に適したネイティブ Prolog コンパイラで、 |
---|
39 | Daniel Diaz (http://cri-dist.univ-paris1.fr/diaz/) によって開発されました。 |
---|
40 | GNU Prolog は (小さな) スタンドアロンの実行可能形式を生成する、非常に効率の |
---|
41 | 良いネイティブコンパイラです。 |
---|
42 | 多くの作業が ISO 準拠に向けられました。GNU Prolog は ISO 標準に非常に近いです。 |
---|
43 | GNU Prolog は多くの定義済の制約条件と発見的手法を用いて、有限領域の問題に |
---|
44 | 対して強力な制約解決機能も提供します。 |
---|
45 | 詳しい情報は http://www.gnu.org/software/prolog や http://www.gprolog.org |
---|
46 | (こちらの方が良い)で見つけることができます。 |
---|
47 | |
---|
48 | %prep |
---|
49 | %setup -q |
---|
50 | |
---|
51 | %build |
---|
52 | cd src |
---|
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 | |
---|
62 | ./configure \ |
---|
63 | --with-install-dir=$RPM_BUILD_ROOT%{_libdir}/%{name}-%{version} \ |
---|
64 | --without-links-dir \ |
---|
65 | --with-examples-dir=$RPM_BUILD_ROOT%{_libdir}/%{name}-%{version}/examples \ |
---|
66 | --with-doc-dir=dist-doc \ |
---|
67 | --with-c-flags="$CFLG" |
---|
68 | |
---|
69 | make |
---|
70 | |
---|
71 | %check |
---|
72 | cd src |
---|
73 | # |
---|
74 | export PATH=$RPM_BUILD_ROOT%{_bindir}:$PATH |
---|
75 | # |
---|
76 | make check |
---|
77 | |
---|
78 | %install |
---|
79 | rm -rf $RPM_BUILD_ROOT |
---|
80 | rm -rf dist-doc |
---|
81 | |
---|
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 |
---|
88 | ln -s ../%{_lib}/%{name}-%{version}/bin/$i $RPM_BUILD_ROOT%{_bindir}/$i |
---|
89 | done |
---|
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 | |
---|
100 | for file in ChangeLog COPYING NEWS README VERSION gprolog.ico |
---|
101 | do |
---|
102 | rm -f $RPM_BUILD_ROOT%{_libdir}/gprolog-%{version}/$file |
---|
103 | done |
---|
104 | |
---|
105 | popd |
---|
106 | |
---|
107 | |
---|
108 | |
---|
109 | %clean |
---|
110 | rm -rf $RPM_BUILD_ROOT |
---|
111 | |
---|
112 | %files |
---|
113 | %defattr(-,root,root) |
---|
114 | %doc README COPYING ChangeLog NEWS PROBLEMS VERSION gprolog.ico |
---|
115 | %doc src/dist-doc/* |
---|
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 |
---|
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 | |
---|
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 | |
---|
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 |
---|