Index: head/lang/maude/Makefile =================================================================== --- head/lang/maude/Makefile (revision 508263) +++ head/lang/maude/Makefile (revision 508264) @@ -1,76 +1,74 @@ # Created by: Rick van der Zwet # $FreeBSD$ PORTNAME= maude PORTVERSION= 2.7.1 CATEGORIES= lang MASTER_SITES= http://maude.cs.illinois.edu/w/images/d/d8/ DISTNAME= Maude-${PORTVERSION} MAINTAINER= greg@unrelenting.technology 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 \ libgmp.so:math/gmp \ libsigsegv.so:devel/libsigsegv USES= alias autoreconf bison ncurses WRKSRC= ${WRKDIR}/maude-${PORTVERSION} GNU_CONFIGURE= yes CPPFLAGS+= -I${NCURSESINC} -I${LOCALBASE}/include LDFLAGS+= -L${NCURSESLIB} -L${LOCALBASE}/lib CONFIGURE_ARGS= --datadir=${DATADIR} MAKE_JOBS_UNSAFE= yes OPTIONS_SUB= yes OPTIONS_DEFINE= DOCS FULL_MAUDE CVC4 OPTIONS_DEFAULT= FULL_MAUDE CVC4 FULL_MAUDE_DESC= Install full-maude CVC4_DESC= Enable SMT support via CVC4 CVC4_LIB_DEPENDS= libcvc4.so:math/cvc4 CVC4_CONFIGURE_WITH= cvc4 PORTDOCS= AUTHORS COPYING ChangeLog INSTALL NEWS README .include .if ${PORT_OPTIONS:MFULL_MAUDE} MASTER_SITES+= http://maude.cs.illinois.edu/w/images/c/ca/:fm FULL_MAUDE= full-maude.maude FULL_MAUDE_DIST= Full-Maude-${PORTVERSION}.zip DISTFILES= ${DISTNAME}${EXTRACT_SUFX} ${FULL_MAUDE_DIST}:fm EXTRACT_ONLY= ${DISTNAME}${EXTRACT_SUFX} EXTRACT_DEPENDS+= ${LOCALBASE}/bin/unzip:archivers/unzip PLIST_SUB+= FULL_MAUDE="" PLIST_SUB+= FULL_MAUDE_VER="${FULL_MAUDE_VER}" .else PLIST_SUB+= FULL_MAUDE="@comment " .endif post-extract-FULL_MAUDE-on: ${UNZIP_CMD} ${DISTDIR}/${FULL_MAUDE_DIST} ${FULL_MAUDE} -d ${WRKDIR} post-patch: @${REINPLACE_CMD} -e 's|%%DATADIR%%|${DATADIR}|' \ ${WRKSRC}/src/Mixfix/global.hh @${REINPLACE_CMD} -e 's|-lcurses|-lncurses|g' \ ${WRKSRC}/configure.ac post-install-DOCS-on: @${MKDIR} ${STAGEDIR}${DOCSDIR} cd ${WRKSRC} && ${INSTALL_DATA} ${PORTDOCS} ${STAGEDIR}${DOCSDIR} post-install-FULL_MAUDE-on: ${INSTALL_DATA} ${WRKDIR}/${FULL_MAUDE} ${STAGEDIR}${DATADIR} .include Index: head/lang/solidity/Makefile =================================================================== --- head/lang/solidity/Makefile (revision 508263) +++ head/lang/solidity/Makefile (revision 508264) @@ -1,43 +1,41 @@ # Created by: Alex Dupre # $FreeBSD$ PORTNAME= solidity PORTVERSION= 0.5.10 PORTREVISION= 1 CATEGORIES= lang MASTER_SITES= https://github.com/ethereum/solidity/releases/download/v${PORTVERSION}/ DISTNAME= ${PORTNAME}_${PORTVERSION} MAINTAINER= ale@FreeBSD.org COMMENT= Solidity Contract-Oriented Programming Language LICENSE= GPLv3 -BROKEN= 'cvc4_public.h' file not found - BUILD_DEPENDS= boost-libs>=0:devel/boost-libs LIB_DEPENDS= libjsoncpp.so:devel/jsoncpp USES= cmake compiler:c++14-lang OPTIONS_DEFINE= Z3 CVC4 OPTIONS_DEFAULT=CVC4 Z3_DESC= SMT Checker via Z3 CVC4_DESC= SMT Checker via CVC4 Z3_LIB_DEPENDS= libz3.so:math/z3 CVC4_LIB_DEPENDS= libcvc4.so:math/cvc4 libgmp.so:math/gmp Z3_CMAKE_OFF= USE_Z3 CVC4_CMAKE_OFF= USE_CVC4 CMAKE_ARGS+= -DUSE_LD_GOLD=OFF -DTESTS=OFF \ -DJSONCPP_INCLUDE_DIR:STRING="${LOCALBASE}/include/jsoncpp" \ -DJSONCPP_LIB_DIR:STRING="${LOCALBASE}/lib" PLIST_FILES= bin/solc pre-patch: @${CP} ${FILESDIR}/jsoncpp.cmake ${WRKSRC}/cmake/ @${REINPLACE_CMD} '/EthCcache/d' ${WRKSRC}/CMakeLists.txt @${REINPLACE_CMD} '/-Werror/d' ${WRKSRC}/cmake/EthCompilerSettings.cmake .include Index: head/math/cvc4/Makefile =================================================================== --- head/math/cvc4/Makefile (revision 508263) +++ head/math/cvc4/Makefile (revision 508264) @@ -1,98 +1,98 @@ # $FreeBSD$ PORTNAME= cvc4 DISTVERSION= 1.7 +PORTREVISION= 1 CATEGORIES= math java MASTER_SITES+= http://www.antlr3.org/download/:antlr3 DISTFILES+= antlr-3.4-complete.jar:antlr3 EXTRACT_ONLY= ${DISTNAME}${EXTRACT_SUFX} PATCH_SITES= https://github.com/${GH_ACCOUNT}/${GH_PROJECT}/commit/ PATCHFILES+= fc8907afc08d.patch:-p1 # Install Java bindings MAINTAINER= greg@unrelenting.technology COMMENT= Automatic theorem prover for SMT (Satisfiability Modulo Theories) LICENSE= BSD3CLAUSE LICENSE_FILE= ${WRKSRC}/COPYING BUILD_DEPENDS= bash:shells/bash LIB_DEPENDS= libantlr3c.so:devel/libantlr3c \ libboost_system.so:devel/boost-libs USES= cmake ncurses compiler:c++17-lang \ pkgconfig python:3.5+,build shebangfix SHEBANG_FILES= src/base/mktagheaders \ src/base/mktags USE_GITHUB= yes GH_ACCOUNT= CVC4 GH_PROJECT= CVC4 USE_JAVA= yes JAVA_BUILD= yes USE_LDCONFIG= yes CMAKE_BUILD_TYPE= Production CMAKE_ARGS+= -DANTLR_BINARY=${WRKDIR}/antlr3 OPTIONS_DEFINE= CRYPTOMINISAT JAVA PYTHON READLINE OPTIONS_RADIO= NUMLIB OPTIONS_RADIO_NUMLIB= GMP CLN OPTIONS_DEFAULT= CRYPTOMINISAT JAVA PYTHON READLINE GMP OPTIONS_SUB= yes CRYPTOMINISAT_DESC= Use CryptoMiniSat as the SAT solver GMP_DESC= Use GMP numeric library CLN_DESC= Use CLN numeric library (disables portfolio mode) CRYPTOMINISAT_CMAKE_BOOL= USE_CRYPTOMINISAT CRYPTOMINISAT_LIB_DEPENDS= libcryptominisat5.so:math/cryptominisat JAVA_CMAKE_BOOL= BUILD_BINDINGS_JAVA JAVA_CMAKE_ON= -DJAVA_INCLUDE_PATH:PATH=${JAVA_HOME}/include \ -DJAVA_AWT_LIBRARY:PATH=${JAVA_HOME}/jre/lib/${ARCH}/libjawt.so \ -DJAVA_JVM_LIBRARY:PATH=${JAVA_HOME}/jre/lib/${ATCH}/libjava.so JAVA_BUILD_DEPENDS= swig3.0:devel/swig30 PYTHON_CMAKE_BOOL= BUILD_BINDINGS_PYTHON USE_PYTHON3 PYTHON_BUILD_DEPENDS= swig3.0:devel/swig30 READLINE_CMAKE_BOOL= USE_READLINE READLINE_USES= readline:port GMP_CMAKE_BOOL= ENABLE_PORTFOLIO GMP_CMAKE_ON= -DENABLE_DUMPING=OFF GMP_LIB_DEPENDS= libgmp.so:math/gmp \ libboost_thread.so:devel/boost-libs # note: CVC4 already depends on boost-libs, so portfolio mode is "free" in terms of pkg dependencies CLN_CMAKE_BOOL= USE_CLN CLN_LIB_DEPENDS= libcln.so:math/cln \ libgmp.so:math/gmp .include .if ${PORT_OPTIONS:MREADLINE} || ${PORT_OPTIONS:MCLN} LICENSE= GPLv3 CMAKE_ARGS+= -DENABLE_GPL:BOOL=ON .endif post-extract: @${CP} ${DISTDIR}/antlr-3.4-complete.jar ${WRKDIR}/antlr3.jar @${ECHO_CMD} "#!/bin/sh" > ${WRKDIR}/antlr3 @${ECHO_CMD} "JAVA_VERSION=1.7+ exec \"${LOCALBASE}/bin/java\" -classpath \"${WRKDIR}/antlr3.jar\" org.antlr.Tool \"\$$@\"" >> ${WRKDIR}/antlr3 @${CHMOD} +x ${WRKDIR}/antlr3 post-patch: - @${REINPLACE_CMD} -e "s|sed -i 's|sed -i.bak 's|g" \ + @${REINPLACE_CMD} -e "s|sed -i 's|sed -i '' 's|g" \ ${WRKSRC}/src/fix-install-headers.sh - @${FIND} ${WRKSRC} -name '*.bak' -delete # make a relative symlink instead of absolute to build dir post-install-JAVA-on: @${LN} -sf CVC4-1.7.0.jar ${STAGEDIR}${PREFIX}/share/java/cvc4/CVC4.jar .include