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 31e0ecf56c9b..1df22dea4b9d 100644 --- a/devel/ppl/Makefile +++ b/devel/ppl/Makefile @@ -28,7 +28,7 @@ CONFIGURE_ARGS= --disable-debugging \ --with-cxxflags="${CXXFLAGS}" \ --with-gmp-includes="${LOCALBASE}/include" \ --with-gmp-dir="${LOCALBASE}/lib" -INSTALLS_SHLIB= yes +USE_LDCONFIG= yes PORTDOCS= * .include <bsd.port.pre.mk> |