diff options
Diffstat (limited to 'lang/maude/Makefile')
-rw-r--r-- | lang/maude/Makefile | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/lang/maude/Makefile b/lang/maude/Makefile index c3a24df59159..a93d3d39d1ca 100644 --- a/lang/maude/Makefile +++ b/lang/maude/Makefile @@ -20,7 +20,6 @@ LIB_DEPENDS= bdd:${PORTSDIR}/science/buddy \ gmp:${PORTSDIR}/math/gmp USE_BISON= build -USE_AUTOTOOLS= aclocal:19 automake:19 GNU_CONFIGURE= yes CONFIGURE_ENV= CPPFLAGS="-I${LOCALBASE}/include" LDFLAGS="-L${LOCALBASE}/lib" CONFIGURE_ARGS= --datadir=${DATADIR} |