Date: Sun, 4 Aug 2019 05:39:36 +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: r508058 - head/lang/maude Message-ID: <201908040539.x745da8L096876@repo.freebsd.org>
next in thread | raw e-mail | index | archive | help
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 \
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?201908040539.x745da8L096876>