svn commit: r508058 - head/lang/maude

[Antoine Brodin]

Author: antoine
Date: Sun Aug  4 05:39:36 2019
New Revision: 508058
URL: https://svnweb.freebsd.org/changeset/ports/508058

Log:
  Mark BROKEN: fails to build
  
  In file included from metaLevelOpSymbol.cc:100:
  In file included from ./descentFunctions.cc:584:
  In file included from ../../src/Mixfix/variableGenerator.hh:33:
  /usr/local/include/cvc4/expr/expr_manager.h:47:10: fatal error: 'cvc4_public.h' file not found
  #include "cvc4_public.h"
  
  Reported by:	pkg-fallout

Modified:
  head/lang/maude/Makefile

Modified: head/lang/maude/Makefile
==============================================================================
--- head/lang/maude/Makefile	Sun Aug  4 05:37:49 2019	(r508057)
+++ head/lang/maude/Makefile	Sun Aug  4 05:39:36 2019	(r508058)
@@ -13,6 +13,8 @@ COMMENT=	High-performance reflective language
 LICENSE=	GPLv2
 LICENSE_FILE=	${WRKSRC}/COPYING
 
+BROKEN=		'cvc4_public.h' file not found
+
 BUILD_DEPENDS=	${LOCALBASE}/bin/flex:textproc/flex
 LIB_DEPENDS=	libbdd.so:science/buddy \
 		libtecla.so:devel/libtecla \