# ex:ts=8 # New ports collection makefile for: ppl # Date created: Feb 5, 2002 # Whom: ijliao # # $FreeBSD$ # PORTNAME= ppl PORTVERSION= 0.6.1 PORTREVISION= 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 COMMENT= The Parma Polyhedra Library LIB_DEPENDS= gmp.7:${PORTSDIR}/math/libgmp4 USE_GMAKE= yes USE_GNOME= gnometarget USE_AUTOTOOLS= libtool:15 LIBTOOLFILES= configure Watchdog/configure CONFIGURE_ARGS= --disable-debugging \ --enable-optimization \ --with-cflags="${CFLAGS}" \ --with-cxxflags="${CXXFLAGS}" \ --with-gmp-includes="${LOCALBASE}/include" \ --with-gmp-dir="${LOCALBASE}/lib" USE_LDCONFIG= yes PORTDOCS= * .include /freebsd-ports-graphics' title='freebsd-ports-graphics Git repository'/>
aboutsummaryrefslogtreecommitdiffstats
path: root/x11-wm/e-module-diskio/pkg-plist
Commit message (Expand)AuthorAgeFilesLines
* Remove expired ports:rene2015-11-021-4/+0