diff options
Diffstat (limited to 'devel/ppl/Makefile')
| -rw-r--r-- | devel/ppl/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/devel/ppl/Makefile b/devel/ppl/Makefile index 0786e346d9a1..bdbfa1d20888 100644 --- a/devel/ppl/Makefile +++ b/devel/ppl/Makefile @@ -21,7 +21,7 @@ LIB_DEPENDS= gmp.6:${PORTSDIR}/math/libgmp4 USE_GMAKE= yes GNU_CONFIGURE= yes -USE_LIBTOOL= yes +USE_LIBTOOL_VER= 13 CONFIGURE_TARGET= --build=${MACHINE_ARCH}-portbld-freebsd${OSREL} CONFIGURE_ARGS= --disable-debugging \ --enable-optimization \ |