diff options
Diffstat (limited to 'lang/twelf/Makefile')
| -rw-r--r-- | lang/twelf/Makefile | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/lang/twelf/Makefile b/lang/twelf/Makefile index 89239c0..bb8a309 100644 --- a/lang/twelf/Makefile +++ b/lang/twelf/Makefile @@ -14,9 +14,9 @@ COMMENT= Meta-logical framework for deductive systems LICENSE= BSD2CLAUSE LICENSE_FILE= ${WRKSRC}/LICENSE -RUN_DEPENDS= mlton:${PORTSDIR}/lang/mlton -BUILD_DEPENDS= mlton:${PORTSDIR}/lang/mlton \ - texi2html:${PORTSDIR}/textproc/texi2html +RUN_DEPENDS= mlton:lang/mlton +BUILD_DEPENDS= mlton:lang/mlton \ + texi2html:textproc/texi2html USES= gmake ALL_TARGET= mlton @@ -28,7 +28,7 @@ PORTDOCS= dvi html info pdf ps .if ${PORT_OPTIONS:MDOCS} USE_TEX= tex:build dvipsk:build -BUILD_DEPENDS+= ${LOCALBASE}/bin/makeinfo:${PORTSDIR}/print/texinfo +BUILD_DEPENDS+= ${LOCALBASE}/bin/makeinfo:print/texinfo .endif post-patch: |
