freebsd/ports
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Mark BROKEN: fails to build

Browse Source 
In file included from metaLevelOpSymbol.cc💯
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
This commit is contained in:
Antoine Brodin
2019-08-04 05:39:36 +00:00
parent 2f7bd99c13
commit fa45a01b98
1 changed files with 2 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
lang/maude/Makefile
View File

@@ -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 \