diff options
Diffstat (limited to 'lang/clips')
| -rw-r--r-- | lang/clips/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/lang/clips/Makefile b/lang/clips/Makefile index 40b6e62a30ae..210f8999f87e 100644 --- a/lang/clips/Makefile +++ b/lang/clips/Makefile @@ -16,7 +16,7 @@ EXTRACT_SUFX= .tgz MAINTAINER= ports@dougdidit.com COMMENT= CLIPS is a productive development and delivery expert system tool -USE_AUTOCONF_VER= 213 +USE_AUTOTOOLS= autoconf:213 WRKSRC= ${WRKDIR}/${PORTNAME}${PORTVERSION} USE_GMAKE= yes INSTALLS_SHLIB= yes |