svn commit: r499656 - branches/2019Q2/lang/twelf

[Antoine Brodin]

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

Log:
  MFH: r499655
  
  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

Modified:
  branches/2019Q2/lang/twelf/Makefile
Directory Properties:
  branches/2019Q2/   (props changed)

Modified: branches/2019Q2/lang/twelf/Makefile
==============================================================================
--- branches/2019Q2/lang/twelf/Makefile	Mon Apr 22 16:01:13 2019	(r499655)
+++ branches/2019Q2/lang/twelf/Makefile	Mon Apr 22 16:01:46 2019	(r499656)
@@ -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