1
0
mirror of https://git.FreeBSD.org/ports.git synced 2024-12-07 02:06:57 +00:00

- Update to 0.10.2

- Pass maintainership to submitter
- Mark MAKE_JOBS_SAFE

PR:		134921
Submitetd by:	Tobias Grosser <grosser@fim.uni-passau.de>
This commit is contained in:
Dmitry Marakasov 2009-05-31 18:35:58 +00:00
parent d82d584b93
commit 85cd7dc2b5
Notes: svn2git 2021-03-31 03:12:20 +00:00
svn path=/head/; revision=234933
3 changed files with 1070 additions and 832 deletions

View File

@ -7,16 +7,16 @@
#
PORTNAME= ppl
PORTVERSION= 0.9
PORTREVISION= 2
PORTVERSION= 0.10.2
CATEGORIES= devel
MASTER_SITES= ftp://ftp.cs.unipr.it/pub/ppl/releases/%SUBDIR%/ \
http://www.cs.unipr.it/ppl/Download/ftp/releases/%SUBDIR%/
MASTER_SITE_SUBDIR= ${PORTVERSION}
MAINTAINER= ports@FreeBSD.org
MAINTAINER= grosser@fim.uni-passau.de
COMMENT= The Parma Polyhedra Library
BUILD_DEPENDS= gm4:${PORTSDIR}/devel/m4
LIB_DEPENDS= gmp.8:${PORTSDIR}/math/libgmp4
USE_GMAKE= yes
@ -24,20 +24,28 @@ USE_GNOME= gnometarget
USE_PERL5_BUILD=yes
USE_AUTOTOOLS= libtool:15
LIBTOOLFILES= configure Watchdog/configure
# Only enable C and C++ interfaces. Checks for java, prolog and ocaml
# have to be added.
INTERFACES= c,cxx
CONFIGURE_ARGS= --disable-debugging \
--enable-optimization \
--with-cflags="${CFLAGS}" \
--with-cxxflags="${CXXFLAGS}" \
--with-libgmp-prefix="${LOCALBASE}" \
--with-libgmpxx-prefix="${LOCALBASE}"
--with-libgmpxx-prefix="${LOCALBASE}" \
--enable-interfaces="${INTERFACES}"
USE_LDCONFIG= yes
MAKE_JOBS_SAFE= yes
MAN1= ppl-config.1 ppl_lcdd.1 ppl_lpsol.1
MAN1= ppl-config.1 ppl_lcdd.1
MAN3= libppl.3 libppl_c.3
.if defined(NOPORTDOCS)
post-patch:
${REINPLACE_CMD} -e '/^install-data-am:/ s|install-data-local||g' \
${WRKSRC}/doc/Makefile.in
${WRKSRC}/doc/Makefile.in ${WRKSRC}/Watchdog/doc/Makefile.in
.endif
.include <bsd.port.mk>

View File

@ -1,3 +1,3 @@
MD5 (ppl-0.9.tar.gz) = 4096c2927b36fbf7c5329a53b035bc33
SHA256 (ppl-0.9.tar.gz) = 458a9bacac8e27cfbf0edb21d17d52e67803c83562e0ec8a8c17f5fb1446ae1f
SIZE (ppl-0.9.tar.gz) = 6023797
MD5 (ppl-0.10.2.tar.gz) = e7dd265afdeaea81f7e87a72b182d875
SHA256 (ppl-0.10.2.tar.gz) = d0389838575a7e003542fe996cce54bb0405f9a011424ba7384d12a634219e52
SIZE (ppl-0.10.2.tar.gz) = 10796863

File diff suppressed because it is too large Load Diff