Changeset View
Changeset View
Standalone View
Standalone View
head/math/cvc4/Makefile
# $FreeBSD$ | # $FreeBSD$ | ||||
PORTNAME= cvc4 | PORTNAME= cvc4 | ||||
DISTVERSION= 1.7 | DISTVERSION= 1.7 | ||||
PORTREVISION= 1 | PORTREVISION= 2 | ||||
CATEGORIES= math java | CATEGORIES= math java | ||||
MASTER_SITES+= http://www.antlr3.org/download/:antlr3 | MASTER_SITES+= http://www.antlr3.org/download/:antlr3 | ||||
DISTFILES+= antlr-3.4-complete.jar:antlr3 | DISTFILES+= antlr-3.4-complete.jar:antlr3 | ||||
EXTRACT_ONLY= ${DISTNAME}${EXTRACT_SUFX} | EXTRACT_ONLY= ${DISTNAME}${EXTRACT_SUFX} | ||||
PATCH_SITES= https://github.com/${GH_ACCOUNT}/${GH_PROJECT}/commit/ | PATCH_SITES= https://github.com/${GH_ACCOUNT}/${GH_PROJECT}/commit/ | ||||
PATCHFILES+= fc8907afc08d.patch:-p1 # Install Java bindings | PATCHFILES+= fc8907afc08d.patch:-p1 # Install Java bindings | ||||
▲ Show 20 Lines • Show All 85 Lines • Show Last 20 Lines |