diff options
| author | Mathieu Arnold <mat@FreeBSD.org> | 2016-04-01 14:08:37 +0000 |
|---|---|---|
| committer | Mathieu Arnold <mat@FreeBSD.org> | 2016-04-01 14:08:37 +0000 |
| commit | a9dcad2fffcc27906b85c5a15fdb3e50fdc1e2e2 (patch) | |
| tree | 23607acdfffe977946d3c7bb877bab60e64640e7 /lang/twelf | |
| parent | 4e1b79a0a61f4973df8b4b0864d22086c769e219 (diff) | |
Notes
Diffstat (limited to 'lang/twelf')
| -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 89239c05050b..bb8a309d8e08 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: |