svn commit: r499655 - head/lang/twelf

[Antoine Brodin]

Author: antoine
Date: Mon Apr 22 16:01:13 2019
New Revision: 499655
URL: https://svnweb.freebsd.org/changeset/ports/499655

Log:
  Mark BROKEN on FreeBSD 12 and 13
  
  mlton -default-ann 'nonexhaustiveMatch ignore' -output bin/twelf-server build/${cmfileid}
  invalid target: self
  
  Reported by:	pkg-fallout
  MFH:		2019Q2

Modified:
  head/lang/twelf/Makefile

Modified: head/lang/twelf/Makefile
==============================================================================
--- head/lang/twelf/Makefile	Mon Apr 22 15:56:58 2019	(r499654)
+++ head/lang/twelf/Makefile	Mon Apr 22 16:01:13 2019	(r499655)
@@ -15,6 +15,9 @@ COMMENT=	Meta-logical framework for deductive systems
 LICENSE=	BSD2CLAUSE
 LICENSE_FILE=	${WRKSRC}/LICENSE
 
+BROKEN_FreeBSD_12=	invalid target: self
+BROKEN_FreeBSD_13=	invalid target: self
+
 RUN_DEPENDS=	mlton:lang/mlton
 BUILD_DEPENDS=	mlton:lang/mlton \
 		texi2html:textproc/texi2html