diff options
| author | antoine <antoine@FreeBSD.org> | 2019-04-23 00:01:13 +0800 |
|---|---|---|
| committer | antoine <antoine@FreeBSD.org> | 2019-04-23 00:01:13 +0800 |
| commit | 76a61f2aa4b876a43996293e746b42437a90c879 (patch) | |
| tree | a80cb0b674d67455822503faa1a1f19c32ac7ea6 /lang | |
| parent | 58f11322879f5bef8c8dad371a1b49c6c47d2b76 (diff) | |
| download | freebsd-ports-gnome-76a61f2aa4b876a43996293e746b42437a90c879.tar.gz freebsd-ports-gnome-76a61f2aa4b876a43996293e746b42437a90c879.tar.zst freebsd-ports-gnome-76a61f2aa4b876a43996293e746b42437a90c879.zip | |
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
Diffstat (limited to 'lang')
| -rw-r--r-- | lang/twelf/Makefile | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/lang/twelf/Makefile b/lang/twelf/Makefile index e5f5808a7e3f..39f0bbc13e6e 100644 --- a/lang/twelf/Makefile +++ b/lang/twelf/Makefile @@ -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 |