7f8351fbcb
This will be RUN_DEPENDS for lang/spark when it is fixed. The "stock" math/alt-ergo cannot be used, it locks up when gnatprove calls it.
32 lines
937 B
Makefile
32 lines
937 B
Makefile
# $FreeBSD$
|
|
|
|
PORTNAME= alt-ergo
|
|
PORTVERSION= 2015
|
|
CATEGORIES= math
|
|
MASTER_SITES= http://downloads.dragonlace.net/src/
|
|
PKGNAMESUFFIX= -spark
|
|
DISTNAME= alt-ergo-for-spark-gpl-${PORTVERSION}-src
|
|
|
|
MAINTAINER= marino@FreeBSD.org
|
|
COMMENT= Automatic solver for SPARK 2015
|
|
|
|
LICENSE= CeCILL-C
|
|
LICENSE_NAME= Ce[a] C[nrs] I[nria] L[ogiciel] L[ibre] C license, version 1
|
|
LICENSE_FILE= ${WRKSRC}/LICENSE
|
|
LICENSE_PERMS= dist-mirror dist-sell pkg-mirror pkg-sell auto-accept
|
|
|
|
BUILD_DEPENDS= ocaml-zarith>1.2:${PORTSDIR}/math/ocaml-zarith \
|
|
ocaml-ocamlgraph>1.8:${PORTSDIR}/math/ocaml-ocamlgraph
|
|
RUN_DEPENDS= ocaml-ocamlgraph>1.8:${PORTSDIR}/math/ocaml-ocamlgraph
|
|
|
|
USES= gmake
|
|
USE_OCAML= yes
|
|
GNU_CONFIGURE= yes
|
|
MAKE_ARGS= NAME=alt-ergo-spark
|
|
PLIST_FILES= bin/alt-ergo-spark man/man1/alt-ergo-spark.1.gz
|
|
|
|
post-install:
|
|
${MV} ${STAGEDIR}${MANPREFIX}/man/man1/alt-ergo.1 \
|
|
${STAGEDIR}${MANPREFIX}/man/man1/alt-ergo-spark.1.gz
|
|
|
|
.include <bsd.port.mk>
|