35 lines
597 B
Makefile
35 lines
597 B
Makefile
|
# $FreeBSD$
|
||
|
|
|
||
|
|
PORTNAME= ctl-sat
|
||
|
|
DISTVERSION= g20200210
|
||
|
|
CATEGORIES= math
|
||
|
|
|
||
|
|
MAINTAINER= 0mp@FreeBSD.org
|
||
|
|
COMMENT= CTL (Computation Tree Logic) SAT solver
|
||
|
|
|
||
|
|
LICENSE= MIT
|
||
|
|
LICENSE_FILE= ${WRKSRC}/LICENSE
|
||
|
|
|
||
|
|
USE_GITHUB= yes
|
||
|
|
GH_ACCOUNT= nicolaprezza
|
||
|
|
GH_PROJECT= CTLSAT
|
||
|
|
GH_TAGNAME= 6de41e0
|
||
|
|
|
||
|
|
PLIST_FILES= bin/ctl-sat
|
||
|
|
|
||
|
|
PORTDOCS= README.md
|
||
|
|
|
||
|
|
OPTIONS_DEFINE= DOCS
|
||
|
|
|
||
|
|
pre-build:
|
||
|
|
@${RM} ${WRKSRC}/ctl-sat
|
||
|
|
|
||
|
|
do-install:
|
||
|
|
${INSTALL_PROGRAM} ${WRKSRC}/ctl-sat ${STAGEDIR}${PREFIX}/bin
|
||
|
|
|
||
|
|
post-install-DOCS-on:
|
||
|
|
@${MKDIR} ${STAGEDIR}${DOCSDIR}
|
||
|
|
${INSTALL_MAN} ${WRKSRC}/README.md ${STAGEDIR}${DOCSDIR}
|
||
|
|
|
||
|
|
.include <bsd.port.mk>
|