avatar
Rosa has added c320191eda
initial: add from SRPM
... ... --- /dev/null
... ... +++ b/.abf.yml
... ... @@ -0,0 +1,2 @@
1
sources:
2
  "ppl-0.11.tar.bz2": bcba279c2600833876e3002635ab47cacab632d5
view file @ c320191eda
... ... --- /dev/null
... ... +++ b/ppl-0.10.2-Makefile.patch
... ... @@ -0,0 +1,12 @@
1
diff -ur ppl-0.10.1/Watchdog/doc/Makefile.in ppl-0.10.1-patched/Watchdog/doc/Makefile.in
2
--- ppl-0.10.1/Watchdog/doc/Makefile.in	2000-04-11 10:36:59.000000000 +0100
3
+++ ppl-0.10.1-patched/Watchdog/doc/Makefile.in	2009-04-11 17:53:10.000000000 +0100
4
@@ -163,7 +163,7 @@
5
 debug_flag = @debug_flag@
6
 
7
 # All the documentation in docdir.
8
-docdir = @docdir@
9
+docdir = @docdir@/pwl
10
 dvidir = @dvidir@
11
 exec_prefix = @exec_prefix@
12
 host = @host@
... ... --- /dev/null
... ... +++ b/ppl.hh
... ... @@ -0,0 +1,50 @@
1
/* This is the header file switcher of the Parma Polyhedra Library.
2
   Copyright (C) 2001-2010 Roberto Bagnara <bagnara@cs.unipr.it>
3
   Copyright (C) 2010-2011 BUGSENG srl (http://bugseng.com)
4
5
This file is part of the Parma Polyhedra Library (PPL).
6
7
The PPL is free software; you can redistribute it and/or modify it
8
under the terms of the GNU General Public License as published by the
9
Free Software Foundation; either version 3 of the License, or (at your
10
option) any later version.
11
12
The PPL is distributed in the hope that it will be useful, but WITHOUT
13
ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
14
FITNESS FOR A PARTICULAR PURPOSE.  See the GNU General Public License
15
for more details.
16
17
You should have received a copy of the GNU General Public License
18
along with this program; if not, write to the Free Software Foundation,
19
Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02111-1307, USA.
20
21
For the most up-to-date information see the Parma Polyhedra Library
22
site: http://www.cs.unipr.it/ppl/ . */
23
24
#if defined(__x86_64__)
25
#include "ppl-x86_64.hh"
26
#elif defined(__i386__)
27
#include "ppl-i386.hh"
28
#elif defined(__powerpc64__)
29
#include "ppl-ppc64.hh"
30
#elif defined(__powerpc__)
31
#include "ppl-ppc.hh"
32
#elif defined(__ia64__)
33
#include "ppl-ia64.hh"
34
#elif defined(__alpha__)
35
#include "ppl-alpha.hh"
36
#elif defined(__arm__)
37
#include "ppl-arm.hh"
38
#elif defined(__s390x__)
39
#include "ppl-s390x.hh"
40
#elif defined(__s390__)
41
#include "ppl-s390.hh"
42
#elif defined(__sh__)
43
#include "ppl-sh.hh"
44
#elif defined(__sparc__) && defined(__arch64__)
45
#include "ppl-sparc64.hh"
46
#elif defined(__sparc__)
47
#include "ppl-sparc.hh"
48
#else
49
#error "This architecture is not supported by the currently installed ppl-devel packages."
50
#endif
... ... --- /dev/null
... ... +++ b/ppl.spec
... ... @@ -0,0 +1,797 @@
1
%define		name			ppl
2
%define		version			0.11
3
4
%define		ppl_major		9
5
%define		libppl			%mklibname ppl %ppl_major
6
%define 	libppl_devel		%mklibname -d ppl
7
%define 	libppl_static_devel	%mklibname -d -s ppl
8
9
%define		ppl_c_major		4
10
%define		libppl_c		%mklibname ppl_c %ppl_c_major
11
%define 	libppl_c_devel		%mklibname -d ppl_c
12
%define 	libppl_c_static_devel	%mklibname -d -s ppl_c
13
14
%define		pwl_major		5
15
%define		libpwl			%mklibname pwl %pwl_major
16
%define 	libpwl_devel		%mklibname -d pwl
17
%define 	libpwl_static_devel	%mklibname -d -s pwl
18
19
Name:		ppl
20
Version:	%{version}
21
Release:	%mkrel 4
22
Group:		Development/C
23
Summary:	The Parma Polyhedra Library: a library of numerical abstractions
24
License:	GPLv3+
25
URL:		http://www.cs.unipr.it/ppl/
26
Source0:	ftp://ftp.cs.unipr.it/pub/ppl/releases/%{version}/%{name}-%{version}.tar.bz2
27
Source1:	ppl.hh
28
Source2:	ppl_c.h
29
Source3:	pwl.hh
30
Patch0:		ppl-0.10.2-Makefile.patch
31
BuildRequires:	gmp-devel >= 4.1.3, gmpxx-devel >= 4.1.3, m4 >= 1.4.8
32
BuildRoot:	%{_tmppath}/%{name}-%{version}-%{release}-buildroot
33
34
%description
35
The Parma Polyhedra Library (PPL) is a library for the manipulation of
36
(not necessarily closed) convex polyhedra and other numerical
37
abstractions.  The applications of convex polyhedra include program
38
analysis, optimized compilation, integer and combinatorial
39
optimization and statistical data-editing.  The Parma Polyhedra
40
Library comes with several user friendly interfaces, is fully dynamic
41
(available virtual memory is the only limitation to the dimension of
42
anything), written in accordance to all the applicable standards,
43
exception-safe, rather efficient, thoroughly documented, and free
44
software.  This package provides all what is necessary to run
45
applications using the PPL through its C and C++ interfaces.
46
47
#-----------------------------------------------------------------------
48
%package	-n %{libppl}
49
Group:		Development/C
50
Summary:	The Parma Polyhedra Library: a library of numerical abstractions
51
%if %mdkversion == 201100
52
Conflicts:	%{mklibname ppl 7} = 0.11
53
%endif
54
55
%description	-n %{libppl}
56
The Parma Polyhedra Library (PPL) is a library for the manipulation of
57
(not necessarily closed) convex polyhedra and other numerical
58
abstractions.  The applications of convex polyhedra include program
59
analysis, optimized compilation, integer and combinatorial
60
optimization and statistical data-editing.  The Parma Polyhedra
61
Library comes with several user friendly interfaces, is fully dynamic
62
(available virtual memory is the only limitation to the dimension of
63
anything), written in accordance to all the applicable standards,
64
exception-safe, rather efficient, thoroughly documented, and free
65
software.  This package provides all what is necessary to run
66
applications using the PPL through its C and C++ interfaces.
67
68
%files		-n %{libppl}
69
%defattr(-,root,root,-)
70
%doc %{_datadir}/doc/%{name}-%{version}/BUGS
71
%doc %{_datadir}/doc/%{name}-%{version}/COPYING
72
%doc %{_datadir}/doc/%{name}-%{version}/CREDITS
73
%doc %{_datadir}/doc/%{name}-%{version}/NEWS
74
%doc %{_datadir}/doc/%{name}-%{version}/README
75
%doc %{_datadir}/doc/%{name}-%{version}/README.configure
76
%doc %{_datadir}/doc/%{name}-%{version}/TODO
77
%doc %{_datadir}/doc/%{name}-%{version}/gpl.txt
78
%{_libdir}/libppl.so.%{ppl_major}
79
%{_libdir}/libppl.so.%{ppl_major}.*
80
%dir %{_libdir}/%{name}
81
%dir %{_datadir}/doc/%{name}-%{version}
82
83
#-----------------------------------------------------------------------
84
%package	-n %{libppl_devel}
85
Summary:	Development tools for the Parma Polyhedra Library C and C++ interfaces
86
Group:		Development/C
87
Requires:	%{libppl} = %{version}-%{release}
88
Requires:	gmp-devel >= 4.1.3
89
Requires:	gmpxx-devel >= 4.1.3
90
Provides:	%{name}-devel = %version-%release
91
Conflicts:	%{_lib}ppl7-devel < 0.11-3
92
93
%description	-n %{libppl_devel}
94
The header files, Autoconf macro and minimal documentation for
95
developing applications using the Parma Polyhedra Library through
96
its C and C++ interfaces.
97
98
%files		-n %{libppl_devel}
99
%defattr(-,root,root,-)
100
%{_bindir}/ppl-config
101
%{_includedir}/ppl*.hh
102
%{_libdir}/libppl.so
103
%{_libdir}/libppl.la
104
%{_mandir}/man1/ppl-config.1.*
105
%{_mandir}/man3/libppl.3.*
106
%{_datadir}/aclocal/ppl.m4
107
108
#-----------------------------------------------------------------------
109
%package	-n %{libppl_static_devel}
110
Summary:	Static archives for the Parma Polyhedra Library C and C++ interfaces
111
Group:		Development/C
112
Requires:	%{name}-devel = %{version}-%{release}
113
Provides:	libppl-static-devel = %{version}-%{release}
114
Obsoletes:	%{_lib}ppl7-static-devel < 0.11-3
115
116
%description	-n %{libppl_static_devel}
117
The static archives for the Parma Polyhedra Library C and C++ interfaces.
118
119
%files		-n %{libppl_static_devel}
120
%defattr(-,root,root,-)
121
%{_libdir}/libppl.a
122
123
#-----------------------------------------------------------------------
124
%package	-n %{libppl_c}
125
Group:		Development/C
126
Summary:	The Parma Polyhedra Library: a library of numerical abstractions
127
%if %mdkversion == 201100
128
Conflicts:	%{mklibname ppl_c 2} = 0.11
129
%endif
130
131
%description	-n %{libppl_c}
132
The Parma Polyhedra Library (PPL) is a library for the manipulation of
133
(not necessarily closed) convex polyhedra and other numerical
134
abstractions.  The applications of convex polyhedra include program
135
analysis, optimized compilation, integer and combinatorial
136
optimization and statistical data-editing.  The Parma Polyhedra
137
Library comes with several user friendly interfaces, is fully dynamic
138
(available virtual memory is the only limitation to the dimension of
139
anything), written in accordance to all the applicable standards,
140
exception-safe, rather efficient, thoroughly documented, and free
141
software.  This package provides all what is necessary to run
142
applications using the PPL through its C and C++ interfaces.
143
144
%files		-n %{libppl_c}
145
%defattr(-,root,root,-)
146
%{_libdir}/libppl_c.so.%{ppl_c_major}
147
%{_libdir}/libppl_c.so.%{ppl_c_major}.*
148
149
#-----------------------------------------------------------------------
150
%package	-n %{libppl_c_devel}
151
Summary:	Development tools for the Parma Polyhedra Library C and C++ interfaces
152
Group:		Development/C
153
Requires:	%{libppl_c} = %{version}-%{release}
154
Conflicts:	%{_lib}ppl-devel < 0.11-3
155
Provides:	ppl_c-devel = %{version}-%{release}
156
157
%description	-n %{libppl_c_devel}
158
The header files, Autoconf macro and minimal documentation for
159
developing applications using the Parma Polyhedra Library through
160
its C and C++ interfaces.
161
162
%files		-n %{libppl_c_devel}
163
%defattr(-,root,root,-)
164
%{_includedir}/ppl_c*.h
165
%{_libdir}/libppl_c.so
166
%{_libdir}/libppl_c.la
167
%{_mandir}/man3/libppl_c.3.*
168
%{_datadir}/aclocal/ppl_c.m4
169
170
#-----------------------------------------------------------------------
171
%package	-n %{libppl_c_static_devel}
172
Summary:	Static archives for the Parma Polyhedra Library C and C++ interfaces
173
Group:		Development/C
174
Requires:	%{libppl_c_devel} = %{version}-%{release}
175
Provides:	libppl_c-static-devel = %{version}-%{release}
176
Provides:	ppl_c-static-devel = %{version}-%{release}
177
Conflicts:	%{_lib}ppl7-static-devel
178
179
%description	-n %{libppl_c_static_devel}
180
The static archives for the Parma Polyhedra Library C and C++ interfaces.
181
182
%files		-n %{libppl_c_static_devel}
183
%defattr(-,root,root,-)
184
%{_libdir}/libppl_c.a
185
186
#-----------------------------------------------------------------------
187
%package	utils
188
Summary:	Utilities using the Parma Polyhedra Library
189
Group:		Development/C
190
Requires:	%{libppl} = %{version}-%{release}
191
BuildRequires:	glpk-devel >= 4.13
192
193
%description	utils
194
This package contains the mixed integer linear programming solver ppl_lpsol
195
and the program ppl_lcdd for vertex/facet enumeration of convex polyhedra.
196
197
%files		utils
198
%defattr(-,root,root,-)
199
%{_bindir}/ppl_lcdd
200
%{_bindir}/ppl_lpsol
201
%{_bindir}/ppl_pips
202
%{_mandir}/man1/ppl_lcdd.1.*
203
%{_mandir}/man1/ppl_lpsol.1.*
204
%{_mandir}/man1/ppl_pips.1.*
205
206
#-----------------------------------------------------------------------
207
%ifnarch ia64 ppc64 s390 s390x
208
%package	gprolog
209
# The `gprolog' package is not available on ppc64:
210
# the GNU Prolog interface must thus be disabled for that architecture.
211
Summary:	The GNU Prolog interface of the Parma Polyhedra Library
212
Group:		Development/Other
213
BuildRequires:	gprolog >= 1.2.19
214
Requires:	%{libppl} = %{version}-%{release},
215
Requires:	%{libpwl} = %{version}-%{release}
216
Requires:	gprolog >= 1.2.19
217
218
%description	gprolog
219
This package adds GNU Prolog support to the Parma Polyhedra Library (PPL).
220
Install this package if you want to use the library in GNU Prolog programs.
221
222
%files		gprolog
223
%defattr(-,root,root,-)
224
%doc interfaces/Prolog/GNU/README.gprolog
225
%{_bindir}/ppl_gprolog
226
%{_libdir}/%{name}/ppl_gprolog.pl
227
%{_libdir}/%{name}/libppl_gprolog.so
228
229
#-----------------------------------------------------------------------
230
%package	gprolog-static
231
Summary:	The static archive for the GNU Prolog interface of the Parma Polyhedra Library
232
Group:		Development/Other
233
Requires:	%{name}-gprolog = %{version}-%{release}
234
%description gprolog-static
235
This package contains the static archive for the GNU Prolog interface
236
of the Parma Polyhedra Library.
237
238
%files		gprolog-static
239
%defattr(-,root,root,-)
240
%{_libdir}/%{name}/libppl_gprolog.a
241
%{_libdir}/%{name}/libppl_gprolog.la
242
%endif
243
244
#-----------------------------------------------------------------------
245
#%package	ocaml
246
#Summary:	The OCaml interface of the Parma Polyhedra Library
247
#Group:		Development/Other
248
#BuildRequires:	ocaml >= 3.09
249
#Requires:	%{name} = %{version}-%{release}
250
251
#%description	ocaml
252
#This package adds Objective Caml (OCaml) support to the Parma
253
#Polyhedra Library.  Install this package if you want to use the
254
#library in OCaml programs.
255
256
#%files		ocaml
257
#%defattr(-,root,root,-)
258
#%doc interfaces/OCaml/README.ocaml
259
#%{_libdir}/%{name}/ppl_ocaml.cma
260
#%{_libdir}/%{name}/ppl_ocaml.cmi
261
#%{_libdir}/%{name}/ppl_ocaml_globals.cmi
262
263
#-----------------------------------------------------------------------
264
#%package	ocaml-devel
265
#Summary:	The OCaml interface of the Parma Polyhedra Library
266
#Group:		Development/Other
267
#Requires:	%{name}-ocaml = %{version}-%{release}
268
269
#%description	ocaml-devel
270
#This package contains libraries and signature files for developing
271
#applications using the OCaml interface of the Parma Polyhedra Library.
272
273
#%files		ocaml-devel
274
#%defattr(-,root,root,-)
275
#%{_libdir}/%{name}/libppl_ocaml.a
276
#%{_libdir}/%{name}/ppl_ocaml.mli
277
278
#-----------------------------------------------------------------------
279
%package	java
280
Summary:	The Java interface of the Parma Polyhedra Library
281
Group:		Development/Java
282
BuildRequires:	java-devel >= 0:1.6.0
283
BuildRequires:	jpackage-utils
284
Requires:	java >= 1.6.0
285
Requires:	jpackage-utils
286
Requires:	%{libppl} = %{version}-%{release}
287
288
%description	java
289
This package adds Java support to the Parma Polyhedra Library.
290
Install this package if you want to use the library in Java programs.
291
292
%files		java
293
%defattr(-,root,root,-)
294
%doc interfaces/Java/README.java
295
%{_libdir}/%{name}/libppl_java.so
296
%{_libdir}/%{name}/libppl_java.la
297
%{_libdir}/%{name}/ppl_java.jar
298
299
#-----------------------------------------------------------------------
300
%package	java-javadoc
301
Summary:	Javadocs for %{name}-java
302
Group:		Development/Java
303
Requires:	%{name}-java = %{version}-%{release}
304
Requires:	jpackage-utils
305
306
%description	java-javadoc
307
This package contains the API documentation for Java interface
308
of the Parma Polyhedra Library.
309
310
%files		java-javadoc
311
%defattr(-,root,root,-)
312
%{_javadocdir}/%{name}-java
313
314
#-----------------------------------------------------------------------
315
%package	docs
316
Summary:	Documentation for the Parma Polyhedra Library
317
Group:		Development/C
318
Requires:	%{libppl} = %{version}-%{release}
319
%description	docs
320
This package contains all the documentations required by programmers
321
using the Parma Polyhedra Library (PPL).
322
Install this package if you want to program with the PPL.
323
324
%files		docs
325
%defattr(-,root,root,-)
326
%doc %{_datadir}/doc/%{name}-%{version}/ChangeLog*
327
%doc %{_datadir}/doc/%{name}-%{version}/README.doc
328
%doc %{_datadir}/doc/%{name}-%{version}/fdl.*
329
%doc %{_datadir}/doc/%{name}-%{version}/gpl.pdf
330
%doc %{_datadir}/doc/%{name}-%{version}/gpl.ps.gz
331
%doc %{_datadir}/doc/%{name}-%{version}/ppl-user-%{version}-html/
332
%doc %{_datadir}/doc/%{name}-%{version}/ppl-user-c-interface-%{version}-html/
333
#%doc %{_datadir}/doc/%{name}-%{version}/ppl-user-ocaml-interface-%{version}-html/
334
%doc %{_datadir}/doc/%{name}-%{version}/ppl-user-prolog-interface-%{version}-html/
335
%doc %{_datadir}/doc/%{name}-%{version}/ppl-user-%{version}.pdf
336
%doc %{_datadir}/doc/%{name}-%{version}/ppl-user-c-interface-%{version}.pdf
337
%doc %{_datadir}/doc/%{name}-%{version}/ppl-user-java-interface-%{version}.pdf
338
#%doc %{_datadir}/doc/%{name}-%{version}/ppl-user-ocaml-interface-%{version}.pdf
339
%doc %{_datadir}/doc/%{name}-%{version}/ppl-user-prolog-interface-%{version}.pdf
340
%doc %{_datadir}/doc/%{name}-%{version}/ppl-user-%{version}.ps.gz
341
%doc %{_datadir}/doc/%{name}-%{version}/ppl-user-c-interface-%{version}.ps.gz
342
%doc %{_datadir}/doc/%{name}-%{version}/ppl-user-java-interface-%{version}.ps.gz
343
#%doc %{_datadir}/doc/%{name}-%{version}/ppl-user-ocaml-interface-%{version}.ps.gz
344
%doc %{_datadir}/doc/%{name}-%{version}/ppl-user-prolog-interface-%{version}.ps.gz
345
346
#-----------------------------------------------------------------------
347
%package	-n %{libpwl}
348
Summary:	The Parma Watchdog Library: a C++ library for watchdog timers
349
Group:		Development/C++
350
%if %mdkversion == 201100
351
Conflicts:	%{mklibname pwl 4} = 0.11
352
%endif
353
354
%description	 -n %{libpwl}
355
The Parma Watchdog Library (PWL) provides support for multiple,
356
concurrent watchdog timers on systems providing setitimer(2).  This
357
package provides all what is necessary to run applications using the
358
PWL.  The PWL is currently distributed with the Parma Polyhedra
359
Library, but is totally independent from it.
360
361
%files		-n %{libpwl}
362
%defattr(-,root,root,-)
363
%{_libdir}/libpwl.so.%{pwl_major}
364
%{_libdir}/libpwl.so.%{pwl_major}.*
365
366
#-----------------------------------------------------------------------
367
%package	-n %{libpwl_devel}
368
Summary:	Development tools for the Parma Watchdog Library
369
Group:		Development/C++
370
Requires:	%{libpwl} = %{version}-%{release}
371
Provides:	%{name}-pwl-devel = %{version}-%{release}
372
Provides:	pwl-devel = %{version}-%{release}
373
374
%description	-n %{libpwl_devel}
375
The header files, documentation and static libraries for developing
376
applications using the Parma Watchdog Library.
377
378
%files		-n %{libpwl_devel}
379
%defattr(-,root,root,-)
380
%doc Watchdog/doc/README.doc
381
%{_includedir}/pwl*.hh
382
%{_libdir}/libpwl.so
383
%{_libdir}/libpwl.la
384
385
#-----------------------------------------------------------------------
386
%package	-n %{libpwl_static_devel}
387
Summary:	Static archive for the Parma Watchdog Library
388
Group:		Development/C++
389
Requires:	%{name}-pwl-devel = %{version}-%{release}
390
Provides: 	libpwl-static-devel = %{version}-%{release}
391
Obsoletes:	%{_lib}pwl4-static-devel < 0.11-3
392
393
%description	-n %{libpwl_static_devel}
394
This package contains the static archive for the Parma Watchdog Library.
395
396
%files		-n %{libpwl_static_devel}
397
%defattr(-,root,root,-)
398
%{_libdir}/libpwl.a
399
400
#-----------------------------------------------------------------------
401
%package	pwl-docs
402
Summary:	Documentation for the Parma Watchdog Library
403
Group:		Development/C++
404
Requires:	%{libpwl} = %{version}-%{release}
405
406
%description	pwl-docs
407
This package contains all the documentations required by programmers
408
using the Parma Watchdog Library (PWL).
409
Install this package if you want to program with the PWL.
410
411
%files		pwl-docs
412
%defattr(-,root,root,-)
413
%doc %{_datadir}/doc/%{name}-%{version}/pwl-user-0.8-html/
414
%doc %{_datadir}/doc/%{name}-%{version}/pwl-user-0.8.pdf
415
%doc %{_datadir}/doc/%{name}-%{version}/pwl-user-0.8.ps.gz
416
417
#-----------------------------------------------------------------------
418
%prep
419
%setup -q
420
%patch0 -p1
421
422
#-----------------------------------------------------------------------
423
%build
424
autoreconf -fi
425
%ifnarch ia64 ppc64 s390 s390x
426
CPPFLAGS="%{optflags} -I%{_libdir}/gprolog-`gprolog --version 2>&1 | head -1 | sed -e "s/.* \([^ ]*\)$/\1/g"`/include"
427
%endif
428
%configure2_5x --docdir=%{_datadir}/doc/%{name}-%{version} --enable-shared --enable-interfaces="c++ c gnu_prolog java" CPPFLAGS="$CPPFLAGS"
429
#sed -i 's|^hardcode_libdir_flag_spec=.*|hardcode_libdir_flag_spec=""|g' libtool
430
#sed -i 's|^runpath_var=LD_RUN_PATH|runpath_var=DIE_RPATH_DIE|g' libtool
431
#sed -i 's|^hardcode_libdir_flag_spec=.*|hardcode_libdir_flag_spec=""|g' Watchdog/libtool
432
#sed -i 's|^runpath_var=LD_RUN_PATH|runpath_var=DIE_RPATH_DIE|g' Watchdog/libtool
433
%make
434
435
#-----------------------------------------------------------------------
436
%install
437
rm -rf $RPM_BUILD_ROOT
438
%makeinstall_std
439
440
# In order to avoid multiarch conflicts when installed for multiple
441
# architectures (e.g., i386 and x86_64), we rename the header files
442
# of the ppl-devel and ppl-pwl-devel packages.  They are substituted with
443
# ad-hoc switchers that select the appropriate header file depending on
444
# the architecture for which the compiler is compiling.
445
446
# Since our header files only depend on the sizeof things, we smash
447
# ix86 onto i386 and arm* onto arm.  For the SuperH RISC engine family,
448
# we smash sh3 and sh4 onto sh.
449
normalized_arch=%{_arch}
450
%ifarch %{ix86}
451
normalized_arch=i386
452
%endif
453
%ifarch %{arm}
454
normalized_arch=arm
455
%endif
456
%ifarch sh3 sh4
457
normalized_arch=sh
458
%endif
459
460
mv %{buildroot}/%{_includedir}/ppl.hh %{buildroot}/%{_includedir}/ppl-${normalized_arch}.hh
461
install -m644 %{SOURCE1} %{buildroot}/%{_includedir}/ppl.hh
462
mv %{buildroot}/%{_includedir}/ppl_c.h %{buildroot}/%{_includedir}/ppl_c-${normalized_arch}.h
463
install -m644 %{SOURCE2} %{buildroot}/%{_includedir}/ppl_c.h
464
mv %{buildroot}/%{_includedir}/pwl.hh %{buildroot}/%{_includedir}/pwl-${normalized_arch}.hh
465
install -m644 %{SOURCE3} %{buildroot}/%{_includedir}/pwl.hh
466
467
# Install the Javadocs for ppl-java.
468
mkdir -p %{buildroot}%{_javadocdir}
469
mv \
470
%{buildroot}/%{_datadir}/doc/%{name}-%{version}/ppl-user-java-interface-%{version}-html \
471
%{buildroot}%{_javadocdir}/%{name}-java
472
473
#-----------------------------------------------------------------------
474
%clean
475
rm -rf $RPM_BUILD_ROOT
476
477
#-----------------------------------------------------------------------
478
%if %mdkversion < 200900
479
%post -n %{libppl} -p /sbin/ldconfig
480
481
%post -n %{libppl_c} -p /sbin/ldconfig
482
%endif
483
484
#-----------------------------------------------------------------------
485
%if %mdkversion < 200900
486
%postun -n %{libppl} -p /sbin/ldconfig
487
488
%postun -n %{libppl_c} -p /sbin/ldconfig
489
%endif
490
491
492
%changelog
493
* Wed Apr 13 2011 Paulo Andrade <pcpa@mandriva.com.br> 0.11-4mdv2011.0
494
+ Revision: 652857
495
- Add cooker specific conflicts for easier cooker updates
496
497
* Sun Apr 10 2011 Paulo Andrade <pcpa@mandriva.com.br> 0.11-3
498
+ Revision: 652189
499
- Update to ppl 0.11, add libppl_c and correct library major on package names
500
501
  + Funda Wang <fwang@mandriva.org>
502
    - add more conflicts and obsoletes to ease upgrade
503
    - new static devel package policy
504
    - move ppl-config into devel package, which is the correct package it belongs
505
    - correctly lock major
506
    - lock libmajor
507
    - convert to devel package polciy for static devel package
508
509
* Wed Feb 02 2011 Paulo Andrade <pcpa@mandriva.com.br> 0.11-2
510
+ Revision: 634947
511
- Add intermediate revert before rebuilding with proper major
512
513
* Tue Feb 01 2011 Alexandre Lissy <alissy@mandriva.com> 0.11-1
514
+ Revision: 634631
515
- * updating to ppl 0.11 (headers are from Fedora's package, no real explanation why they are needed this way ...)
516
517
* Fri Dec 03 2010 Oden Eriksson <oeriksson@mandriva.com> 0.10.2-2mdv2011.0
518
+ Revision: 607200
519
- rebuild
520
521
* Tue Feb 09 2010 Funda Wang <fwang@mandriva.org> 0.10.2-1mdv2010.1
522
+ Revision: 503055
523
- fix file list
524
- fix build with gmp 5.0
525
526
* Wed May 20 2009 Christophe Fergeau <cfergeau@mandriva.com> 0.10.2-1mdv2010.0
527
+ Revision: 377977
528
- Fix libglpk build require
529
- Fix Group for the various packages
530
- import ppl
531
532
533
* Sat Apr 18 2009 Roberto Bagnara <bagnara@cs.unipr.it> 0.10.2-1
534
- Updated for PPL 0.10.2.
535
536
* Tue Apr 14 2009 Roberto Bagnara <bagnara@cs.unipr.it> 0.10.1-1
537
- Updated for PPL 0.10.1.
538
539
* Sun Mar 29 2009 Roberto Bagnara <bagnara@cs.unipr.it> 0.10-11
540
- Moved changelogs and PostScript and PDF versions of the GPL to the
541
  `docs' subpackages. This saves considerable space on the live media.
542
543
* Tue Mar 24 2009 Roberto Bagnara <bagnara@cs.unipr.it> 0.10-10
544
- There are no GNU Prolog packages available on ia64: disable the GNU Prolog
545
  interface also on those platforms (besides ppc64, s390 and s390x).
546
547
* Thu Feb 26 2009 Fedora Release Engineering <rel-eng@lists.fedoraproject.org> - 0.10-9
548
- Rebuilt for https://fedoraproject.org/wiki/Fedora_11_Mass_Rebuild.
549
550
* Wed Feb 18 2009 Roberto Bagnara <bagnara@cs.unipr.it> 0.10-8
551
- Install the documentation according to the Fedora packaging conventions.
552
553
* Wed Feb 17 2009 Karsten Hopp <karsten@redhat.comt> 0.10-7
554
- There are no GNU Prolog packages available on s390 and s390x: disable
555
  the GNU Prolog interface also on those platforms (besides ppc64).
556
557
* Wed Feb 04 2009 Roberto Bagnara <bagnara@cs.unipr.it> 0.10-6
558
- Better workaround for the bug affecting PPL 0.10 on big-endian
559
  architectures.
560
561
* Tue Feb 03 2009 Roberto Bagnara <bagnara@cs.unipr.it> 0.10-5
562
- Work around the bug affecting PPL 0.10 on big-endian architectures.
563
564
* Fri Dec 05 2008 Roberto Bagnara <bagnara@cs.unipr.it> 0.10-4
565
- Added `%%dir %%{_datadir}/doc/pwl' to the `%%files' section
566
  of the `ppl-pwl' package.
567
568
* Thu Nov 04 2008 Roberto Bagnara <bagnara@cs.unipr.it> 0.10-3
569
- Fixed the requirements of the `ppl-java' package.
570
571
* Thu Nov 04 2008 Roberto Bagnara <bagnara@cs.unipr.it> 0.10-2
572
- Added m4 >= 1.4.8 to build requirements.
573
574
* Thu Nov 04 2008 Roberto Bagnara <bagnara@cs.unipr.it> 0.10-1
575
- Updated and extended for PPL 0.10.  In particular, the `ppl-config'
576
  program, being useful also for non-development activities, has been
577
  brought back to the main package.
578
579
* Tue Sep 30 2008 Roberto Bagnara <bagnara@cs.unipr.it> 0.9-25
580
- The `swiprolog' package now requires pl >= 5.6.57-2.
581
582
* Mon Sep 08 2008 Roberto Bagnara <bagnara@cs.unipr.it> 0.9-24
583
- Changed ppl-0.9-swiprolog.patch so as to invoke `plld' with
584
  the `-v' option.
585
586
* Mon Sep 08 2008 Roberto Bagnara <bagnara@cs.unipr.it> 0.9-23
587
- Fixed ppl-0.9-swiprolog.patch.
588
589
* Mon Sep 08 2008 Roberto Bagnara <bagnara@cs.unipr.it> 0.9-22
590
- Implemented a workaround to cope with the new location of SWI-Prolog.h.
591
592
* Mon Sep 08 2008 Roberto Bagnara <bagnara@cs.unipr.it> 0.9-21
593
- Fixed the SWI-Prolog interface dependencies.
594
595
* Mon May 19 2008 Roberto Bagnara <bagnara@cs.unipr.it> 0.9-20
596
- Added Requires /sbin/ldconfig.
597
598
* Wed Feb 13 2008 Roberto Bagnara <bagnara@cs.unipr.it> 0.9-19
599
- Include a patch to supply a missing inclusions of <cstdlib>.
600
601
* Wed Jan 09 2008 Roberto Bagnara <bagnara@cs.unipr.it> 0.9-18
602
- Avoid multiarch conflicts when installed for multiple architectures.
603
604
* Sun Dec 23 2007 Roberto Bagnara <bagnara@cs.unipr.it> 0.9-17
605
- The SWI-Prolog `pl' package is temporarily not available on the ppc64
606
  architecture: temporarily disabled `ppl-swiprolog' and
607
  `ppl-swiprolog-static' on that architecture.
608
609
* Sat Sep 29 2007 Roberto Bagnara <bagnara@cs.unipr.it> 0.9-16
610
- The value of the `License' tag is now `GPLv2+'.
611
- `ppl-swiprolog' dependency on `readline-devel' removed (again).
612
613
* Mon Sep 24 2007 Jesse Keating <jkeating@redhat.com> 0.9-15
614
- Rebuild for new libgmpxx.
615
616
* Tue Aug 28 2007 Fedora Release Engineering <rel-eng at fedoraproject dot org> 0.9-14
617
- Rebuild for selinux ppc32 issue.
618
619
* Fri Jul 06 2007 Roberto Bagnara <bagnara@cs.unipr.it> 0.9-13
620
- Bug 246815 had been fixed: YAP support enabled again.
621
622
* Thu Jul 05 2007 Roberto Bagnara <bagnara@cs.unipr.it> 0.9-12
623
- Disable YAP support until bug 246815 is fixed.
624
- Bug 243084 has been fixed: `ppl-swiprolog' dependency on `readline-devel'
625
  removed.
626
627
* Thu Jul 05 2007 Roberto Bagnara <bagnara@cs.unipr.it> 0.9-11
628
- The `gprolog' package is not available on the ppc64 architecture:
629
  so do `ppl-gprolog' and `ppl-gprolog-static'.
630
631
* Tue Jul 03 2007 Roberto Bagnara <bagnara@cs.unipr.it> 0.9-10
632
- Use `%%{buildroot}' consistently, instead of  `$RPM_BUILD_ROOT'.
633
634
* Mon Jul 02 2007 Roberto Bagnara <bagnara@cs.unipr.it> 0.9-9
635
- Patch NEWS, TODO and doc/definitions.dox so as to use the
636
  UTF-8 encoding instead of ISO-8859.
637
638
* Tue Jun 12 2007 Roberto Bagnara <bagnara@cs.unipr.it> 0.9-8
639
- Patch the `libtool' script after `%%configure' so as to fix
640
  the rpath issue.
641
- Revised the description of the `devel' package.
642
- Include also the `TODO' file in the documentation of the main package.
643
644
* Thu Jun 07 2007 Roberto Bagnara <bagnara@cs.unipr.it> 0.9-7
645
- `%%install' commands revised.
646
647
* Thu Jun 07 2007 Roberto Bagnara <bagnara@cs.unipr.it> 0.9-6
648
- All the static archives are now in `*-static' packages.
649
- Packages `ppl-gprolog-devel', `ppl-swiprolog-devel' and `ppl-yap-devel'
650
  renamed `ppl-gprolog', `ppl-swiprolog' and `ppl-yap',
651
  respectively.
652
- As a workaround for a bug in the `pl' package (Bugzilla Bug 243084),
653
  `ppl-swiprolog' is now dependent on `readline-devel'.
654
- Added `%%dir %%{_datadir}/doc/%%{name}'.
655
- The `ppl-user-0.9-html' documentation directory is now properly listed.
656
- Remove installed *.la files.
657
- Added a `ppl-0.9-configure.patch' to avoid overriding CFLAGS and CXXFLAGS.
658
659
* Wed Jun 06 2007 Roberto Bagnara <bagnara@cs.unipr.it> 0.9-5
660
- Use `%%{_includedir}' and `%%{_libdir}' instead of `/usr/include'
661
  and `/usr/lib', respectively.
662
- Use `%%{_datadir}/doc/%%{name}' instead of `/usr/share/doc/ppl'.
663
- Replaced `%%defattr(-,root,root)' with `%%defattr(-,root,root,-)'.
664
665
* Fri Feb 23 2007 Roberto Bagnara <bagnara@cs.unipr.it> 0.9-4
666
- The user manual (in various formats) is now in the `docs' package.
667
668
* Thu Feb 22 2007 Roberto Bagnara <bagnara@cs.unipr.it> 0.9-3
669
- Dependencies for YAP fixed.
670
- Make sure the header files of GNU Prolog and YAP are found.
671
672
* Wed Feb 21 2007 Roberto Bagnara <bagnara@cs.unipr.it>
673
- Added missing dependencies.
674
675
* Sun Feb 18 2007 Roberto Bagnara <bagnara@cs.unipr.it>
676
- `%%doc' tags corrected for the Prolog interfaces.
677
- Tabs used consistently instead of spaces.
678
679
* Sat Feb 17 2007 Roberto Bagnara <bagnara@cs.unipr.it>
680
- Make `swiprolog-devel' depend on `pl' (at leat 5.6); documentation added.
681
- The `yap' package has been renamed `yap-devel' and completed.
682
- The `gprolog' package has been renamed `gprolog-devel' and completed.
683
- The `ppl_lcdd' and `ppl_lpsol' programs are now in a new `utils' package.
684
- The `ppl-config' program is now in the `devel' package.
685
- Modified the configuration command so that the `glpk-devel' include files
686
  are found.
687
688
* Sun Feb 11 2007 Roberto Bagnara <bagnara@cs.unipr.it> 0.9-2
689
- The `%%_libdir/ppl' is no longer orphaned.
690
- Use `make %%{?_smp_mflags}' for building.
691
- The `swi' package has been renamed `swiprolog-devel'.
692
693
* Sat Feb 10 2007 Roberto Bagnara <bagnara@cs.unipr.it>
694
- Added the `%%changelog' section.
695
- `Release' set to 2.
696
- `Packager' and `Vendor' tags removed.
697
- `Summary' fields are no longer ended with a dot.
698
- The value of the `License' tag is now `GPL'.
699
- Removed unused definition of `builddir'.
700
- The `Name', `Version' and `Release' tags are now directly defined.
701
- Commented out the efinitions of the `Require' and `Prefix' tags.
702
- Set the `BuildRequires' tag to `gmp-devel'.
703
- Exploit the features of `%%setup', `%%configure', `%%install',
704
  `%%post' and `%%postun'.
705
- Mixed use of spaces and tabs avoided.
706
- Do configure with the --disable-rpath option so as to avoid
707
  hardcoding the path to search libraries.
708
- Do not include libtool archive files.
709
- Packages reorganized.
710
711
* Mon Jan 16 2006 Roberto Bagnara <bagnara@cs.unipr.it> 0.9-1
712
- Install gzipped man pages.
713
- The `Copyright' tag is no longer supported: use `License' instead.
714
715
* Wed Jan 11 2006 Roberto Bagnara <bagnara@cs.unipr.it>
716
- Include `ppl-config' in `%%{_bindir}' and the man pages in
717
  `%%{_mandir}/man1'.
718
719
* Tue Jan 10 2006 Roberto Bagnara <bagnara@cs.unipr.it>
720
- Require gcc-c++ to be at least 4.0.2.
721
- Distribute also `ppl_lpsol'.
722
723
* Tue Mar 01 2005 Roberto Bagnara <bagnara@cs.unipr.it>
724
- Wrong dependency fixed.
725
726
* Mon Feb 28 2005 Roberto Bagnara <bagnara@cs.unipr.it>
727
- URL for the source fixed.
728
729
* Fri Dec 24 2004 Roberto Bagnara <bagnara@cs.unipr.it>
730
- Sentence fixed.
731
732
* Thu Dec 23 2004 Roberto Bagnara <bagnara@cs.unipr.it>
733
- The file doc/README has been renamed README.doc so as not to conflict
734
  with the library's main README file.
735
- Require gcc-c++ to be exactly version 3.4.1.
736
- `Summary' updated to reflect the fact that the library now provides
737
  numerical abstractions other than convex polyhedra.
738
739
* Wed Aug 18 2004 Roberto Bagnara <bagnara@cs.unipr.it>
740
- Distribute more documentation.
741
742
* Mon Aug 16 2004 Roberto Bagnara <bagnara@cs.unipr.it>
743
- Added the `ppl_lcdd' program to the main package.
744
- Require gcc-c++ to be exactly version 3.4.1.
745
- We require gmp at least 4.1.3.
746
747
* Wed Jul 30 2003 Roberto Bagnara <bagnara@cs.unipr.it>
748
- Build an RPM package also for the PWL.
749
- The Prolog interfaces depend on the PWL.
750
751
* Tue Mar 04 2003 Roberto Bagnara <bagnara@cs.unipr.it>
752
- We require gmp at least 4.1.2.
753
754
* Fri Oct 04 2002 Roberto Bagnara <bagnara@cs.unipr.it>
755
- Require gcc-c++ 3.2 or later version.
756
- Require gmp 4.1 or later version.
757
758
* Sun Jun 30 2002 Roberto Bagnara <bagnara@cs.unipr.it>
759
- Mention not necessarily closed convex polyhedra in the main `%%description'.
760
761
* Tue Jun 25 2002 Roberto Bagnara <bagnara@cs.unipr.it>
762
- `%%files' section for gprolog package fixed.
763
764
* Mon Jun 24 2002 Roberto Bagnara <bagnara@cs.unipr.it>
765
- `%%files' section fixed for the yap package.
766
- The `%%files' sections of each package are now complete.
767
768
* Wed Jun 12 2002 Roberto Bagnara <bagnara@cs.unipr.it>
769
- Added file list for package gprolog.
770
- Updated file list for package swi.
771
772
* Thu Jun 06 2002 Roberto Bagnara <bagnara@cs.unipr.it>
773
- The `swi' package has now its `%%files' section.
774
775
* Wed Jun 05 2002 Roberto Bagnara <bagnara@cs.unipr.it>
776
- We will build several RPM packages out of our source tree.
777
778
* Mon Mar 04 2002 Roberto Bagnara <bagnara@cs.unipr.it>
779
- Require gcc-c++ 3.0.4 or later version.
780
- Require gmp 4.0.1 or later version.
781
782
* Sun Jan 27 2002 Roberto Bagnara <bagnara@cs.unipr.it>
783
- The move to libtool is complete: we can now build and distribute
784
  (with, e.g., RPM) static and dynamic versions of the library.
785
786
* Tue Oct 16 2001 Roberto Bagnara <bagnara@cs.unipr.it>
787
- Changed `Summary'.
788
- Changed `Packager' in view of PGP signatures.
789
- Changed `Group' to `Development/Libraries'.
790
- Require gcc-c++ 2.96-85 or later version.
791
792
* Mon Oct 15 2001 Roberto Bagnara <bagnara@cs.unipr.it>
793
- Now we build a relocatable package.
794
795
* Mon Oct 15 2001 Roberto Bagnara <bagnara@cs.unipr.it>
796
- A first cut at a working RPM spec file.
797
... ... --- /dev/null
... ... +++ b/ppl_c.h
... ... @@ -0,0 +1,50 @@
1
/* Header file switcher for the C interface.  -*- C -*-
2
   Copyright (C) 2001-2010 Roberto Bagnara <bagnara@cs.unipr.it>
3
   Copyright (C) 2010-2011 BUGSENG srl (http://bugseng.com)
4
5
This file is part of the Parma Polyhedra Library (PPL).
6
7
The PPL is free software; you can redistribute it and/or modify it
8
under the terms of the GNU General Public License as published by the
9
Free Software Foundation; either version 3 of the License, or (at your
10
option) any later version.
11
12
The PPL is distributed in the hope that it will be useful, but WITHOUT
13
ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
14
FITNESS FOR A PARTICULAR PURPOSE.  See the GNU General Public License
15
for more details.
16
17
You should have received a copy of the GNU General Public License
18
along with this program; if not, write to the Free Software Foundation,
19
Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02111-1307, USA.
20
21
For the most up-to-date information see the Parma Polyhedra Library
22
site: http://www.cs.unipr.it/ppl/ . */
23
24
#if defined(__x86_64__)
25
#include "ppl_c-x86_64.h"
26
#elif defined(__i386__)
27
#include "ppl_c-i386.h"
28
#elif defined(__powerpc64__)
29
#include "ppl_c-ppc64.h"
30
#elif defined(__powerpc__)
31
#include "ppl_c-ppc.h"
32
#elif defined(__ia64__)
33
#include "ppl_c-ia64.h"
34
#elif defined(__alpha__)
35
#include "ppl_c-alpha.h"
36
#elif defined(__arm__)
37
#include "ppl_c-arm.h"
38
#elif defined(__s390x__)
39
#include "ppl_c-s390x.h"
40
#elif defined(__s390__)
41
#include "ppl_c-s390.h"
42
#elif defined(__sh__)
43
#include "ppl_c-sh.h"
44
#elif defined(__sparc__) && defined(__arch64__)
45
#include "ppl_c-sparc64.h"
46
#elif defined(__sparc__)
47
#include "ppl_c-sparc.h"
48
#else
49
#error "This architecture is not supported by the currently installed ppl-devel packages."
50
#endif
... ... --- /dev/null
... ... +++ b/pwl.hh
... ... @@ -0,0 +1,50 @@
1
/* This is the header file switcher of the Parma Watchdog Library.
2
   Copyright (C) 2001-2010 Roberto Bagnara <bagnara@cs.unipr.it>
3
   Copyright (C) 2010-2011 BUGSENG srl (http://bugseng.com)
4
5
This file is part of the Parma Watchdog Library (PWL).
6
7
The PWL is free software; you can redistribute it and/or modify it
8
under the terms of the GNU General Public License as published by the
9
Free Software Foundation; either version 3 of the License, or (at your
10
option) any later version.
11
12
The PWL is distributed in the hope that it will be useful, but WITHOUT
13
ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
14
FITNESS FOR A PARTICULAR PURPOSE.  See the GNU General Public License
15
for more details.
16
17
You should have received a copy of the GNU General Public License
18
along with this program; if not, write to the Free Software Foundation,
19
Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02111-1307, USA.
20
21
For the most up-to-date information see the CS@Parma software
22
site: http://www.cs.unipr.it/Software/ . */
23
24
#if defined(__x86_64__)
25
#include "pwl-x86_64.hh"
26
#elif defined(__i386__)
27
#include "pwl-i386.hh"
28
#elif defined(__powerpc64__)
29
#include "pwl-ppc64.hh"
30
#elif defined(__powerpc__)
31
#include "pwl-ppc.hh"
32
#elif defined(__ia64__)
33
#include "pwl-ia64.hh"
34
#elif defined(__alpha__)
35
#include "pwl-alpha.hh"
36
#elif defined(__arm__)
37
#include "pwl-arm.hh"
38
#elif defined(__s390x__)
39
#include "pwl-s390x.hh"
40
#elif defined(__s390__)
41
#include "pwl-s390.hh"
42
#elif defined(__sh__)
43
#include "pwl-sh.hh"
44
#elif defined(__sparc__) && defined(__arch64__)
45
#include "pwl-sparc64.hh"
46
#elif defined(__sparc__)
47
#include "pwl-sparc.hh"
48
#else
49
#error "This architecture is not supported by the currently installed ppl-pwl-devel packages."
50
#endif

Comments