]>
Commit | Line | Data |
---|---|---|
4507528d JB |
1 | # TODO: finish emacs/xemacs |
2 | # | |
3 | # Conditional build: | |
4 | %bcond_with emacs # Emacs mode | |
5 | %bcond_with xemacs # XEmacs mode | |
6 | %bcond_without java # Java interface | |
7 | # | |
8 | Summary: The Ciao Prolog development environment | |
9 | Summary(pl.UTF-8): Środowisko programistyczne Ciao Prolog | |
10 | Name: CiaoDE | |
11 | Version: 1.14.2 | |
6d5b58f4 | 12 | Release: 1 |
4507528d JB |
13 | License: LGPL (Ciao), GPL (CiaoPP, lpdoc) |
14 | Group: Development/Languages | |
d9e50f53 | 15 | Source0: http://ciao-lang.org/packages/1.14/13646/%{name}-%{version}-13646.tar.gz |
4507528d JB |
16 | # Source0-md5: 11d0a41222314ae1be1b048a7888048e |
17 | Patch0: %{name}-configure.patch | |
6d5b58f4 | 18 | Patch1: %{name}-lib64.patch |
d9e50f53 | 19 | URL: http://ciao-lang.org/ |
4507528d JB |
20 | BuildRequires: gsl-devel |
21 | BuildRequires: mysql-devel | |
22 | Requires: coreutils | |
23 | BuildRoot: %{tmpdir}/%{name}-%{version}-root-%(id -u -n) | |
24 | ||
25 | %define mver 1.14 | |
26 | %define emacs_sitestart_dir %{_datadir}/emacs/site-lisp/site-start.d | |
27 | # FIXME | |
28 | %define xemacs_sitestart_dir %{_datadir}/xemacs-packages/lisp | |
29 | ||
30 | %description | |
31 | Ciao is next generation multi-paradigm programming environment with a | |
32 | unique set of features: | |
33 | - A complete Prolog system, supporting ISO-Prolog. | |
34 | - Support for both restricting and extending the language. | |
35 | - Support for programming with functions, higher-order (with | |
36 | predicate abstractions), constraints, and objects, as well as | |
37 | feature terms (records), persistence, several control rules | |
38 | (breadth-first search, iterative deepening, ...), concurrency | |
39 | (threads/engines), a good base for distributed execution (agents), | |
40 | and parallel execution. Libraries also support WWW programming, | |
41 | sockets, external interfaces (C, Java, Tcl/Tk, relational | |
42 | databases, etc.), etc. | |
43 | - Support for programming in the large with a robust module/object | |
44 | system etc. | |
45 | - Support for programming in the small producing small executables | |
46 | (including only those builtins used by the program) and for writing | |
47 | scripts in Prolog. | |
48 | And more. | |
49 | ||
50 | %description -l pl.UTF-8 | |
51 | Ciao to wieloparadygmatowe środowisko programistyczne nowej generacji | |
52 | o unikalnym połączeniu możliwości, m.in.: | |
53 | - Pełny system Prologu z obsługą ISO-Prologu. | |
54 | - Obsługa zarówno ograniczania, jak i rozszerzania języka. | |
55 | - Obsługa programowania z funkcjami, wyższego poziomu (z abstrakcją | |
56 | predykatów), ograniczeniami, obiektami, a także termami z cechami | |
57 | (rekordami), trwałością danych, różnymi regułami sterowania, | |
58 | współbieżnością (wątki/silniki), dobrą podstawą do wykonywania | |
59 | rozproszonego (agenci) oraz równoległego; biblioteki obsługują | |
60 | także programowanie WWW, gniazda, interfejsy zewnętrzne (C, Java, | |
61 | Tcl/Tk, relacyjne bazy danych itd.) itd. | |
62 | - Obsługą programowania w dużych środowiskach z potężnym systemem | |
63 | modułów/obiektów itd. | |
64 | - Obsługą programowania w małych środowiskach z tworzeniem małych | |
65 | programów wynikowych (zawierających tylko funkcje wbudowane użyte w | |
66 | programie) oraz pisania skryptów w Prologu. | |
67 | ||
68 | %prep | |
69 | %setup -q -n CiaoDE-%{version}-13646 | |
70 | %patch0 -p1 | |
6d5b58f4 JR |
71 | %ifarch %{x8664} |
72 | %patch1 -p1 | |
73 | %endif | |
4507528d JB |
74 | |
75 | %build | |
76 | ./ciaosetup configure \ | |
77 | --sysavail=all \ | |
78 | --instype=ins \ | |
79 | --prefix=%{_prefix} \ | |
80 | --mandir=%{_mandir} \ | |
81 | --infodir=%{_infodir} \ | |
82 | --docdir=%{_docdir}/CiaoDE \ | |
83 | --htmldir=%{_docdir}/CiaoDE/html \ | |
84 | --cflags="%{rpmcflags}" \ | |
85 | --ldflags="%{rpmldflags}" \ | |
86 | --stop_if_error=yes \ | |
87 | --update_bashrc=no \ | |
88 | --update_cshrc=no \ | |
89 | --update_dotemacs=no \ | |
90 | --update_dotxemasc=no \ | |
91 | %if %{with emacs} | |
92 | --install_emacs_support=yes \ | |
93 | --ciaomodeinitdir=%{emacs_sitestart_dir} \ | |
94 | --emacsinitfile=ciao-mode-init.el \ | |
95 | %else | |
96 | --install_emacs_support=no \ | |
97 | %endif | |
98 | %if %{with xemacs} | |
99 | --install_xemacs_support=yes \ | |
100 | --xemacsinitdir=%{xemacs_sitestart_dir} \ | |
101 | --xemacsinitfile=ciao-mode-init.el \ | |
102 | %else | |
103 | --install_xemacs_support=no \ | |
104 | %endif | |
105 | --with_gsl=yes \ | |
106 | --with_mysql=yes \ | |
107 | %{?with_java:--with_java_interface=yes} | |
108 | ||
109 | ./ciaosetup build | |
110 | ||
111 | %install | |
112 | rm -rf $RPM_BUILD_ROOT | |
113 | ||
114 | BUILD_ROOT=$RPM_BUILD_ROOT \ | |
115 | ./ciaosetup install | |
116 | ||
117 | # sources | |
118 | %{__rm} $RPM_BUILD_ROOT%{_libdir}/ciao/ciao-%{mver}/library/{apll,concurrency,random,sha1,sockets}/*.[cho] | |
119 | %{__rm} $RPM_BUILD_ROOT%{_libdir}/ciao/ciao-%{mver}/library/{apll,concurrency,random,sockets}/Makefile | |
120 | ||
121 | install -d $RPM_BUILD_ROOT/etc/profile.d | |
122 | mv $RPM_BUILD_ROOT%{_libdir}/ciao/ciao-%{mver}/DOTprofile $RPM_BUILD_ROOT/etc/profile.d/ciao.sh | |
123 | mv $RPM_BUILD_ROOT%{_libdir}/ciao/ciao-%{mver}/DOTcshrc $RPM_BUILD_ROOT/etc/profile.d/ciao.csh | |
124 | %{__rm} $RPM_BUILD_ROOT%{_libdir}/ciao/DOT* | |
125 | ||
126 | %clean | |
127 | rm -rf $RPM_BUILD_ROOT | |
128 | ||
129 | %files | |
130 | %defattr(644,root,root,755) | |
131 | %doc README | |
132 | %attr(755,root,root) %{_bindir}/checkline* | |
133 | %attr(755,root,root) %{_bindir}/ciao* | |
134 | %attr(755,root,root) %{_bindir}/cleandirs* | |
135 | %attr(755,root,root) %{_bindir}/compiler_output* | |
136 | %attr(755,root,root) %{_bindir}/fileinfo* | |
137 | %attr(755,root,root) %{_bindir}/get_deps* | |
138 | %attr(755,root,root) %{_bindir}/lpdoc* | |
139 | %attr(755,root,root) %{_bindir}/lpmake* | |
140 | %attr(755,root,root) %{_bindir}/pldiff* | |
141 | %attr(755,root,root) %{_bindir}/plindent* | |
142 | %attr(755,root,root) %{_bindir}/prolog | |
143 | %attr(755,root,root) %{_bindir}/show_asr* | |
144 | %attr(755,root,root) %{_bindir}/show_deps* | |
145 | %attr(755,root,root) %{_bindir}/synch_actions* | |
146 | %attr(755,root,root) %{_bindir}/viewpo* | |
147 | %attr(755,root,root) /etc/profile.d/ciao.csh | |
148 | %attr(755,root,root) /etc/profile.d/ciao.sh | |
149 | %dir %{_libdir}/ciao | |
150 | %dir %{_libdir}/ciao/ciao-%{mver} | |
151 | %{_libdir}/ciao/ciao-%{mver}/contrib | |
152 | %dir %{_libdir}/ciao/ciao-%{mver}/engine | |
153 | %attr(755,root,root) %{_libdir}/ciao/ciao-%{mver}/engine/ciaoengine* | |
154 | %{_libdir}/ciao/ciao-%{mver}/examples | |
155 | %{_libdir}/ciao/ciao-%{mver}/include | |
156 | %{_libdir}/ciao/ciao-%{mver}/lib | |
157 | %dir %{_libdir}/ciao/ciao-%{mver}/library | |
158 | %{_libdir}/ciao/ciao-%{mver}/library/NOCOMPILEFILES | |
159 | %{_libdir}/ciao/ciao-%{mver}/library/*.asr | |
160 | %{_libdir}/ciao/ciao-%{mver}/library/*.itf | |
161 | %{_libdir}/ciao/ciao-%{mver}/library/*.pl | |
162 | %{_libdir}/ciao/ciao-%{mver}/library/*.po | |
163 | # junk??? | |
164 | %{_libdir}/ciao/ciao-%{mver}/library/davinci8Wznpg | |
165 | %{_libdir}/ciao/ciao-%{mver}/library/davinciQNZdYP | |
166 | %{_libdir}/ciao/ciao-%{mver}/library/actmods | |
167 | %{_libdir}/ciao/ciao-%{mver}/library/agent | |
168 | %{_libdir}/ciao/ciao-%{mver}/library/andorra | |
169 | %{_libdir}/ciao/ciao-%{mver}/library/andprolog | |
170 | %{_libdir}/ciao/ciao-%{mver}/library/andprolog_old | |
171 | %dir %{_libdir}/ciao/ciao-%{mver}/library/apll | |
172 | %{_libdir}/ciao/ciao-%{mver}/library/apll/*.asr | |
173 | %{_libdir}/ciao/ciao-%{mver}/library/apll/*.itf | |
174 | %{_libdir}/ciao/ciao-%{mver}/library/apll/*.pl | |
175 | %{_libdir}/ciao/ciao-%{mver}/library/apll/*.po | |
176 | %{_libdir}/ciao/ciao-%{mver}/library/apll/*_LINUX*.so | |
177 | %{_libdir}/ciao/ciao-%{mver}/library/argnames | |
178 | %{_libdir}/ciao/ciao-%{mver}/library/benchmarks | |
179 | %{_libdir}/ciao/ciao-%{mver}/library/bf | |
180 | %{_libdir}/ciao/ciao-%{mver}/library/byrdbox | |
181 | %{_libdir}/ciao/ciao-%{mver}/library/chr | |
182 | %{_libdir}/ciao/ciao-%{mver}/library/class | |
183 | %{_libdir}/ciao/ciao-%{mver}/library/clpq | |
184 | %{_libdir}/ciao/ciao-%{mver}/library/clpqr-common | |
185 | %{_libdir}/ciao/ciao-%{mver}/library/clpr | |
186 | %dir %{_libdir}/ciao/ciao-%{mver}/library/concurrency | |
187 | %{_libdir}/ciao/ciao-%{mver}/library/concurrency/*.asr | |
188 | %{_libdir}/ciao/ciao-%{mver}/library/concurrency/*.itf | |
189 | %{_libdir}/ciao/ciao-%{mver}/library/concurrency/*.pl | |
190 | %{_libdir}/ciao/ciao-%{mver}/library/concurrency/*.po | |
191 | %attr(755,root,root) %{_libdir}/ciao/ciao-%{mver}/library/concurrency/*_LINUX*.so | |
192 | %{_libdir}/ciao/ciao-%{mver}/library/concurrency/examples | |
193 | %{_libdir}/ciao/ciao-%{mver}/library/det_hook | |
194 | %{_libdir}/ciao/ciao-%{mver}/library/dialect | |
195 | %{_libdir}/ciao/ciao-%{mver}/library/emacs | |
196 | %{_libdir}/ciao/ciao-%{mver}/library/expander | |
197 | %{_libdir}/ciao/ciao-%{mver}/library/factsdb | |
198 | %{_libdir}/ciao/ciao-%{mver}/library/fake | |
199 | %{_libdir}/ciao/ciao-%{mver}/library/fdtypes | |
200 | %{_libdir}/ciao/ciao-%{mver}/library/file_locks | |
201 | %{_libdir}/ciao/ciao-%{mver}/library/freeze | |
202 | %{_libdir}/ciao/ciao-%{mver}/library/fsyntax | |
203 | %{_libdir}/ciao/ciao-%{mver}/library/fuzzy | |
204 | %{_libdir}/ciao/ciao-%{mver}/library/graphs | |
205 | %{_libdir}/ciao/ciao-%{mver}/library/id | |
206 | %{_libdir}/ciao/ciao-%{mver}/library/indexer | |
207 | %{_libdir}/ciao/ciao-%{mver}/library/interface | |
208 | %{_libdir}/ciao/ciao-%{mver}/library/javall | |
209 | %{_libdir}/ciao/ciao-%{mver}/library/librowser | |
210 | %{_libdir}/ciao/ciao-%{mver}/library/lpsettings_based_app | |
211 | %{_libdir}/ciao/ciao-%{mver}/library/make | |
212 | %{_libdir}/ciao/ciao-%{mver}/library/menu | |
213 | %{_libdir}/ciao/ciao-%{mver}/library/netscape | |
214 | %{_libdir}/ciao/ciao-%{mver}/library/objects | |
215 | %{_libdir}/ciao/ciao-%{mver}/library/persdb | |
216 | %{_libdir}/ciao/ciao-%{mver}/library/persdb_mysql | |
217 | %{_libdir}/ciao/ciao-%{mver}/library/persdb_sql_common | |
218 | %{_libdir}/ciao/ciao-%{mver}/library/pillow | |
219 | %dir %{_libdir}/ciao/ciao-%{mver}/library/random | |
220 | %{_libdir}/ciao/ciao-%{mver}/library/random/*.asr | |
221 | %{_libdir}/ciao/ciao-%{mver}/library/random/*.itf | |
222 | %{_libdir}/ciao/ciao-%{mver}/library/random/*.pl | |
223 | %{_libdir}/ciao/ciao-%{mver}/library/random/*.po | |
224 | %attr(755,root,root) %{_libdir}/ciao/ciao-%{mver}/library/random/*_LINUX*.so | |
225 | %dir %{_libdir}/ciao/ciao-%{mver}/library/sha1 | |
226 | %{_libdir}/ciao/ciao-%{mver}/library/sha1/*.asr | |
227 | %{_libdir}/ciao/ciao-%{mver}/library/sha1/*.itf | |
228 | %{_libdir}/ciao/ciao-%{mver}/library/sha1/*.pl | |
229 | %{_libdir}/ciao/ciao-%{mver}/library/sha1/*.po | |
230 | %attr(755,root,root) %{_libdir}/ciao/ciao-%{mver}/library/sha1/*_LINUX*.so | |
231 | %{_libdir}/ciao/ciao-%{mver}/library/sha1/examples | |
232 | %{_libdir}/ciao/ciao-%{mver}/library/show_trans | |
233 | %dir %{_libdir}/ciao/ciao-%{mver}/library/sockets | |
234 | %{_libdir}/ciao/ciao-%{mver}/library/sockets/*.asr | |
235 | %{_libdir}/ciao/ciao-%{mver}/library/sockets/*.itf | |
236 | %{_libdir}/ciao/ciao-%{mver}/library/sockets/*.pl | |
237 | %{_libdir}/ciao/ciao-%{mver}/library/sockets/*.po | |
238 | %attr(755,root,root) %{_libdir}/ciao/ciao-%{mver}/library/sockets/*_LINUX*.so | |
239 | %{_libdir}/ciao/ciao-%{mver}/library/sockets/examples | |
240 | %{_libdir}/ciao/ciao-%{mver}/library/symfnames | |
241 | %{_libdir}/ciao/ciao-%{mver}/library/tcltk | |
242 | %{_libdir}/ciao/ciao-%{mver}/library/toplevel | |
243 | %{_libdir}/ciao/ciao-%{mver}/library/tracing | |
244 | %{_libdir}/ciao/ciao-%{mver}/library/when | |
245 | %{_libdir}/ciao/ciao-%{mver}/library/xrefs | |
246 | %{_includedir}/ciao_prolog.h |