Skip site navigation (1)Skip section navigation (2)
Date:      Mon, 22 Apr 2019 16:01:13 +0000 (UTC)
From:      Antoine Brodin <antoine@FreeBSD.org>
To:        ports-committers@freebsd.org, svn-ports-all@freebsd.org, svn-ports-head@freebsd.org
Subject:   svn commit: r499655 - head/lang/twelf
Message-ID:  <201904221601.x3MG1D1L091956@repo.freebsd.org>

next in thread | raw e-mail | index | archive | help
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



Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?201904221601.x3MG1D1L091956>