Changeset View
Changeset View
Standalone View
Standalone View
lang/twelf/Makefile
Show All 11 Lines | |||||
MAINTAINER= beyert@cs.ucr.edu | MAINTAINER= beyert@cs.ucr.edu | ||||
COMMENT= Meta-logical framework for deductive systems | COMMENT= Meta-logical framework for deductive systems | ||||
LICENSE= BSD2CLAUSE | LICENSE= BSD2CLAUSE | ||||
LICENSE_FILE= ${WRKSRC}/LICENSE | LICENSE_FILE= ${WRKSRC}/LICENSE | ||||
BROKEN_FreeBSD_12= invalid target: self | BROKEN_FreeBSD_12= invalid target: self | ||||
BROKEN_FreeBSD_13= invalid target: self | BROKEN_FreeBSD_13= invalid target: self | ||||
BROKEN_FreeBSD_14= invalid target: self | |||||
RUN_DEPENDS= mlton:lang/mlton | RUN_DEPENDS= mlton:lang/mlton | ||||
BUILD_DEPENDS= mlton:lang/mlton \ | BUILD_DEPENDS= mlton:lang/mlton \ | ||||
texi2html:textproc/texi2html | texi2html:textproc/texi2html | ||||
OPTIONS_DEFINE= DOCS | OPTIONS_DEFINE= DOCS | ||||
USES= gmake | USES= gmake | ||||
Show All 31 Lines |