1 DESCRIPTION = "The Parma Polyhedra Library"
2 HOMEPAGE = "http://www.cs.unipr.it/ppl/"
3 SECTION = "Development/Libraries/C and C++"
13 PROVIDES += "libppl_c"
14 RPROVIDES_libppl_c += "libppl_c"
18 RPROVIDES_libppl += "libppl"
22 RPROVIDES_ppl += "ppl"
24 #PROVIDES by ppl-devel-static
25 PROVIDES += "ppl-devel-static"
26 RPROVIDES_ppl-devel-static += "ppl-devel-static"
27 RPROVIDES_ppl-devel-static += "ppl-dev"
31 RPROVIDES_ppl-doc += "ppl-doc"
33 #PROVIDES by ppl-devel
34 PROVIDES += "ppl-devel"
35 RPROVIDES_ppl-devel += "ppl-devel"
36 RPROVIDES_ppl-devel += "ppl-dev"
39 #RDEPENDS of ppl-devel-static (${PN}-devel-static)
40 RDEPENDS_${PN}-devel-static += "ppl-dev"
42 #RDEPENDS of ppl-devel (${PN}-devel)
43 RDEPENDS_${PN}-devel += "libppl_c"
44 RDEPENDS_${PN}-devel += "gmp-dev"
45 RDEPENDS_${PN}-devel += "libppl"
50 DEPENDS += "gcc-cross"
54 chmod -Rf a+rX,u+w,g-w,o-w ${S}
55 #setup -q -n ppl-0.11.2
56 cp ${S}/packaging/ppl.manifest .
68 CFLAGS="-O2 -g -m64 -fmessage-length=0 -D_FORTIFY_SOURCE=2 -fstack-protector -funwind-tables -fasynchronous-unwind-tables" ; export CFLAGS ;
69 CXXFLAGS="${CXXFLAGS:--O2 -g -m64 -fmessage-length=0 -D_FORTIFY_SOURCE=2 -fstack-protector -funwind-tables -fasynchronous-unwind-tables}" ; export CXXFLAGS ;
70 FFLAGS="${FFLAGS:--O2 -g -m64 -fmessage-length=0 -D_FORTIFY_SOURCE=2 -fstack-protector -funwind-tables -fasynchronous-unwind-tables -I%_fmoddir}" ; export FFLAGS ;
71 LD_AS_NEEDED=1; export LD_AS_NEEDED ;
74 CFLAGS="${CFLAGS:--O2 -g -m64 -fmessage-length=0 -D_FORTIFY_SOURCE=2 -fstack-protector -funwind-tables -fasynchronous-unwind-tables}" ; export CFLAGS ;
75 CXXFLAGS="${CXXFLAGS:--O2 -g -m64 -fmessage-length=0 -D_FORTIFY_SOURCE=2 -fstack-protector -funwind-tables -fasynchronous-unwind-tables}" ; export CXXFLAGS ;
76 FFLAGS="${FFLAGS:--O2 -g -m64 -fmessage-length=0 -D_FORTIFY_SOURCE=2 -fstack-protector -funwind-tables -fasynchronous-unwind-tables -I%_fmoddir}" ; export FFLAGS ;
77 autotools_do_configure --build=${TARGET_SYS} --host=${HOST_SYS} \
78 --target=x86_64-tizen-linux \
85 --datadir=/usr/share \
86 --includedir=/usr/include \
88 --libexecdir=/usr/libexec \
89 --localstatedir=/var \
90 --sharedstatedir=/usr/com \
91 --mandir=/usr/share/man \
92 --infodir=/usr/share/info --enable-shared --with-pic --disable-rpath \
94 #sed -i 's|^hardcode_libdir_flag_spec=.*|hardcode_libdir_flag_spec=""|g' libtool
95 #sed -i 's|^runpath_var=LD_RUN_PATH|runpath_var=DIE_RPATH_DIE|g' libtool
103 echo export RPM_BUILD_ROOT=${D}
110 make DESTDIR=${D} INSTALL="install -p" install
111 # We don't build the binary, so delete its manpage
112 rm -f ${D}/usr/share/man/man1/ppl_lpsol.1
114 rm -Rf ${D}/usr/share/doc/pwl
116 rm -f ${D}/usr/share/doc/ppl/ppl-user-*.ps.gz
117 rm -f ${D}/usr/share/doc/ppl/ChangeLog
118 rm -f ${D}/usr/share/doc/ppl/TODO
119 rm -f ${D}/usr/share/doc/ppl/gpl.*
120 rm -f ${D}/usr/share/doc/ppl/fdl.ps.gz
121 rm -f ${D}/usr/share/doc/ppl/fdl.pdf
122 rm -Rf ${D}/usr/share/doc/ppl/ppl-user-prolog-interface-0.11.2*
123 rm -Rf ${D}/usr/share/doc/ppl/ppl-user-ocaml-interface-0.11.2*
124 rm -Rf ${D}/usr/share/doc/ppl/ppl-user-java-interface-0.11.2*
130 PACKAGES += "ppl-devel"
133 PACKAGES += "libppl_c"
134 PACKAGES += "ppl-doc"
135 PACKAGES += "ppl-devel-static"
138 ppl-devel_files += "ppl.manifest"
139 ppl-devel_files += "/usr/share/doc/ppl/README.configure"
140 ppl-devel_files += "/usr/include/ppl.hh"
141 ppl-devel_files += "/usr/include/ppl_c.h"
142 ppl-devel_files += "/usr/lib/libppl.so"
143 ppl-devel_files += "/usr/lib/libppl_c.so"
144 ppl-devel_files += "/usr/bin/ppl-config"
145 ppl-devel_files += "/usr/share/man/man1/ppl-config.1.gz"
146 ppl-devel_files += "/usr/share/man/man3/libppl.3.gz"
147 ppl-devel_files += "/usr/share/man/man3/libppl_c.3.gz"
148 ppl-devel_files += "/usr/share/aclocal"
149 ppl-devel_files += "/usr/share/aclocal/ppl.m4"
150 ppl-devel_files += "/usr/share/aclocal/ppl_c.m4"
153 libppl_files += "ppl.manifest"
154 libppl_files += "/usr/lib/libppl.so.*"
157 ppl_files += "ppl.manifest"
158 ppl_files += "/usr/share/doc/ppl"
159 ppl_files += "/usr/share/doc/ppl/BUGS"
160 ppl_files += "/usr/share/doc/ppl/COPYING"
161 ppl_files += "/usr/share/doc/ppl/CREDITS"
162 ppl_files += "/usr/share/doc/ppl/NEWS"
163 ppl_files += "/usr/share/doc/ppl/README"
164 ppl_files += "/usr/bin/ppl_lcdd"
165 ppl_files += "/usr/bin/ppl_pips"
166 ppl_files += "/usr/share/man/man1/ppl_lcdd.1.gz"
167 ppl_files += "/usr/share/man/man1/ppl_pips.1.gz"
170 libppl_c_files += "ppl.manifest"
171 libppl_c_files += "/usr/lib/libppl_c.so.*"
174 ppl-doc_files += "ppl.manifest"
175 ppl-doc_files += "/usr/share/doc/ppl/README.doc"
176 ppl-doc_files += "/usr/share/doc/ppl/fdl.txt"
177 ppl-doc_files += "/usr/share/doc/ppl/ppl-user-0.11.2-html/"
178 ppl-doc_files += "/usr/share/doc/ppl/ppl-user-c-interface-0.11.2-html/"
179 ppl-doc_files += "/usr/share/doc/ppl/ppl-user-0.11.2.pdf"
180 ppl-doc_files += "/usr/share/doc/ppl/ppl-user-c-interface-0.11.2.pdf"
182 ppl-devel-static_files = ""
183 ppl-devel-static_files += "ppl.manifest"
184 ppl-devel-static_files += "/usr/lib/libppl.a"
185 ppl-devel-static_files += "/usr/lib/libppl.la"
186 ppl-devel-static_files += "/usr/lib/libppl_c.a"
187 ppl-devel-static_files += "/usr/lib/libppl_c.la"
189 FILES_${PN}-devel = "${ppl-devel_files}"
190 FILES_lib${PN} = "${libppl_files}"
191 FILES_${PN} = "${ppl_files}"
192 FILES_lib${PN}_c = "${libppl_c_files}"
193 FILES_${PN}-doc = "${ppl-doc_files}"
194 FILES_${PN}-devel-static = "${ppl-devel-static_files}"
196 PKG_ppl-devel= "ppl-devel"
199 PKG_libppl_c= "libppl_c"
200 PKG_ppl-doc= "ppl-doc"
201 PKG_ppl-devel-static= "ppl-devel-static"
203 require ppl-extraconf.inc